⊣˚∆˚⊢
@djidja8.bsky.social
knowledge ·̊·͙*̩̩͙*̩̩̥͙·̊·͙ is a jealous mistress... zigttp.timok.com
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/
You Must Fix Your Asserts | Loris Cro's Blog
https://kristoff.it/blog/fix-your-asserts/
kristoff.it
I updated Learning Zig to work with 0.16 www.openmymind.net/learning_zig/ #Ziglang
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
Claw Patrol, Google I/O, and npm Awakens From Slumber | News | Ep 68 | TypeScript.fm - The Friendly Show for TypeScript Developers | Episode 68
News for the week of May 18, 2026: Claw Patrol! Claw Patrol! We'll be there on the double! Also, npm finally responds to ongoing supply chain attacks. From the community: using Effect more effectively,...
share.transistor.fm
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
Moving away from Tailwind, and learning to structure my CSS
Moving away from Tailwind, and learning to structure my CSS
jvns.ca
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!
github.com
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... 👇
zigttp - Prove your TypeScript handlers before they ship
What if your agent couldn't ship broken code? zigttp's compiler-agent loop proves handler correctness, extracts behavioral contracts, and deploys only what it can sign off on.
zigttp.timok.com
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
require(esm) Stable in Node 24, TanStack RSC, and HTML-in-Canvas Demos | News | Ep 64 | TypeScript.fm - The Friendly Show for TypeScript Developers | Episode 64
News for the week of April 13, 2026: require(esm) marked stable in Node 24.15.0 LTS, HTML-in-Canvas demos, and Cal.com goes closed source thanks to AI security. From the community: dependency cooldowns...
share.transistor.fm
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
TypeScript.fm@typescript.fm · 4mo agoToday 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
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...
Behind the APIs: How Zustand, Jotai, and Valtio Were Born
My Talk at React Paris 2026
newsletter.daishikato.com
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
Designing an Ideal Linting Developer Experience with Flint | Josh Goldberg | Ep 62B | TypeScript.fm - The Friendly Show for TypeScript Developers | Episode 62
In this episode with Josh Goldberg, maintainer of TypeScript ESLint, we dive into his latest research project, Flint. The goal of Flint is to test different hypothesis on how to architect a modern, hybrid-native...
share.transistor.fm
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
Spearphishing OSS Maintainers, EmDash is a Wordpress Replacement, and ECMA Fools Day | News | Ep 62 | TypeScript.fm - The Friendly Show for TypeScript Developers | Episode 62
News for the week of March 30, 2026: fun with UUIDs, Cloudflare gunning for Wordpress, and how OSS maintainers can defend against spearphishing attacks. From the community: a very Solid 6 hours, compiling...
share.transistor.fm
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
Rewriting MicroGPT in Javascript - Arnaud's Blog
pankzsoft.leaflet.pub
new proof of concept: ATProtoCall! video calling over atproto with just static files and no dedicated signaling or streaming infrastructure.
