
Trying to understand people and computers.. general do-gooder @OpenAustin, @TechmillDenton 🧗♂️
Austin, TX
Joined January 2013
- Tweets3.9K
- Following838
- Followers367
- Likes24.9K
Dan Minshew retweeted
Convinced that the Atlassian design team are wizards.
A visual design experiment built on @Replit. UIs in sci-fi movies were the inspiration. A galactic radar listening for signals across the stars with simulated data.
Designed to test how far design and code can merge into something beautiful.
See it for yourself: galaxy-radar.replit.app
It's not cool that the Google founder is now flying airships full of a nonrenewable, increasingly rare resource, right?
Very approachable article on implementing a CRDT
This Post is from an account that no longer exists. Learn more
Dan Minshew retweeted
I was curious if I could practice my Russian with ChatGPT-audio. Yup. Speakers move between languages effortlessly.
Lexi is a treasure
sat down and wrote the “how do I read type systems notation” overview I wish I had when I was learning about type systems langdev.stackexchange.com/a/…
I wish I was a smart person
Chyp is an interactive theorem prover (ITP) for string diagrams. You type terms and it draws pictures.
It handles all the category theory bureaucracy automatically, thanks to the magic of hypergraph rewriting (CHYP = Cospans of HYPergraphs). github.com/akissinger/chyp
Dan Minshew retweeted
amazing resource to visually learn the node.js event loop: builder.io/blog/visual-guide…
highlights in 🧵:
Dan Minshew retweeted
A few MidJourney shots in the style of en.wikipedia.org/wiki/Codex_… of the titles of our most recent papers (top few from drmichaellevin.org/publicati…).
Dan Minshew retweeted
I have a bunch of sketchy interface ideas for using language models as epistemic rubber ducks, aka. reflective thinking partners🐥
They've been sitting in Figma for 8 months gathering dust! They all felt too obvious to me to be worth sharing...
maggieappleton.com/lm-sketch…
Dan Minshew retweeted
It amazes me to no end that symbolic mathematical equations and biologically embodied patterns can be isomorphic! Here is an amazing environment to play with Turing patterns from Karl Sims: karlsims.com/rdtool.html
Dan Minshew retweeted
It’s time to talk about union busting: @CodeforAmerica leadership has unilaterally stripped our colleagues of union protections and canceled negotiations. Stand with workers and sign onto our petition: bit.ly/cfawu-solidarity ✊



















