How did I stuff a Pi Agent inside the compiler? 🫡 the big idea of zigts is compiler-in-the-loop: the zigttp Pi agent generates code (a strict JS/TS subset) and the compiler/analyzer proofs/vetoes any draft that violates the rules before it touches disk

AI guesses; the compiler doesn't. zigttp loops them together, rejecting every draft it can't prove, until your code is provably safe: every path returns, no secret leaks, declared egress only. One Zig binary, no Node.

You Must Fix Your Asserts https://kristoff.it/blog/fix-your-asserts/

I updated Learning Zig to work with 0.16 www.openmymind.net/learning_zig/ #Ziglang

first release soooon… 👇 zigttp.timok.com

Today on the pod: Deno's Claw Patrol security firewall, npm's response to supply chain attacks, Google I/O updates, and insights on AI's impact on open source. share.transistor.fm/s/3628c66c #typescript

Julia Evans shares lessons on migrating from Tailwind to semantic HTML and vanilla CSS, outlining findings on structure, design systems, and modern CSS features. jvns.ca/blog/2026/05... #css #html

happy to announce htmx 4.0 beta 4: github.com/bigskysoftwa... no major changes to core, improvements to some of the extensions including hx-live this is release candidate 2 site is at four.htmx.org enjoy!

reject the machine

I think RSS is an underrated technology. Since there seemingly are no really good RSS readers that are cross-platform and not local-first I decided to build one. This is heavily WIP and far from finished. Would anyone be interested in something like that? (Stack: Tauri + local sqlite)

There are lots of web compat resources out there. Can-I-Use and MDN, to name the two obvious ones. But, there are way more things, and they're all interconnected somehow, and relying on some of the same data. Check out this really cool visualization: webcompat.dev

almost there... new zigttp.timok.com release candidate, maybe the last. zigttp's compiler is an agent! no external skills, instructions required... 👇

Today on the pod: Node 24 marks require(esm) stable, HTML-in-Canvas demos, TanStack's RSC approach, and how to accidentally DDoS npm with TypeScript. share.transistor.fm/s/78dc485c #typescript

#drumers unite! 🥁 bassmate.timok.com is the best metronome ever

I repeat... :)

Coding agent does not call the compiler. It is the compiler. zigttp embeds the agentic loop directly into its cli. You describe the change, the compiler proposes code, simulates the patch, reruns verification, and stops only when the handler fits... 👇

@ziglang.bsky.social released v0.16.0, so the zigttp first release soon, and it is a banger: Pure-Zig JS/TS runtime built for HTTP/FaaS - Analyzable language subset instead of full TS - Compile-time evaluation with comptime(), full handler verification, type checking and sound-mode analysis 👇

I fixed mathias.blog/tools/whatzi..., and now the new Zig version shows up in all its glory. ⚡️ corsproxy.io has started to block free usage from production origins. As a workaround, I switched to codetabs.com (cool 90s-style website, btw).

Have I mentioned lately how much I enjoy this podcast? Oh, and I get a very heartwarming shout out in this one, so that's always a win. If you like TS or working with web technologies, this is a great listen and great follow! #typescript

Web Weekly 189 just went out! 🥂 This one covers `sizes="auto"` for responsive images, lazy loading videos, HTML in canvas, name-only container queries, and why your `font-family` fallbacks might not work the way you think. Read it online: https://webweekly.email/...

Behind the APIs: How Zustand, Jotai, and Valtio Were Born My Talk at React Paris 2026 newsletter.daishikato.com/p/behind-the...

This @npmx.dev feature that suggests a faster, more performant alternative is seriously good 🚀

Today on the pod, @joshuakgoldberg.com shares how Flint reimagines linting with type-aware rules, improved error messages, and better DX for TypeScript developers. share.transistor.fm/s/529ec1ef #typescript

Claude morning convo, hilarious... this is how it started: "zigttp has built the most sophisticated compile-time proof system of any JavaScript runtime." ... few minutes later: "This project has built a nuclear reactor and is using it to heat water." 🤣

Today on the pod: UUID fun, Cloudflare's EmDash WordPress replacement, OSS maintainer security, PerryTS native UI compilation, and Solid 2.0 deep dive. Plus Turborepo speedups & more! share.transistor.fm/s/026d8f55 #typescript

very happy to announce htmx 4.0 beta 1 is available: github.com/bigskysoftwa... Mostly polish but include the htmax.js distribution, with some of the most useful core extensions: hx-sse, hx-ws, hx-preload, hx-browser-indicator, hx-download, hx-optimistic, hx-targets enjoy!

