How Python Type Hints Transform Code Quality and Reduce Bugs in Modern Development
dev.to·1d·
Discuss: DEV
🔬Refinement Types
ECMAScript 2025 Language Specification
262.ecma-international.org·14h·
Discuss: Hacker News
📝ABNF Parsing
Three Meanings of Effects
burakemir.ch·9h·
Discuss: Hacker News
✨Effect Handlers
Obscure feature + obscure feature + obscure feature = bug
antithesis.com·14h·
Discuss: Lobsters, r/programming
🧪Binary Fuzzing
Issue 490
haskellweekly.news·1d
🔗Functional Compilers
Carbon Copy No.8: Classes Part II
github.com·1d·
Discuss: Hacker News
🦀Rust Borrowing
Enter Sandbox 30: Static Analysis gone wrong
hexacorn.com·3h
🔍Binary Forensics
The Landscape of Arabic Large Language Models
cacm.acm.org·12h
🤖Grammar Induction
Building sub-100ms autocompletion for JetBrains IDEs
blog.sweep.dev·9h·
Discuss: Hacker News
🔨Compilers
Simple Dependent Types in Python
sobolevn.me·21h·
Discuss: Hacker News
🎯Dependent Types
Microsoft Goes All-in on Rust for Core Infrastructure and Much More
thenewstack.io·2h
🦀Rust Borrowing
Three Months of Go, from a Haskeller's perspective (2016)
memo.barrucadu.co.uk·1d·
Discuss: Hacker News
🔗Functional Compilers
SteeringControl: Holistic Evaluation of Alignment Steering in LLMs
arxiv.org·1d
✨Effect Handlers
Isabelle rule musings
blueberrywren.dev·1d
🎯Proof Tactics
Why Do LLMs Design Mediocre Architecture?
recurse.ml·11h·
Discuss: Hacker News, r/programming
🌀Brotli Internals
The Ternary Manifesto
homepage.cs.uiowa.edu·2d
📝Concrete Syntax
haskell/mtl
github.com·2d
🔗Functional Compilers
Latent trees
languagelog.ldc.upenn.edu·13h
🤖Grammar Induction
Moving off of TypeScript, 2.5M lines of code
engineering.usemotion.com·2d·
Discuss: Hacker News
🔄Language Evolution
Automated Semantic Drift Detection and Mitigation in Real-Time Multimodal Data Streams
dev.to·1d·
Discuss: DEV
🌊Stream Processing