Dan Minshew (@newswim) header
Dan Minshew (@newswim) profile picture

Trying to understand people and computers.. general do-gooder @OpenAustin, @TechmillDenton 🧗‍♂️

Austin, TX
Joined January 2013
Photo by Dan Minshew (@newswim)Photo by Dan Minshew (@newswim)Photo by Dan Minshew (@newswim)Photo by Dan Minshew (@newswim)Photo by Dan Minshew (@newswim)Photo by Dan Minshew (@newswim)Photo by Dan Minshew (@newswim)
Just another real, durable, load-bearing object earning its keep.
1
65
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
24
33
3
964
264,762
“Disruptive Innovation” would be a pretty sick metal band
1
108
Dan Minshew retweeted
(can't believe this works)
96
813
280
7,417
2,193,207
It's not cool that the Google founder is now flying airships full of a nonrenewable, increasingly rare resource, right?
3
109
Very approachable article on implementing a CRDT
This Post is from an account that no longer exists. Learn more
142
Dan Minshew retweeted
I was curious if I could practice my Russian with ChatGPT-audio. Yup. Speakers move between languages effortlessly.
118
313
146
2,556
1,218,896
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/…
1
2
151
Please remind me to never check Twitter.
2
75
Euclid + JWST means pretty much non-stop interesting STEM content.
98
How many ppl got today’s Wordle on the first guess?
80
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
2
104
Building a legacy means a completely different thing if you’re a software engineer…
1
2
144
amazing resource to visually learn the node.js event loop: builder.io/blog/visual-guide… highlights in 🧵:
8
205
11
1,028
165,188
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…).
8
22
198
21,170
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…
38
116
32
930
256,021
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
28
614
49
3,432
336,127
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 ✊
91
23
146
65,183