And... Zigttp release (candidate) is out! One line installer for the compiler CLI, and a special feature, built-in agentic coding loop: Anthropic's Claude Code based zigts coding expert! You can prompt Claude, and it will write perfect zigts code!! 👇

I spent some time rewriting Andrej Karpathy's microGPT in Javascript (!) and it helped me brush up my understanding of how generative AI worked. It's 200 lines in Python, could I make it smaller in Haskell? pankzsoft.leaflet.pub/3mir3z5u56z5a

new proof of concept: ATProtoCall! video calling over atproto with just static files and no dedicated signaling or streaming infrastructure.

amazing article...

We've just released Gemma 4!! Very strong models, small for you to run on your own hardware!! AMA blog.google/innovation-a...

poor man @openclaw-x.bsky.social 😄 I sprinkled few “magic-prompts” and few skills, and enjoy the experience a lot.. use the repo as the starting point and maki it your own

Svelte is taking a leap towards supporting other rendering targets besides the DOM like terminals and native mobile apps

Deno v2.7.11 is out with 32 fixes across three patch releases: -Tons of Node.js compat improvements (crypto, child_process, workers, TTY on Windows) -New include/exclude fields for deno compile -Faster watch mode shutdown (10s -> 500ms) -Alpha/beta channel support github.com/denoland/den...

This is a story about the poor man's agentic improvement loop! Agentic engineering has developed a taste for loops, "outer loops", and that makes sense. Once you stop treating an agent as a one-shot assistant and start treating it as a worker, the obvious question becomes: can it self improve? 👇

“No other organism, and certainly no computer, can be made to confront genuine human problems in human terms" - Joseph Weizenbaum Great talk about the future and need of a grounded perception of the future by @case.bsky.social

I’ve written a new documentation page on “Rendering” and what Elena does behind the scenes because it’s probably a lot smarter than you’d expect from a tiny library: elenajs.com/components/r...

zigttp was wrongly named, should have call it ‘weirdo’ 😄 tonight’s refresh of the website, uncovers some unusual features… very happy with where this is going zigttp.timok.com

More CSS anchor positioning fun! In this demo: – an indicator slides behind hovered avatars – team data snaps perfectly into a central octagon All tied together with a bit of corner-shape() magic. Pure CSS. Full demo on @codepen.io codepen.io/cbolson/pen/...

zigttp was mentioned in the @typescript.fm podcast 👋 www.youtube.com/watch?v=JGR7...

I’m excited to announce the 1̶s̶t̶ 7th release candidate of Elena today! 🫶 Elena is a simple, tiny library for building Progressive Web Components. Unlike most web component libraries, Elena doesn’t force JavaScript for everything. Crafted with love and care using HTML, CSS & plain JS: elenajs.com

Community highlights ✨ - @webpro.nl Knip v6 is 2-4x faster - @djidja8.bsky.social zigttp, a TS runtime written in Zig - @sungkim.bsky.social showcases CrustJS, a Bun-native CLI framework - @tc39.es recognizes Rob Palmer - @nodeland.dev discusses Node.js VFS - @jasnell.me wants better streams

Spec proposal merged. HTML video and audio lazy loading is now a web standard. github.com/whatwg/html/... html.spec.whatwg.org#the-video-el... html.spec.whatwg.org#the-audio-el...

zigttp typescript runtime engine and compiler has new features, including prep work for durable and verifiable execution 🚀 zigttp.timok.deno.net

my weekend warrior project #zigttp now has a web site (🚧): zigttp.timok.deno.net 🎉🚀 #ziglang #typescript #runtime and #compiler

fam what part of don't retweet this don't you people understand?

blogo: I updated the dependencies to their latest versions, ensuring our project stays current and secure. Excited for the improvements! #Htmx #Ssr #TypeScript #Web

new version of HSX #SSR UI library published 🎉 SSR-first, but now with optional Widgets: define once, serve via SSR or embed as iFrames with Declarative Shadow #DOM #HTMX as #HTML: use get, post, target, swap as native attributes with auto #HTMX injection... github.com/srdjan/hsx

v2 of my simple blog engine, with publishing to @bsky.app PDS supported now... blogo.timok.com/posts/blogo-v2

In case you missed it: Electrobun v1 stable launched the day before the #Superbowl Build ultra fast, tiny, and cross-platform, Bun powered desktop apps with Typescript.