Ayhon @ayhon@qoto.org

I find it really cool how the compiler manages to work out all these type equalities: https://scastie.scala-lang.org/nrinaudo/KDOCMT3ETrKcQGq14hZCJw

I initially wrote this by hand and it was *painful*. But no, with Eq, just throw all the things in a pattern match and let the compiler sort them out.

Think of a number. ~ Kevin Buzzard. https://xenaproject.wordpress.com/2025/01/20/think-of-a-number/ #AI #LLMs #Math

Open Letter to Mark Zuckerberg

So... am I missing something, or am I breaking the compiler a little by overriding the `equals` method of a sum type?

https://scastie.scala-lang.org/nrinaudo/axeL5xlATteCz977XHh2lw/1

Want to do a #PhD about #WebAssembly and #ConfidentialComputing? Please contact me! We have well-paid PhD positions available.

You need to have a master's in computer science or equivalent, good technical skills and good writing skills.

These are on-site positions in the beautiful city of Ghent, Belgium.

See this thread for more info. Feel free to boost!

#FediHire

That #Pixelfed is now in the Top 10 of most downloaded APPs in the USA, also means that we, as a Fediverse community, have to come together.

If you see a link somewhere, PLEASE support your PIXELFED server. Even when it is just with $2, $10 or $50.

Their operational costs are surely skyrocketing and we have to make sure that this does not become a Fediverse debacle but a Fediverse success story.

EDIT: I just received this link:
https://pixelfed.org/support-our-project

@jaredwhite
#Fediverse #TopApp #Support

New blog post: the gen auto-trait problem

https://blog.yoshuawuyts.com/gen-auto-trait-problem

There is an open question whether `gen {}` blocks in Rust should return `Iterator` or `IntoIterator`. I believe the right answer here is the latter, and I spent some time writing out an example for it.

@yaxu i am aware of @tonofcrates's work on Nota, which addresses a similar set of problems/desiderata: https://willcrichton.net/nota/

...i think part of the issue here is that everyone wants something slightly different and has different deal-breakers.

from https://www.tumblr.com/nex3/771522130582044672

Once again, a big year-on-year jump in atmospheric CO₂!
Based on daily values from Mauna Loa, the December average was ~425.4 ppm, that's ~3.5 ppm more than last year.

#co2 #emissions #climatechange

New Year’s Eve in Taiwan ♥︎

> Some cheer and toast to welcome the New Year. In Taiwan, people cry their eyes out.

https://www.cnn.com/travel/taiwan-new-years-eve-crying-tradition-vive-lamour-intl-hnk/index.html

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.