Just found out about #git trailers
git commit --trailer "fix" --trailer "scope=api" -m "Your message"
git log --grep="scope: api" --oneline
Remote
arialdo
@arialdo@mastodon.online
mastodon 4.8.0-nightly.2026-10-06Functional programmer • Test infected • XP practictioner • Writes bugs in C# F# Haskell Lisp • Loves Emacs and Cherry MX Blue • he/him
0 Followers
0 Following
31 Posts
Joined April 25, 2022
Just donated to #codeberg https://donate.codeberg.org/
My next preferred acronym:
ai;dr
TIL the the expression whose value is being "scrutinized" in a pattern match (in #Rocq) is called "scrutinee".
Funny how many articles confuse “static typing” with “strong typing” and “dynamic typingtyping” with “being untyped“.
Ruminating about the idea of adding to LinkedIn skills
"Can write code without LLMs"
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.
Zurich #fsharp User meetup is back with a talk by Mattia Ferrini on Type-Driven Development for human and AI reasoning
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?
Love how #Idris REPL greets you
Constructors are red / Types are blue / Your code always works / Because Idris loves you
The #Idris programming language is divine. I'm in love.
Current status: installed #rocq, reading Software Foundation.
I wrote my first 1000 lines of code of #rocq
I’m impressed that I have just scratched the surface of it.
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.
Replying to
@andreagrandi Il mio messaggio è che i pochi che avranno mantenuto le conoscenze per lavorare anche in assenza di LLM avranno una marcia in più che mancherà alla gran parte delle persone di quella massa sterminata di watchdog.
Replying to
@BoydStephenSmithJr You're right, using a stage name one chose doesn't make us unprofessional. I exaggerated.
The problem is most likely all mine: I find that nickname presumptuous and paternalistic. It gets on my nerves, probably because it evokes an unwanted familial authority.
Replying to
@BoydStephenSmithJr I do love Robert Martin's work. I just find silly calling him an uncle. He's not my uncle.
As professionals it should embarrass ourselves calling an author "Uncle Bob".
I've always found it ridiculous.
I will never understand how we European, in 2026, tolerate that monarchy is still a thing.
Replying to
@andreagrandi È possibile che "Saper controllare quanto prodotto da un LLM" sia troppo poco.
Oggi le skill richieste per un "vibe coder" sono equivalenti a quelle richieste per un PM. Tecnicamente, delegare il lavoro a un LLM non è qualitativamente diverso dal delegarlo a un team off-shore. Un lavoro da watch dog di bassa lega.
Io penso che molti rinunceranno a puntare a qualità più raffinate. E scommetto che quelle qualità saranno le uniche a distinguere te dalla massa di "vibe coder¨.
Replying to
@andreagrandi Se hai quella marcia in più, indicala su LinkedIn: ce l´hanno in pochi e, nel futuro, ce l'avranno sempre in meno.
I read a book on "Prompt Engineering".
I'm not even sure why this is even considered a topic. Let alone calling it "Engineering".
Am I the only person on Earth finding the output of Arch Linux pacman on 2 lines harder to read than 1-line outputs?
I hate the DELL XPS 13 keyboard. It's really shitty quality.
Replying to
@marcoxa By the way, this is not about being "anti-AI".
It's about recognizing that completly delegating work to LLMs is a skill anyone can pick up.
Which is why we need to keep sharpening and protecting the skills that set us apart.
Replying to
@andreagrandi Come rispondevo a https://mastodon.online/@arialdo/116187691016265338 non è una questione di essere "anti-ai".
È piuttosto il fatto che *chiunque* può delegare il lavoro a Claude. È una skill che tutti possono acquisire, non richiede speciali doti.
Se domani vogliamo emergere, sul mercato, per distinguerti dalla massa che sa delegare il lavoro a un LLM, oltre alla familiarità con gli strumenti che tutti sanno usare penso che siane richieste altre capacità che altri non hanno.
Replying to
@andreagrandi Sante parole. Hai colto quel che intendevo e che ho espresso, malamente, nel mio primo messaggio.
I hate the Dell XPS 13 keyboard. Worst keyboard I have ever had on a laptop. It makes my life miserable.
Replying to
@Codeberg@social.anoxinon.de thank you for the details. Very interesting. They are worth a blog post.