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.

A fresh take on typesetting

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.