andrew blinn
@disconcision.com
https://andrewblinn.com
abstractJuiceFactory
abstractJuiceFactory
Reposted by andrew blinn
I'm working on something that benefited from a sprinkle of PBT, and this was *very* useful —
Choosing properties for property-based testing
→ fsharpforfunandprofit.com/posts/proper...
Choosing properties for property-based testing
→ fsharpforfunandprofit.com/posts/proper...
Choosing properties for property-based testing
Or, I want to use PBT, but I can never think of any properties to use
fsharpforfunandprofit.com
November 26, 2025 at 1:33 PM
I'm working on something that benefited from a sprinkle of PBT, and this was *very* useful —
Choosing properties for property-based testing
→ fsharpforfunandprofit.com/posts/proper...
Choosing properties for property-based testing
→ fsharpforfunandprofit.com/posts/proper...
Reposted by andrew blinn
🎉 Unison 1.0 has landed!
After years of engineering, design, and community collaboration, we’re excited to announce this milestone!
Spread the word!
After years of engineering, design, and community collaboration, we’re excited to announce this milestone!
Spread the word!
Announcing Unison 1.0
After years of engineering, design, and community collaboration, we're excited to release Unison 1.0. This version delivers a refined programming workflow and a mature toolchain. Join us as we celebrate this milestone and look ahead to the future of Unison.
www.unison-lang.org
November 25, 2025 at 7:01 PM
🎉 Unison 1.0 has landed!
After years of engineering, design, and community collaboration, we’re excited to announce this milestone!
Spread the word!
After years of engineering, design, and community collaboration, we’re excited to announce this milestone!
Spread the word!
passing through iceland
November 24, 2025 at 5:02 PM
passing through iceland
Reposted by andrew blinn
My five-project (along with slides, video lectures, etc.) compilers course has all projects now available online free: kmicinski.com/functional-p.... Five projects have you incrementally build a compiler for a substantial language, including functions, mutation, loops, vectors, etc.
Build a Compiler in Five Projects
Class website here: https://kmicinski.com/cis531-f25
kmicinski.com
November 24, 2025 at 3:26 AM
My five-project (along with slides, video lectures, etc.) compilers course has all projects now available online free: kmicinski.com/functional-p.... Five projects have you incrementally build a compiler for a substantial language, including functions, mutation, loops, vectors, etc.
Reposted by andrew blinn
A few years ago I had a project that involved extracting the art assets from a copy of MS Bob, and you may be either delighted or horrified to know that the entire thing is a series of Access database files with bitmaps embedded directly in the DB
November 21, 2025 at 7:29 PM
A few years ago I had a project that involved extracting the art assets from a copy of MS Bob, and you may be either delighted or horrified to know that the entire thing is a series of Access database files with bitmaps embedded directly in the DB
Reposted by andrew blinn
first arXiv paper about why magic spells rhyme
November 21, 2025 at 1:30 PM
first arXiv paper about why magic spells rhyme
sunrise over the atlantic
November 12, 2025 at 8:53 AM
sunrise over the atlantic
going to be in Edinburgh in 9 hours. what should i do tomorrow
November 12, 2025 at 3:10 AM
going to be in Edinburgh in 9 hours. what should i do tomorrow
Reposted by andrew blinn
A rough and ready, online Hazel of OCaml compiler: patricoferris.github.io/hazel_of_oca...
hazoo
patricoferris.github.io
November 11, 2025 at 4:11 PM
A rough and ready, online Hazel of OCaml compiler: patricoferris.github.io/hazel_of_oca...
the sky is doing that thing again
November 9, 2025 at 3:49 PM
the sky is doing that thing again
Reposted by andrew blinn
@vgel.me is fundraising for her model tinkering, she's done some really interesting interpretability work and I think funding this has very high returns in terms of LLM understanding per dollar. manifund.org/projects/fun...
November 7, 2025 at 6:07 PM
@vgel.me is fundraising for her model tinkering, she's done some really interesting interpretability work and I think funding this has very high returns in terms of LLM understanding per dollar. manifund.org/projects/fun...
Reposted by andrew blinn
after a nontrivial amount of various things (metaphorically) lighting on fire, i have fixed my keyboard.
November 7, 2025 at 10:53 PM
after a nontrivial amount of various things (metaphorically) lighting on fire, i have fixed my keyboard.
Reposted by andrew blinn
Reposted by andrew blinn
i asked the fairies to prove they're real
November 4, 2025 at 10:37 AM
i asked the fairies to prove they're real
Reposted by andrew blinn
A critical option for a game involving typing: customizable keyboard sounds 🤓
May 2, 2025 at 1:43 PM
A critical option for a game involving typing: customizable keyboard sounds 🤓
Reposted by andrew blinn
the tensor product is extremely trivial to define. since it is only characterized up to isomorphism, and since any two vector spaces of the same dimension are isomorphic, the tensor product of V and W is any vector space of dimension dim(V)×dim(W)
Research proposal: give me 3m € and 10y to understand wtf tensor products are so hard to define and yet behave so neatly. Like why isn't there a simpler construction, and how come this unwieldy construction produce this... this... jewel?
November 2, 2025 at 10:13 PM
the tensor product is extremely trivial to define. since it is only characterized up to isomorphism, and since any two vector spaces of the same dimension are isomorphic, the tensor product of V and W is any vector space of dimension dim(V)×dim(W)
Reposted by andrew blinn
Reposted by andrew blinn
Caroline Humphrey's "A Nomadic Diagram", in Working With Diagrams (2022)
> Waddington (1940:11) thought of ‘landscape’ as a metaphor, a new virtual domain for envisioning “the whole complex system of actions and interactions which constitute [cellular] differentiation."
www.jstor.org/stable/27113...
> Waddington (1940:11) thought of ‘landscape’ as a metaphor, a new virtual domain for envisioning “the whole complex system of actions and interactions which constitute [cellular] differentiation."
www.jstor.org/stable/27113...
October 28, 2025 at 10:02 PM
Caroline Humphrey's "A Nomadic Diagram", in Working With Diagrams (2022)
> Waddington (1940:11) thought of ‘landscape’ as a metaphor, a new virtual domain for envisioning “the whole complex system of actions and interactions which constitute [cellular] differentiation."
www.jstor.org/stable/27113...
> Waddington (1940:11) thought of ‘landscape’ as a metaphor, a new virtual domain for envisioning “the whole complex system of actions and interactions which constitute [cellular] differentiation."
www.jstor.org/stable/27113...
hazel development, september 2020 - september 2025
October 28, 2025 at 3:45 AM
hazel development, september 2020 - september 2025
Reposted by andrew blinn
Finally achieved my goal and made a calculator
October 27, 2025 at 10:47 PM
Finally achieved my goal and made a calculator