🎯 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·4d·Lobsters, Hacker News

CodebuffAI/codebuff freebuff-v0.0.50 📚Lempel-Ziv

·6h

Bytes: The TypeScript 7.0 prophecy is fulfilled 🖥️Terminal Renaissance

Javascript updates via kill-the-newsletter.com·2d

Announcing TypeScript 7.0 Beta 🔒Type Safety

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

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

TinyGo can now compile the TypeScript compiler 🌐Protocol Synthesis

golangweekly.com·2d

TypeScript Language Extension for Declarative UI 📺Terminal UI

tsrx.dev·4d·Hacker News

React Navigation 8.0 Alpha with Native Bottom Tabs, Reworked TypeScript Inference and History 📺Terminal UI

TypeScript → Native 📜Proof Carrying Code

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

WebStorm 🎬WebCodecs

flathub.org·1d

MAD Bugs: RCE in Ladybird 🧪Binary Fuzzing

malware.news·1d

Mike Olson: Fixing typescript-ts-mode in Emacs 30.2 🔒Type Safety

mwolson.org·6d

5 Markdown Files That Tame Non-Deterministic AI in Your Engineering Org ⚡Proof Automation

newsletter.karuparti.com·2d·DEV

Java Meets Typescript: Full-Stack Web App Development With Spring Boot and React by Marcus Hellberg @ Spring I/O 2024 🔤Type Theory

bjoernkw.com·6d

AI is fantastic at configuring Emacs. 🔩Systems Programming

honeypot.net·2d

AdguardTeam/AdguardBrowserExtension autobuild-v5.3.1.56 🛡️WebAssembly Security

·4h

The Functional Migration Problem 🌍Cultural Algorithms

cafebedouin.org·2d

I built a TypeScript SDK to make Signal bots easier to create 🌐Protocol Synthesis

programming.dev·5d

Notes from Reading Claude Code's Leaked Source 🔄Sync Engine

blog.arasmehmet.com·2d·DEV

Log in to enable infinite scrolling