Ayhon @ayhon@qoto.org

So far: what's coming to Rio terminal next version (will be released in late January).

- Line height with control of text alignment
- Metal/Vulkan f16 (LFG!)
- Support to window title via string template
- Shell integration
and more.. let's goooo

https://github.com/raphamorim/rio #rust

Compiling C to Safe Rust, Formalized

https://arxiv.org/abs/2412.15042

Discussions: https://discu.eu/q/https://arxiv.org/abs/2412.15042

#programming #rustlang

This is an emoji art of a black cat made with a number of emoji moons.

The art follows this colon:

🌕🌕🌕🌕🌕🌕🌕🌕🌕🌕🌕🌕
🌕🌕🌕🌒🌕🌖🌒🌕🌕🌕🌕🌕
🌕🌕🌖🌑🌓🌑🌑🌕🌕🌕🌕🌕
🌕🌕🌗🌑🌑🌑🌑🌔🌕🌕🌕🌕
🌕🌕🌘🌕🌑🌕🌑🌔🌖🌑🌕🌕
🌕🌕🌖🌑🌑🌑🌑🌕🌕🌑🌔🌕
🌕🌕🌕🌖🌑🌑🌔🌕🌕🌑🌔🌕
🌕🌕🌕🌘🌑🌑🌒🌕🌕🌑🌔🌕
🌕🌕🌕🌘🌑🌑🌑🌔🌖🌑🌕🌕
🌕🌕🌕🌑🌑🌑🌑🌒🌑🌒🌕🌕
🌕🌕🌕🌑🌑🌑🌑🌑🌒🌕🌕🌕

I'm pleased to announce that the Heyting Day will be held in Amsterdam on Friday 14 March 2025.

Its theme will be models of #intuitionism and #computability and mark the retirement of Jaap van Oosten.

The invited speakers are:
- @andrejbauer (Ljubljana)
- Andy Pitts (Cambridge)
- Sebastiaan Terwijn (Nijmegen)
- Jaap van Oosten (Utrecht)

Attendance is free. Sign up and more details here: https://www.knaw.nl/en/heyting-day-2025

The attached poster is thanks to the amazing @jacobneu.

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