What a cool {advertisement,talk,whatever}. I was kinda :eyes: about tigerbeetle before that, but now I'm really sold?? idk. Very cool presentation and an interesting project

Unicode standard with suggestions on how to handle source code.

This is sooo coool :o

Simplicity with which this tool allows you to define optimization is impressive on its own (example) (optimizations are known for being hard to write), but this also allows you to do analysis (like formal verification)?? So cool!!

Also, it's nice to see the idea of "pattern is the inverse of constructor" — something I was meaning to put into a blog post for the longest time.

match patterns is a superset of the SAT problem.

Is not a sentence I wanted to read, but a sentence I, perhaps, deserved.

Swift docs on bit ops are so nice_{, All those pictures explaining bitwise ops, shifts, 2s complement signed integers}, so pretty 🥺

An interesting HDL featuring static typing, helpful compiler written in rust >:), cute mascot and other things I don't really understand. Looks cool, but obv in very early stages of development, sooo yeah. Also I don't understand the field, so I have no idea how it compares to existing things.

An take on interfaces — just throw GPU at it. Haven't read it yet but :eyes:

A new cool-looking editor written in rust, nice! Closed source & currently only for macos, but still interesting. Especially interesting is the Leveraging Rust and the GPU to render user interfaces at 120 FPS blog post.