🎯 Gradual Typing - matmat · Scour

TypeScript Refactoring Interview Questions λLambda Formalization

reactdevelopment.substack.com·5d·Substack

samth/gradual-typing-bib: A bibliography on Gradual Typing ⬌Bidirectional Typing

github.com·1d·Lobsters

reader 3.24 released 📡RSS Readers

death.andgravity.com·13h

Introducing CipherStash Stack: secure building blocks for the agent-era TypeScript app 🔐Cryptographic Archaeology

cipherstash.com·2h·Hacker News

Ruby vs. Java vs. TypeScript: my experience on building a Cowork DOCX plugin 🦀Rust Macros

tanin.nanakorn.com·1d·Hacker News, r/java

Show HN: SafeRun – Replay debugging and inline prevention for AI agents 3 ⚔️Lean Tactics

news.ycombinator.com·1h·Hacker News

PyCon US 2026 Typing Summit Recap 💧Liquid Types

bernat.tech·6d·Lobsters, Hacker News

How to Set Up a Remote MCP Server for Your SaaS 🔌Interface Evolution

docsalot.dev·6h·Hacker News

Mistral SDK 🌀Brotli Internals

dsebastien.net·2d

ElevenLabs Speech Engine 🎙️Whisper

elevenlabs.io·10h·Hacker News

OpenAPI to TypeScript in Seconds 🔌Interface Evolution

heyapi.dev·1d·Hacker News

TypeScript, C# and Turbo Pascal with Anders Hejlsberg 💧Liquid Types

youtube.com·6d·Hacker News

Google I/O, Gemini Spark, Antigravity 🌀Brotli Internals

simonwillison.net·13h

DeepSeek Agent Harness: Technical deep-dive & the open-source blueprint 🤖Network Automation

dlcmh.github.io·2h·Hacker News

AI-readiness benchmark for TypeScript backend frameworks 📏Code Metrics

encore.dev·1d·Hacker News, r/typescript

SQGNE Lecture is tonight! Building a React Native Mobile Automated Test Framework with T.J. Maher 🎮Game Decompilation

tjmaher.com·14h·tjmaher.com

The UIGen Override System: How We Keep It Runtime While Enabling Full Customization 🔌Interface Evolution

uigen-docs.vercel.app·3d·Hacker News

Building Automatic, Contextual Clinical Trial Audit Logging in Postgres Without Triggers 🗄️PostgreSQL WAL

runharbor.com·2d·Hacker News

a resumable, tiling workspace manager for Claude Code, Codex 🏠Homelab Orchestration

getatrium.dev·13h·Hacker News

Formal Verification Gates for AI Coding Loops ⚡Proof Automation

reubenbrooks.dev·13h·Hacker News

Log in to enable infinite scrolling