@leavingrecords.bsky.social
@altyellonatpark.org
A team of scientists & activists, in & around Yellowstone National Park. 501c3. Posting photos, ideas & solutions, because together, we can change the world. Please report malicious trolls & imposters. We are AltYelloNatPark™️
@jalonso.bsky.social
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving. Homepage: https://jaalonso.github.io Sevilla, Spain
@wickstrom.tech
Software engineer in rural exile. Autonomous and generative testing, PL, web, and more. wickstrom.tech
@typeholes.bsky.social
Interested in all things programming, cooking, cats. Love to explore new programming languages and build dev tools.
@welltypedwit.ch
When the limestone of imperative programming has worn away, the granite of functional programming will be revealed underneath -Simon Peyton Jones https://welltypedwit.ch
@bsky.app
official Bluesky account (check username👆) Bugs, feature requests, feedback: [email protected]