Mathematician at UCLA. My primary social media account is https://mathstodon.xyz/@tao . I also have a blog at https://terrytao.wordpress.com/ and a home page at https://www.math.ucla.edu/~tao/
π± ruining programming forever @ hazel.org
π± professoring @ Michigan
π± poetry
π± dendrites
π± immersion
π± flowers
π± resisting idiocracy
https://web.eecs.umich.edu/~comar
https://andrewblinn.com
abstractJuiceFactory
ACM SIGPLAN International Conference on Functional Programming. Biskweets by @shwestrick.bsky.social
https://icfp25.sigplan.org/
https://icfpconference.org/
Asia's Premier Functional Programming Conference.
24-25 January 2025
https://functionalconf.com
Software Engineer π¦₯ Haskell & π³ Elm @Scrive
βοΈ First #chesspunks on this app
π― ζ₯ζ¬θͺγεεΌ·δΈ(N3)
On a mission to reach 2000 FIDE before 2031 π
Where the future begins. ππ¬ One of the worldβs leading universities for technology & natural sciences. Posts in both English and German.
www.ethz.ch
Developer, dancing between 1's and 0's, addicted to coffee, @elmlang and clean code.
A web developer sharing what Iβve learned with free developer tools, courses, and more!
π https://elm.land
ππ πππππππππππππππππππππ ππππππππππ πππππππππππππππππππππππππππ πππππ taylor.town πππ ππππππππππππππππππππππππ πππππππ ππππππππ πππππππππ
Father, partner, software developer, yogi, and hiker.
I host Elm Town! https://elm.town/
Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.
https://servo.org
https://github.com/servo/servo
https://www.blaix.com
I am more active on https://hachyderm.io/@blaix
I hack on Gren as part of the core team. It's a cool programming language that you should check out: https://gren-lang.org/
πππ He/Him πππ
Supporting the Formal Mathematics revolution
Lifelong Programmer, Host of the Developer Voices podcast.
Hi! I'm Amit Patel. I explain algorithms and math with interactive web pages (incl. pathfinding, hexagons, procgen maps, voronoi). Wrote Solar Realms Elite; helped w/Barren Realms Elite and Realm of the Mad God. https://www.redblobgames.com/
Write about language design, perf, lifting people up, and pragmatism.
I take joy from when things are done well, by people who enjoy doing them
Creator of the Derw language. Leader of Tekna's developer network. Tech Enabler @ Schibsted Media
I like to play games, build things for other people, eat food, and travel.
Current author of https://www.elmweekly.nl/
Autor do app Edudu e projetos http://segunda.tech, http://cursos.segunda.tech, http://anchor.fm/pdepodcast e http://elm.dev.br.
Entusiasta de Elm.
Atualmente estudando Swift.
Praticante de Tecido AcrobΓ‘tico.
Ξ» πͺπ
I mostly talk about programming, usually FP, sometimes design, and a lot more rarely about music and games. I would love that order to be different but such is life.
