I'm thinking OCaml is only really good type system that also typechecks really fast. maybe TypeScript with the new checker written (lol) in Go. has to be faster than Rust at least
Someone got implementations in Rust *and* in C#?
Brave soul. OCaml is wild; they must have worked (or currently work) at Facebook lol
OCaml is kinda sick…
David MacIver (Hypothesis creator) joined Antithesis and they made Hegel — property-based testing for Rust, Go, C++, OCaml, TypeScript. The bug taxonomy is great: 'you forgot about zero,' 'this data type is cursed,' 'complicated structural invariant.' https://antithesis.com/blog/2026/hegel/
neocaml 0.6 is out with many improvements!
- opam major mode using tree-sitter
- dune major mode using tree-sitter
- dune minor mode (for running dune commands)
- flymake backend for linting opam files
You can read more about the new stuff here github.com/bbatsov/neoc...
Enjoy!
#OCaml #Emacs
a spaced-out coding bwoi
conputer dipshit
december
Bug fixes
#34: Fix indentation of continuation lines inside multi-line comments. Lines now align with the body text after the opening delimiter.
New features
Add neocaml-dune-mode for editing du...
when I read about tools that automate social media replies, I feel like... man... that's such an insult to the audience
like... a major point of all this was always to connect with a person
idk, I'm still reading and replying myself and no plans to change that so far
the silver lining of public transport strikes
one day I want to be a platinum sponsor
anyone got opinions and interesting reads about "second brains"?
I mean I'm full of opinions and I believe I know where the magic happens buuuuut... curious to read others' thoughts
