🎯 Gradual Typing - matmat · Scour

Borrow-checking without type-checking 🦀Rust Borrowing

scattered-thoughts.net·2d·Lobsters, Hacker News

LemmaScript: A Verification Toolchain for TypeScript via Dafny ✅Format Verification

midspiral.com·3d·Lobsters, Hacker News

I left Vercel Pro ($20/mo) for a $10/mo VPS. 7-day Next.js migration report ❄️Nix Flakes

gist.github.com·15h·Hacker News

Hallucination Inspector: A Fact-Checking Judge for API Migration ✅Format Verification

Announcing TypeScript 7.0 Beta 🔒Type Safety

devblogs.microsoft.com·4d·Lobsters, Hacker News, Hacker News, r/javascript, r/programming, r/reactjs, r/typescript

How to Make Illegal States Unrepresentable ⚔️Lean Tactics

hackernoon.com·2d

TypeScript Language Extension for Declarative UI 📺Terminal UI

tsrx.dev·4d·Hacker News

AI is fantastic at configuring Emacs. 🔩Systems Programming

honeypot.net·2d

What is Pub/Sub? An Interactive Guide to Messaging 🌊Streaming Systems

encore.dev·2d·Hacker News, r/programming

TypeScript → Native 📜Proof Carrying Code

perryts.com·6d·Hacker News, Hacker News

TwillAI/agentbox-sdk: The open-source TypeScript SDK for running AI coding agents in sandboxes. One unified API — swap agents and infrastructure providers without changing your code. 🌐WASI

github.com·2d·Hacker News

Making illegal state unrepresentable 🧪Binary Fuzzing

blog.frankel.ch·6d·Hacker News, r/coding, r/programming

Protecting your secrets from tomorrow’s quantum risks 🔐Quantum Security

aws.amazon.com·1d

Kern & Nebel Win Sanders Political Philosophy Prize 🔲Cellular Automata

dailynous.com·1d

Key Front End Architectural Patterns for Complex Applications 🔌Interface Evolution

sometechblog.com·4d·Hacker News

From the Pampas to Patagonia, DNA reveals South America's human history 🌍Cultural Computing

Claude Opus 4.7 API removes sampling parameters 🔄Archival Workflows

platform.claude.com·6d·Hacker News

More shearwaters are washing up dead on Australian beaches. It’s not due to ‘natural’ causes 🧊Arctic Storage

theconversation.com·1d·Hacker News

What happens when you pair Playwright with something other than TypeScript? 💧Liquidhaskell

tjmaher.com·3d·tjmaher.com

UK and France strike new Channel migration deal with boosted enforcement and funding 🎬Video Codecs

·2d

Log in to enable infinite scrolling