Reposted by andrew blinna ton of crates @tonofcrates.bsky.social · 18h> This constituent dreamed of sunlight and trees. Of fire and water. It dreamed it created a small business. And it dreamed it destroyed a password. It dreamed it hunted a job, and was hunted by a recertification. It dreamed of shelter that would take a voucher. 043
Reposted by andrew blinnKiran @kirancodes.me · 16hto know where you are going, you have to know where you have been: pldb.kirancodes.me Titles and abstracts of 22,324 programming languages papers, from the first POPL in 1973 to this year's proceedings. 6379
Reposted by andrew blinnMatt Keeter @mattkeeter.com · 28/09/2026hi friends I'm very excited to announce Halfspace, my experimental cross-platform IDE for solid modeling with distance fields! This has been in progress since midway through last year, and it's finally "done enough" to make it more public.mattkeeter.comHalfspaceAn IDE for solid modelling with distance fields 520347
Reposted by andrew blinna ton of crates @tonofcrates.bsky.social · 28/09/2026hard pressed to think of a company with a more insufferable and infantilizing design practice than google. i try to use an image for a slide, it's composed of fragments to make it uncopyable, i zoom in to take a screenshot, i get a nice Fuck You Badge 1141
andrew blinn @disconcision.com · 28/09/2026i think this framing proves too much. i dont have an objection to framing llms as normal tech, but... normal tech is not normal tech. saying 'the internet is just a tool, like the phone' doesnt land to me because the phone was reasonably transformative. feels like appeal to banalification treadmill 100
Reposted by andrew blinnDean @dean-dev.bsky.social · 14/09/2026store.steampowered.com/app/4331110 291180291
Reposted by andrew blinnmmalex @mmalex.bsky.social · 27/09/2026today i'm taking erik (music synth prototype) in a more sober direction; the code is displayed in a more traditional way, but you can set a colour for any variable, it shows where its used via color + lines, and you can edit any number as a knob. 1576
andrew blinn @disconcision.com · 27/09/2026here's something much closer: x.com/BenKoska/sta...x.comBen Koska (@BenKoska) on Xturns out, it actually kind of works? despite not having been trained on natural language or natural language reasoning, it was able to produce kernels that passed all tests 28% of the time and produc... 010
Reposted by andrew blinnGavin Owens @gavinowens.net · 25/09/2026@neurocy.bsky.social showing off hazel. Fun fact, the IDE we built at my old company Deco had some similar features like inline elements for data types, like sliders, but it was done in such a dumb way that hazel makes me ashamed and embarrassed because it is very impressive. 092
andrew blinn @disconcision.com · 23/09/2026a-dog-walks-into-a-bar-and-says-I-can't-see-a-thing-I'll-open-this-one-core 142
andrew blinn @disconcision.com · 22/09/2026wrt original topic when jev has a harness that lets it do natural language, it appears to be adorable 140
andrew blinn @disconcision.com · 21/09/2026introducing the embodied coding agent canvas I've been working on, and how it integrates with per-data-type GUI generation to support more transparent type-directed agent dev processes. remote demo for ARIA SGAI www.youtube.com/watch?v=U6lY...youtube.comHazel constellation canvas demoYouTube video by andrew blinn 1225
andrew blinn @disconcision.com · 21/09/2026happened to me in my own house yesterday (think the neighbors accidentally connected their tv to my bluetooth speakers) 010
Reposted by andrew blinnBhargav Kulkarni @bhargavkk.tngl.sh · 17/09/2026Excited to share that our paper, "Semantics for 2D Rasterization" was accepted at OOPSLA'26! https:// arxiv.org/abs/2603.23696 I will be presenting this work in Oakland at OOPSLA'26, so lets chat if you are interested in languages for graphics!arxiv.orgSemantics for 2D RasterizationRasterization is the process of determining the color of every pixel drawn by an application. Powerful rasterization libraries like Skia, CoreGraphics, and Direct2D put exceptional effort into drawing... 2183
Reposted by andrew blinnel @elliot.website · 17/09/2026Noticed that my talk with @mkvlr.bsky.social and @unkai.bsky.social is up on youtube. www.youtube.com/watch?v=LFMo... Grateful for the time I got to spend with them 2 years ago, working on Live Programming experimentation in Clojure and Clerk.youtube.com[LIVE24] Live Programming a Live Programming Environment: An Experience ReportYouTube video by ACM SIGPLAN 063
Reposted by andrew blinnIvy Reese @spiralganglion.com · 15/09/2026here's a peak at what i've been doing for the past few years: building a calm, playful little space for thinking, doodling, journalling, and programming with materials like ink, paper, and… flux that spreads through your notes like a fluid wait what? www.youtube.com/watch?v=GurW...youtube.comPlayBook: A Programmable Paper NotebookYouTube video by Ink & Switch 35118
Reposted by andrew blinnKiran @kirancodes.me · 11/09/2026they are trying to ERASE hacker history from computing do NOT let them succeed you can pry my bit-operators from my cold dead hands 3251
Reposted by andrew blinn𝖒𝖆𝖋 @mrogalski.eu · 11/09/2026Here is something I haven't done in a year... An edited video: youtu.be/rG4uNHoULxsyoutu.beUnifying Gestures, Menus & API 🎮💻 AUTOMAT DEVLOG 14YouTube video by Marek “maf” Rogalski 013
Reposted by andrew blinnZed @zed.dev · 09/09/2026🚀 Zed v1.19 is out! You can now explore a function’s callers and the functions it calls via `call hierarchy: show incoming calls` and `call hierarchy: show outgoing calls`. Thanks swiftcoder! 2924
Reposted by andrew blinnShriram Krishnamurthi @shriram.bsky.social · 09/09/2026Here's just one example of how a simple async program produces four different outcomes depending on which languages you use. 1162
Reposted by andrew blinndepths of wikipedia @depthsofwikipedia.bsky.social · 09/09/2026they are upon us 13881138
andrew blinn @disconcision.com · 08/09/2026we have lot on feature branches... sort of considering waiting until i can knit it all together with a one-word prompt. what do you most want to see? might be a branch for it... 020
andrew blinn @disconcision.com · 07/09/2026synced projective codebase views (definitions outline and type/function canvas), being used to navigate between editable per-definition subeditors (at bottom) 1214
andrew blinn @disconcision.com · 07/09/2026hazel.org though what youre seeing here is a feature branch im working on that isnt live yethazel.orgHazel, a live functional programming environment featuring typed holes.Hazel is a live functional programming environment featuring typed holes. 020
andrew blinn @disconcision.com · 06/09/2026cracking open an agent and dousing myself in their fragrant gorm fluid 030
andrew blinn @disconcision.com · 06/09/2026i have booked time to consider it but want to spend the next 6-8 weeks focussing on my maniacal laugh 110
andrew blinn @disconcision.com · 04/09/2026me! though realistically i'm going to be in paper panic mode... 120
Reposted by andrew blinnInk & Switch @inkandswitch.com · 31/08/2026Today we're officially sharing the "Introducing Patchwork-26" video from Lab Day at this year's @localfirstconf.com We bring you the first look at Patchwork-26, the latest in our ongoing effort to realize Malleable Software, Universal Version Control, and Local-First Software.youtube.comIntroducing Patchwork-26YouTube video by Ink & Switch 39133
Reposted by andrew blinna ton of crates @tonofcrates.bsky.social · 30/08/2026need to use more historical analogies that will immediately date my papers 2372
Reposted by andrew blinnJosh Horowitz @joshuahhh.com · 30/08/2026San Francisco's a pretty crazy place. 2112
Reposted by andrew blinnboarders.bsky.social @boarders.bsky.social · 29/08/2026The concept of ‘language levels’ from racket is, to me, one of the great unsung ideas in computing. Imagine photoshop with extensible affordances gated to your current skill level, or a coding harness, or R studio, or a browser, or a terminal. To me it would be the welcome anti-philosophy to RTFM 5307
Reposted by andrew blinnShriram Krishnamurthi @shriram.bsky.social · 26/08/2026Never mind, done. Here's an actual working, running (tiny) language, TaML, that is built atop the core of Standard ML, so it actually is an ML (type inference, etc.). Proof of executed output at the bottom. @racket-lang.org of course. 34410
Reposted by andrew blinnpermutation @permutation.ink · 24/08/2026Gyre by @vgel.me - a very broken artificial intelligence tries to remember step by step where and why it is. Read it here: permutation.ink/one/ 2444
andrew blinn @disconcision.com · 25/08/2026i think this is AI still mid term going to be one of the best outcomes of other AI. though i'm not sure i have the defence/offence balance right 110
andrew blinn @disconcision.com · 21/08/2026i thought sonic & all-stars racing transformed was surprisingly good 110
Reposted by andrew blinnLu wilson @todepond.com · 17/08/2026new blog post: "Game of Life" www.todepond.com/sky/game-of-...todepond.comTodepond dot com 0101