Pedro Felix
pedrofelix.org
Pedro Felix
@pedrofelix.org
Learning, developing, and teaching.
Final version, ready to release, with the traditional cinnamon based decoration.
December 24, 2025 at 8:10 PM
Cooling down.
December 24, 2025 at 6:11 PM
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.
November 15, 2025 at 12:46 AM
A Lamy Safari?
November 13, 2025 at 10:56 AM
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