Remote

andrew blinn

@disconcision@types.pl

progaming 🗨️ languages eboy and mousefeel 🖱️ epicure, working on Nintendo® 🎮 Excel™ for the 📱 vpriPhone

0 Followers

0 Following

15 Posts

Joined October 27, 2020

website:

https://andrewblinn.com

Twitter:

https://twitter.com/disconcision

Github:

https://github.com/disconcision

Posts

andrew blinn @disconcision@types.pl · Jun 08, 2026

Boosted by

disregard Joe Groff @joe@f.duriansoftware.com

Replying to @disconcision@types.pl

Participants will work through a combined tutorial on value probes and functional programming in Hazel, and then complete some writing and debugging tasks; 2 hours total. Due to time constraints basic functional programming experience is required. Interest form here: https://docs.google.com/forms/d/e/1FAIpQLSc1ODrWR-QPrwfNe_zG4r0-zPiuFZpQg_SNScgBLrWIQMgtew/viewform?usp=sharing&ouid=107305623047779609448

andrew blinn @disconcision@types.pl · Jun 08, 2026

We’re doing a user study to find out how adding always-on live values alongside code effects writing and debugging experiences for functional programming. See reply for sign-up details

andrew blinn @disconcision@types.pl · Mar 22, 2026

Replying to @ohad@mathstodon.xyz

@ohad@mathstodon.xyz i had similar thoughts but sacrificed them on the altar of obtaining the desired harper-on-unitypes snowclone

andrew blinn @disconcision@types.pl · Mar 21, 2026

so-called "pure functional" languages are, in fact, uni-effectful

andrew blinn @disconcision@types.pl · Mar 16, 2026

andrew blinn @disconcision@types.pl · Mar 06, 2026

making a GUI IDE in 2026 is an increasingly meditative act

andrew blinn @disconcision@types.pl · Mar 03, 2026

@dysfun@social.treehouse.systems @ionchy@types.pl sounds like a win either way then

social.treehouse.systems

gaytabase (@dysfun@treehouse.systems) - Treehouse Mastodon

andrew blinn @disconcision@types.pl · Feb 22, 2026

Replying to @disconcision@types.pl

@fedithom @art_codesmith @jwcph (nb i don't really know how relatively true this is for other crafts in general as opposed to programming. i would assume that somewhat adept at digital painting is probably also decent at hand sketching, but also that many/most painters couldn't make their own paints or brushes. so it likely depends on what part of the skill one considers incidental versus essential)

andrew blinn @disconcision@types.pl · Feb 22, 2026

Replying to @fedithom@social.saarland

@fedithom @art_codesmith @jwcph agreed that this seems like a meaningful distinction; im saying that for the vast majority of programmers, compilers fall into the category of 'things without which its not possible to get any work done'. writing any machine code at all is a fairly rare skill, and developing non-trivial applications using it is almost non-existent outside of certain specialized sub-domains. this seems to make programming unlike many other arts/crafts, where its the other way around (only certain specific sub-domains basically require specialized tools; many others are doable by hand by most practitioners)

andrew blinn @disconcision@types.pl · Feb 22, 2026

Replying to @art_codesmith@toot.cafe

@art_codesmith @fedithom @jwcph this is an interesting point and maybe reflective of why llm adoption has been somewhat less controversial among programmers than writers (or woodworkers); the vast majority of programmers already had a near-total dependence on tools, so another level of abstraction is less of a bridge too far

andrew blinn @disconcision@types.pl · Feb 12, 2026

Replying to @yaxu@post.lurk.org

@yaxu although its not strictly accurate that the main reason i'm disinterested in continuing in academia is latex and the ancillary minutia of 'print publishing', it's a perfect enough synecdoche that i say so anyway

andrew blinn @disconcision@types.pl · Feb 04, 2026

Replying to @disconcision@types.pl

@luley@mastodon.online https://hazel.org/ depicted multiplayer isnt live on dev yet

andrew blinn @disconcision@types.pl · Feb 03, 2026

have you ever wanted to trap your more annoying collaborators in a code fold? now you can in hazel, thanks to our
automerge powered multiplayer mode

andrew blinn @disconcision@types.pl · Feb 02, 2026

Replying to @spiralganglion@mastodon.social

@spiralganglion the story of flash is so particular and peculiar. doesnt really fit in the conventional narratives of success and failure in software

andrew blinn @disconcision@types.pl · Dec 17, 2025

Replying to @joey@mathstodon.xyz

@joey@mathstodon.xyz @wilbowma@types.pl dense interwoven levels of kafkaesque here

Remote instance

types.pl

Open on original server

andrew blinn

Posts

gaytabase (@dysfun@treehouse.systems) - Treehouse Mastodon

Remote instance

Media