Dan Minshew

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

[Amjad Masad @amasad]

Convinced that the Atlassian design team are wizards.

[Dan Minshew @newswim]

@littmath And another

https://t.co/I0Pg2uTEt6

[Dan Minshew @newswim]

@littmath Found this nice video explanation:

https://t.co/xEVKQjcJZJ

[Dan Minshew @newswim]

@t3dotgg @cramforce @jaredpalmer Old wounds
https://t.co/N2SXyVFxaG

[Dan Minshew @newswim]

“Disruptive Innovation” would be a pretty sick metal band

[Dan Minshew @newswim]

@mattpocockuk When I was applying for a role and hadn't used it before, I spent the weekend learning enough such that I was able to pass the take-home code challenge. But I did have a little bit of familiarity with the general concept of types.

[tldraw @tldraw]

(can't believe this works)

[Dan Minshew @newswim]

It's not cool that the Google founder is now flying airships full of a nonrenewable, increasingly rare resource, right?

[Dan Minshew @newswim]

Very approachable article on implementing a CRDT

[jake lazaroff @jlazaroff]

Just published a new blog post: An Interactive Intro to CRDTs! It's the tangible, code-based introduction I always wanted, plus a bunch of interactive visualizations to help build an intuition for how CRDTs work. https://t.co/x0o0DJxDX1

[Dave @dmvaldman]

I was curious if I could practice my Russian with ChatGPT-audio. Yup. Speakers move between languages effortlessly.

[Dan Minshew @newswim]

@ANMedia473 I wasn’t using much, Parky definitely had more and cooler pedals (I would need to ask @drofnavmod what they were actually using). I had a Headrush and an Avalanche for the more washed out parts. I played mostly through a dual rec, and Parky had a Sovtek and a Meat Smoke.. 💭

[Dan Minshew @newswim]

Lexi is a treasure

[Alexis King @lexi_lambda]

sat down and wrote the “how do I read type systems notation” overview I wish I had when I was learning about type systems https://t.co/nlWYyQUPML

[Dan Minshew @newswim]

@ANMedia473 Well that’s awfully nice of ya to say, glad you like it!

[Dan Minshew @newswim]

@ANMedia473 Hah, yes. Is this because of that one internet video?

[Dan Minshew @newswim]

Please remind me to never check Twitter.

[Dan Minshew @newswim]

Euclid + JWST means pretty much non-stop interesting STEM content.

[Signal Processing @DSP_fact]

Decoding Euclid

https://t.co/hkHjDMBVJ7

[Dan Minshew @newswim]

@taylor_atx In case you get another! I do local civic tech work through a non-profit that helps other non-profits.

[Dan Minshew @newswim]

@SusanPotter I wonder how much of this is just the outrageous benefits of not having to think about names, and just structure.

[Dan Minshew @newswim]

How many ppl got today’s Wordle on the first guess?

[Dan Minshew @newswim]

I wish I was a smart person

[Aleks Kissinger @AleksKissinger]

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). https://t.co/CYHV89EPaS