65 followers106 following
Developer of OCamlot. OCaml Hacker, Emacs Developer, PL Researcher.
1

...and our battle shall be legendary!!!

Attached image 0

"Writing python like it's rust" (https://kobzol.github.io/rust/python/2023/05/20/writing-python-like-its-rust.html)

--- I find this post somewhat funny, because proponents of dynamic typing have often claimed that static types are too cumbersome because of the structure they require...

Let's see if my server supports unicode :? --- I've finally worked out how to write the characters in the computer, so without further ado, my chinese name is: 高凯燃

Went to a board game cafe meetup today. It was pretty fun.

best paper title I've seen today

Attached image 0

synthesis papers: "suppose you want to learn a decryption program... ...that algorithm is a simple Caesar cipher" .

Attached image 0

yeh. i'm respected (online)

Attached image 0

You and me both captain.

Just found out that m$ github has some kind of integration with a plotting/diagramming library mermaid? which renders in their markdown viewer with some nice controls. This is pretty cool, although dampened by the fact that it is no doubt part of m$'s typical EEE tactics.

Attached image 0