Is sound gradual typing dead? Performance problems in Typed Racket
dl.acm.org·1d·
Discuss: Hacker News
🎯Gradual Typing
Spider-Man: The Movie Game dissection project - Introduction
krystalgamer.github.io·9h·
Discuss: r/programming
🎮Game Decompilation
How I accidently created the fastest CSV parser ever made
sanixdk.xyz·1d·
🚀SIMD Text Processing
Why I Chose Go
stratus3d.com·1d
🧠Lisp Dialects
Writing Memory Safe JIT Compilers
medium.com·3d·
Discuss: Hacker News
🦀Rust Macros
The Compiler of the Future Is Context, Not Code
dev.to·3d·
Discuss: DEV
💻Programming languages
Revisiting bsdiff as a tool for digital preservation
exponentialdecay.co.uk·6h
💿FLAC Archaeology
Make the most of compiled C loops on the 68000
dciabrin.net·8h·
Discuss: Hacker News
🎮Game Decompilation
Concurrency and Parallelism
newsletter.francofernando.com·2d·
Discuss: Hacker News
🔩Systems Programming
Working at ABI boundaries
rkrishnan.org·1d
🦀Rust Borrowing
Overkill JSON parser optimization: C/Assembly
raphaelouthier.github.io·1d·
Discuss: Hacker News
🔧Binary Parsers
os-testing POSIX headers everywhere
sortix.org·4h
📺VT100 Emulation
Claude Code vs. Codex, a small test
danieltenner.com·1d·
Discuss: Hacker News
🎯Gradual Typing
The Lowest Level PL
pramatias.github.io·1d·
🦀Rust Macros
[R] ShinkaEvolve: Towards Open-Ended And Sample-Efficient Program Evolution
reddit.com·3d·
Performance Mythology
Code That Works Isn’t Always Code That Lasts
software.ac.uk·3d
📏Code Metrics
SLICET5: Static Program Slicing using Language Models with Copy Mechanism and Constrained Decoding
arxiv.org·5d
⬆️Lambda Lifting
Well-Typed.Com: Haskell ecosystem activities report: June–August 2025
well-typed.com·3d
🔗Functional Compilers
Upcoming projects, Fall 2025 edition
mikewarot.blogspot.com·2d·
🔍BitFunnel