The Jetsons lied to us

@ilyasergey.bsky.social: "I formalised and proved the correctness of Move’s new borrow checker in Lean: 39,000 lines of mechanised metatheory, produced in under a month with the help of an AI coding assistant." How it went, and what it augurs for PL research. proofsandintuitions.net/2026/03/18/m...

Pretty staggering that the FT Trump interview opens with ‘if NATO doesn’t help us sort this mess, there’ll be problems’ and ends with ‘Russia might be helping target American soldiers, but really that’s sort of fair enough - we started it’. www.ft.com/content/1ca6...

1) Provide weapons to aggressor country 2) Encourage victim to develop defenses 3) Complain when victim sells defenses making your weapons less effective I dont like regime change wars, but do hope that current regime heads die like Gaddafi. All of them nypost.com/2026/03/14/w...

Lenovo’s New T-Series ThinkPads Score 10/10 for Repairability https://lobste.rs/s/azkace ##hardware

Wtf

While we sit around to find out how bad exactly it all is, a bit of cheer: the best baguette of Paris competition was won by a Sri Lankan who appears to have started as a dish washer in restaurants and eventually trained as a Boulanger. www.paris.fr/pages/la-mei...

LOL. Anthropic bought Bun, last December.

Apparently using AI makes you dumb. I was too dumb to figure out why ubuntu installer was hanging so i asked pi to ssh in and figure it out. Turns out its cos I picked ukraine timezone and ubuntu devs run their timezone installer in interactive mode and it got angry at Kyiv vs Kiev distinction

This is a pretty cool way to structure coding: have the llm pretend to be submitting lkml patch series. This way you can revisit architectural issues, etc github.com/hsaliak/std_...

This is a really nice new Cloudflare feature: on-the-fly markdown conversion. Tools like Claude Code send an "Accept: text/markdown" header when making web requests. If you enable this it, it will send these agents a markdown version of your page instead of the full HTML. Really good for docs.

Lovely examples of customizing ai tools to help on think github.com/david-crespo... cc @humphd.bsky.social

about freaking time! So excited

lobste.rs/s/hkqnro/git... test suites that start from failed tests would be amazing

this @tracyalloway.bsky.social @weisenthal.bsky.social Odd Lots piece with @heidirediker.bsky.social is fantastic Interesting that Tracy mentioned about their Dan Wang interview, necessity & central planning have some advantages. Biogas is another anecdote podcasts.apple.com/us/podcast/o...

smolBSD is completely insane. How can a full kernel boot in 10ms. What are unikraft and other weird kernels gonna do now?

Website: paddleocr.com Repository: github.com/PaddlePaddle... Model: huggingface.co/PaddlePaddle...

I switched to Purelymail yesterday on a whim (from my previous self-hosted set up) and so far so good. Much easier than I expected, only took about 30 mins.

it occurs to me that miller’s name will survive only as does that of castlereagh: to be spat out in disdain by a poet

From the interview he comes across as such the most extreme pragmatist. No holy cows for Anders. Zero attachment to past work, just a better perspective on future

It’s happening. Yarn 6 Preview is here 💫 Yes, we rewrote it in Rust 🦀⚡️ I'm incredibly excited for the future of our beloved package manager. See the benchmarks and plans in our latest post:

Sorry for the bad output formatting on the cold-start run, it's about 1s until I receive a response, and 39ms for the same request on the second try...

DuckDB now supports reading from and writing to the Vortex file format! The DuckDB Labs and Spiral teams have worked together to make Vortex available as a core extension in DuckDB. We gave it a test drive, and it performed very well. Read the full article to learn more lnkd.in/eZfGzPiZ

Would it be ok if we call unqualified people using llms...AI agents?

I love the idea of my JBL Link display cos it has awesome sound and the voice interaction features from google home...but I absolutely hate how the device gets worse over time. As a result been thinking through and prototyping a simpler solution for past few years... Hate-driven development

next time i have free time gonna try this mouse thing github.com/moverest/wl-...

wifitui v0.10.0 is out (fast friendly featureful wifi tui for linux): - added support for displaying multiple access points - improved experimental macOS support (thanks @jimst.bsky.social) - better key handling (hjkl), and more! github.com/shazow/wifit...

new year, new bloggies: on pre-tenuring in v8 wingolog.org/archives/202...

This is the crazyest storage vps i have seen. zfs.rent/pricing.html BYD. Seems like great value

always felt that i didnt know touch typing. Turns out I didnt. github.com/aradzie/keyb... seems very helpful

Wanted a Dabao but couldn't get one at #39C3? Sign up here to be notified when they are ready for sale: www.crowdsupply.com/baochip/dabao

i love that these guys went against "no exotic hw" values in duckdb. The cost comparison is bit invalid, they shouldve costed nvidia instances on aws,

another robot highlight for 2025: man wearing humanoid mocap suit kicks himself in the balls

Low power waveguides! What a wonderful idea.

At the gpg.fail talk and omg #39c3 You can just put a \0 in the Hash: header and then newlines and inject text in a cleartext message. Won’t even blame PGP here. C is unsafe at any speed. gpg has not fixed it yet.

joining the "cybertruck owners only" group on fb is one of the best decisions i've ever made. every so often when i'm scrolling through fb getting pissed off, i get to see a little treat like this

There is a lot of talk of LLM productivity enhancements but very few examples of useful software that would not have existed if it wasn't for LLMs. I have a small list of software that was only embarked upon due to exploration and productivity boosts that LLMs enable

Great overview of passkeys and an interesting hosted service enzom.dev/b/passkeys/

this is the best post on what llms are good for and how most of the marketing is wrong chrisvoncsefalvay.com/posts/dorkes...

Resurrecting some of my old Raspberry Pi projects that had fallen into disrepair, annoyed at having to look up pinouts and count pins all the time when putting Humpty back together again, Me: "yo, ChatGPT, make me some OpenSCAD of this thingy covering all but groud, SPIO clock+data." Chat: .... 🤘

Nice own goal

Do you use LLMs to generate regular expressions? We do, too! Do you *review* your regexes? Is that frustrating? How can we put humans in the loop better, doing relatively few, meaningful tasks? Please try out our new tool PICK:regex, available for VSCode! blog.brownplt.org/2025/12/11/p...

This time is different! Right?

Not endorsing TOON but interesting that llm comprehension of a data format is now a benchmark to consider toonformat.dev/guide/benchm...

So Amazon buying iRobot is a competition problem, according to Lina Khan. A Chinese company "Shenzhen PICEA" acquiring it, however, is apparently no issue at all. This reflects a deeply misguided approach to antitrust enforcement, under Lina Khan. www.bloomberg.com/news/article...

This seems like a neat attempt to teach higher level programming concepts rather than any specific language implementation blog.brownplt.org/2024/04/12/b...

@anil.recoil.org i am enjoying your aoah posts. Curious what your workflow is for checkpointing and undoing claude code work when it goes wrong I find it infuriating that coding agents do not use git to differentiate between human and llm code. Perhaps I am just using em wrong?

Never really enjoyed working with minio. Looks like nvidia has a higher performing alternative (also in go). Minio never supported erasure codes in open source or had good performance or kept objects accessible as files. Nvidia aistore seems to do all that better github.com/NVIDIA/aistore

This seems like it could become a nice duckdb component for use in various data analysis webpages. cc @humphd.bsky.social