Ayhon @ayhon@qoto.org

Michael Moore’s response to be mentioned by Luigi is going to carry me through the day:

https://www.michaelmoore.com/p/a-manifesto-against-for-profit-health

I see the #CallForContributions has gone out for #TYPES #TYPES2025 (International Conference on Types for Proofs and Programs) to be held in Glasgow in June 2025. TYPES "is a forum to present new and ongoing work in all aspects of type theory and its applications, especially in formalised and computer assisted reasoning and computer programming... Talks may be based on newly published papers, work submitted for publication, but also work in progress". https://msp.cis.strath.ac.uk/types2025/ #typeTheory #ITP

The Flix team (Aarhus University) presented to the Rust language team on their work on effects in Flix today.

Imo that was a real treat to be a part of. Most of Rust’s resident type doctors came out for this one, and we got to deep-dive on effects with world-class experts for what I think was the first time ever ^___^

Apparently the Balatro dev put a clause saying "Never, ever let casinos make any kind of Balatro anything. NEVER make a gambling Balatro" into his will

Found out I have free access to 3D printers, so of course the first thing I did was print Ferris the Crab

Now I just have to glue the eyes on, so if I don't respond I've glued my hands to my desk

(not my design btw ^^)

#rust #rustlang #ferristhecrab

Me: git push
CI: Nope
Me: git push --force
CI: Nope
Me: git push --force
CI: Nope
Me: git push --force
CI: That works
Me (in Lego Batman voice): First try!

Thanks everyone that reached out about the editor!

I forgot to clarify few stuff in the article (will add it there later lol)

1. The editor also implements a replacement for VIM/Emacs bindings called zaap (I will talk more about it later)

2. The editor it's not open yet.

https://raphamorim.io/why-am-i-creating-a-new-code-editor/

Rust needs an official specification

https://tweedegolf.nl/en/blog/140/rust-needs-an-official-specification

Discussions: https://discu.eu/q/https://tweedegolf.nl/en/blog/140/rust-needs-an-official-specification

#programming #rustlang

Scala IO was such a blast again this year!

Great talks, great people, all run by, I think, a grand total of 4 persons.

If you're willing to take part in the mentoring program mentioned by Valentin during the opening keynote, please fill-in the form at https://bit.ly/scala-mentor

#ScalaIO #ScalaIO2024 #Scala

A new chapter begins today...

I'm joining The Browser Company as GM of platform!

As seen on Twitter:

Gave a new update and architectural overview on #tvix during #nixcon24: https://youtu.be/bm1jcTo8uYw #nixcon #nix

I made a game. It's called PacCam. It's Pacman but you control it with your face - look to turn, chomp your mouth to move.

You look very very silly while you play :)

You can play it here: https://eieio.games/paccam/

that's it! have fun!!

#gamedev #indiedev

Leslie Lamport's new book "A Science of Concurrent Programs" has been sent to the publisher and the final draft is available for free as a PDF!

https://lamport.azurewebsites.net/tla/science-book.html

#tlaplus