My first fifteen compilers (2019)
blog.sigplan.org·19m·
Discuss: Hacker News
🔤Type Systems
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·2h·
Discuss: Hacker News
🔤Type Systems
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·22h·
Discuss: Hacker News
🔤Type Systems
Flag this post
Master Rust Pattern Matching: Build Safer, More Expressive Code with Advanced Techniques
dev.to·22h·
Discuss: DEV
🔤Type Systems
Flag this post
Turbo: Just another AUR helper.
reddit.com·17h·
Discuss: r/rust
🦀Rust language programming
Flag this post
7 AI Study Workflows Developers Use to Learn Faster (Prompt Recipes Included)
coursiv.io·10h·
Discuss: DEV
🛡️AI Safety
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
github.com·3h·
Discuss: Hacker News
🌐WebAssembly
Flag this post
Ajla Tutorial
ajla-lang.cz·20h·
Discuss: Hacker News
🦀Rust language programming
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.org·1d·
Discuss: Hacker News
🔤Type Systems
Flag this post
Adapting to Change: Developers’ Transition from Java 21 to 22 in 2025
fusion-institute.com·11h·
Discuss: DEV
🔤Type Systems
Flag this post
C3 0.7.7 Vector ABI changes, RISC-V improvements and more
reddit.com·4h·
Discuss: r/programming
🔤Type Systems
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·6h·
Discuss: Lobsters, Hacker News
🔤Type Systems
Flag this post
My Wishlist for PHP in 2026
stitcher.io·1d·
Discuss: Hacker News
🔤Type Systems
Flag this post
Why Programming Languages Are Not 'Just Tools'
bloominlabs.substack.com·2d·
Discuss: Substack
🔤Type Systems
Flag this post
How We Saved 70% of CPU and 60% of Memory in Refinery’s Go Code, No Rust Required.
honeycomb.io·20h·
Discuss: Hacker News, r/programming
🌐WebAssembly
Flag this post
De Bruijn Numerals
text.marvinborner.de·1d·
Discuss: Hacker News
🔤Type Systems
Flag this post
A Beginner’s Guide to Getting Started with add_messages Reducer in LangGraph
langcasts.com·12h·
Discuss: DEV
🛡️AI Safety
Flag this post
Nim 2.2.6
nim-lang.org·6h·
Discuss: Hacker News
🌐WebAssembly
Flag this post
Beyond the Black Box: Making LLM Decoding Truly End-to-End
dev.to·3h·
Discuss: DEV
🛡️AI Safety
Flag this post
Rdza – Rust Programming, in Polish
github.com·10h·
Discuss: Hacker News
🦀Rust language programming
Flag this post