Reposted by Pedro Felix
I don't know about others but it is wild to me to be willingly giving this up as an engineer.
I'd rather painstakingly hunt-and-peck every character into the IDE than "save time" and lose my credibility attached to my name.
I'd rather painstakingly hunt-and-peck every character into the IDE than "save time" and lose my credibility attached to my name.
November 15, 2025 at 12:46 AM
I don't know about others but it is wild to me to be willingly giving this up as an engineer.
I'd rather painstakingly hunt-and-peck every character into the IDE than "save time" and lose my credibility attached to my name.
I'd rather painstakingly hunt-and-peck every character into the IDE than "save time" and lose my credibility attached to my name.
Reposted by Pedro Felix
Then I dive into the tutorial we held about Oxidised OCaml, the performance-oriented fork at oxcaml.org that @yminsky.bsky.social announced earlier this summer. Try the tutorial in a convenient devcontainer, and take our quiz to help develop the language! @thenumb.at anil.recoil.org/notes/icfp25...
Holding an OxCaml tutorial at ICFP/SPLASH 2025
anil.recoil.org
October 23, 2025 at 1:12 PM
Then I dive into the tutorial we held about Oxidised OCaml, the performance-oriented fork at oxcaml.org that @yminsky.bsky.social announced earlier this summer. Try the tutorial in a convenient devcontainer, and take our quiz to help develop the language! @thenumb.at anil.recoil.org/notes/icfp25...
Perhaps it is time to find another Git host for my personal and academic projects :(
August 11, 2025 at 5:52 PM
Perhaps it is time to find another Git host for my personal and academic projects :(