変換間違えただけだけど、ヒットしないのか

やばい

最初に起きたときなんか気持ち悪くなって吐いた(が、何も出てこなかった)ので、とりあえずもう一度寝たらこんな時間

なんで吐き気がひどかったんだろう

tweetdeck betaになってた

金5はあけよう

ストロークの違うキーボードになれると入力が下手になる

眠い

change toot visibility, v4だとclass変わってて動かない

そういうわけではないのか

時間割の担当の先生の所に確認先生と確認中先生がいる

Gboardのクリップボードに変なのあるなと思ったらkde connectのクリップボード共有で共有されてたやつだった

お、『続論』だ

変換に出てこないやつ

微積分学続論は極値問題とかだった
odeはodeの授業だった

TEU

wineでsumatrapdf使うのが一番好みかもしれない

異なるサイズのページが含まれてるときに、ウィンドウ幅に合わせて自動でズームしてくれるのが地味に他のにはない

あと再起動時に前回のを復元してくれるのも(そもそもタブがあるのも)

#SumatraPDFはいいぞ

wineのことよく知らないけど、GUIが若干壊れてる以外は問題なく動いてる

SumatraPDFはポータブル版があるので楽だった

GUI壊れポイント
あと判定もずれてる

あ、scancode読んでるせいかxmodmapのリマップが効いてない

https://en.wiktionary.org/wiki/antepenultimate#English

ｎえｍうい

眠い

vivaldiバグってタブバーが全く変化しなくなった

ねむ

🍫

空いレお腹

This account is not set to public on notestock.

luarocks

luarocks download rockname
7z x rock
でhttpsをgitに
luarocks install editted_rockspec

asciidoc

固定トゥのやつ、いまだにその通りでそれはかなりやばい
具体的にはあと24h未満でそこそこ固まる必要がある

少人数なんだ

去年受けたやつ受けようとしてるひと見つけた

os.exit()

http://www5a.biglobe.ne.jp/~y-toku-i/tool/index.html
歴史あるウェブサイトだ

Know the difference : r/mathmemes https://www.reddit.com/r/mathmemes/comments/zambf3/know_the_difference/

ねむ

This account is not set to public on notestock.

やはりchromeではなくchromiumを、vscodeではなくvscodiumを使ってるのかな

ipynbのasciidoc出力、asciidoctorじゃないとだめだ

ipynbという名前、jprnbとかに変えてほしい

pythonとはかぎらないので

エスケープシーケンスのせい？

おは

国際かどうかわからない

ghc入れ直した
Haskell language serverのバージョンにあうやつがなかったからscoopのmanifest用意した

うーん魅力的なの多い

時々zoomでzoom起動したらアップデート始まって~~ということを聞くけど、パッケージマネージャで入れてないのかな

は

neko

ボイジャー知らない人意外と多い

ボイジャーが原子力電池なの意外と知られてないのかな
遠くまで行くから太陽光だと多分足りないだろうなと思ってた

https://ja.wikipedia.org/wiki/ハース効果
https://ja.wikipedia.org/wiki/ドハース・ファンアルフェン効果

70分くらい(多分水も飲まずに)ずっと喋っててすごいなと思った

y: X -> ℝ; x ↦y(x)
Y := {y}

x: Y -> ℝ; y -> y(x)

折りたたみ傘の開いた状態を維持するロックが壊れてた

昨晩ノリでF#入れてみた

エディターの支援が厚いなと思った

全く複雑なの書いてないからわからないけど

せっかくなのでwindowsの方にも入れる

音符

F#のprintfはエディタの段階で型チェックしてくれるのか

shift enterうごいてる

なんでうごかなかったんだろう

隣同士で並んでるエレベーターの停止階案内で
B2, B1, 1-12
と
B2 - 12
があったけど違いがわからなかった

パターンマッチでてこなかった

F#, satysfi (注：ocaml触ったことない) + オブジェクト指向 に感じた

winget upgradeしたらnvim 0.9.0来てた

windows > arch >> manjaro >>>> ubuntu

最新パッケージがおりてくる速さ

ADTが使えるというMLSyntax.jlを昨晩試した

Watch "【雑談?】TeX Live 2023インストールチャレンジ" on YouTube https://www.youtube.com/live/eeI6MzD7x_w?feature=share

青ケ島村存続 カギは学校　人口最少「170人」の自治体 : 日本経済新聞 https://www.nikkei.com/article/DGKKZO70005250X00C23A4L83000/

https://twitter.com/yuruyurujirou/status/1644535293188673539
そんなことあるんだ