The unicode character 'βΌ' was a mystery first noticed in 2022: https://ionathan.ch/2022/04/09/angzarr.html. It's in the Unicode standard as a mathematical symbol. But no one could find any examples of it having been used, and no one knew what it represented. It was like the only record of an extinct species, fossilized in the Unicode standard.
But now someone has found the document it originally came from! It represents the angle 'Azimuth', and the symbol probably comes from the path light takes through a sextant. https://ionathan.ch/2026/02/16/angzarr.html
I landed some performance improvements for the Swift type checker recently, and I'm currently finishing up the next set of changes which I hope to merge soon.
There are two main improvements. The first is a new "disjunction pruning" optimization to help skip impossible overload choices, and the second set of improvements concern implicit conversions and the constraints they generate.
Elk is in Preview!
Thanks for your interest in trying out Elk, our work-in-progress Mastodon web client!
Expect some bugs and missing features here and there. we are working hard on the development and improving it over time.
Elk is Open Source. If you'd like to help with testing, giving feedback, or contributing, reach out to us on GitHub and get involved.
To boost development, you can sponsor the Team through GitHub Sponsors. We hope you enjoy Elk!
β #SanFrancisco 
