Elektrine lite

← Feed

arialdo

arialdo@mastodon.online

<p>Functional programmer • Test infected • XP practictioner • Writes bugs in C# F# Haskell Lisp • Loves Emacs and Cherry MX Blue • he/him</p>

Posts

  • View post

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

  • View post

    TIL the the expression whose value is being &amp;quot;scrutinized&amp;quot; in a pattern match (in #Rocq) is called &amp;quot;scrutinee&amp;quot;.

  • View post

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

  • View post

    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

  • View post

    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.

  • View post

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

  • View post

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

  • View post

    Current status: installed #rocq, reading Software Foundation.

  • View post

    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?

  • View post

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

  • View post

    Ruminating about the idea of adding to LinkedIn skills &amp;quot;Can write code without LLMs&amp;quot;

  • View post

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

  • View post

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

  • View post

    I hate the DELL XPS 13 keyboard. It&amp;#39;s really shitty quality.

  • View post

    My next preferred acronym: ai;dr

  • View post

    As professionals it should embarrass ourselves calling an author &amp;quot;Uncle Bob&amp;quot;. I&amp;#39;ve always found it ridiculous.

  • View post

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

  • View post

    The #Idris programming language is divine. I&amp;#39;m in love.