Formal methods, software history, chocolatiering. DMs open and happy to meet up in Chicago. Currently writing *Logic for Programmers* (out Q2 2026) Newsletter: https://buttondown.email/hillelwayne/

ASCII art, text mode, games, tools and live coding He/him https://www.adelfaure.net/ Cookie Collective, Mistigris, Textmode Friends Support me on https://ko-fi.com/adelfaure

Mostly active on Mastodon, follow via bridgy: @gosha.merveilles.town.ap.brid.gy A little bit wiser, a whole lot tougher Homepage: https://gosha.net Studio: https://a.possible.space

Ramblings about Dwarf Fortress, Doctor Who, Tolkien, roguelikes, and other nonsense. He/him

i make art, mostly with computers. currently working on an open world RPG with roguelike roots and an experimental bent. cat mom. she / her or they / them.

Created http://adventofcode.com, http://compute-cost.com, http://anoik.is, http://was.tl/projects/; Principal Architect at https://acvauctions.com

Committed to a welcoming, vibrant & flourishing #Haskell community! Here we talk about community updates, software engineering and the joy of programming. Find us on https://haskell.org and https://blog.haskell.org

procedural & graphics artist parallel programmer tired website | https://inconvergent.net gallery | https://img.inconvergent.net/plot/ a game | https://boxtype.app store | https://buy.inconvergent.net

Check it out on Steam! https://store.steampowered.com/app/1545990/Deadeye_Deepfake_Simulacrum/

official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app