← Feed

Posts

• Post #3009941

  I wrote my first 1000 lines of code of #rocq I’m impressed that I have just scratched the surface of it.

• Post #3009940

  TIL the the expression whose value is being "scrutinized" in a pattern match (in #Rocq) is called "scrutinee".

• Post #3009939

  Funny how many articles confuse “static typing” with “strong typing” and “dynamic typingtyping” with “being untyped“.

• Post #3009938

  Zurich #fsharp User meetup is back with a talk by Mattia Ferrini on Type-Driven Development for human and AI reasoning https://www.meetup.com/zurich-fsharp-users/events/314959636

• Post #3009937

  Current status: starting reading chapter 7 of Software Foundation, with #Rocq So far, I managed to do all the exercises. Amazing how much *doing*, as compared to only *reading*, helps the learning process.

• Post #1896862

  I hate the Dell XPS 13 keyboard. Worst keyboard I have ever had on a laptop. It makes my life miserable.

• Post #1785556

  Yeeee, I completed chapter 1 (of 17) of volume 1 (of 7) of Software Foundation. It's a long way to the top if you wanna #Rocq and roll.

• Post #1057327

  Current status: installed #rocq, reading Software Foundation.

• Post #1057326

  How come the newspapers and political figures most critical of the overwhelming power of American oligarchs are not consistent with their positions and continue to use (and therefore support) #Twitter / X?

• Post #790256

  Just found out about #git trailers git commit --trailer "fix" --trailer "scope=api" -m "Your message" git log --grep="scope: api" --oneline

• Post #659312

  Ruminating about the idea of adding to LinkedIn skills "Can write code without LLMs"

• Post #659311

  Love how #Idris REPL greets you Constructors are red / Types are blue / Your code always works / Because Idris loves you

• Post #511432

  I will never understand how we European, in 2026, tolerate that monarchy is still a thing.

• Post #511431

  I hate the DELL XPS 13 keyboard. It's really shitty quality.

• Post #511430

  My next preferred acronym: ai;dr

• Post #511429

  Am I the only person on Earth finding the output of Arch Linux pacman on 2 lines harder to read than 1-line outputs?

• Post #511428

  I read a book on "Prompt Engineering". I'm not even sure why this is even considered a topic. Let alone calling it "Engineering".

• Post #511427

  As professionals it should embarrass ourselves calling an author "Uncle Bob". I've always found it ridiculous.

• Post #511426

  Just donated to #codeberg https://donate.codeberg.org/

• Post #511425

  The #Idris programming language is divine. I'm in love.