My first fifteen compilers (2019)
blog.sigplan.org·9h·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
Ajla Tutorial
ajla-lang.cz·1d·
Discuss: Hacker News
🔬Static Analysis
Flag this post
Breaking Monoliths Taught Me How to Fix Data
blog.matterbeam.com·13h·
Discuss: Hacker News
🔄Reproducible Builds
Flag this post
Evidence on language model consciousness
lesswrong.com·1h
📚Automata Learning
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.me·2d·
Discuss: r/javascript, r/programming
🧮Lambda Calculus
Flag this post
StreetMath: Study of LLMs' Approximation Behaviors
arxiv.org·1d
🔍CBMC
Flag this post
word2vec-style vector arithmetic on docs embeddings
technicalwriting.dev·2d·
Discuss: Lobsters, Hacker News
🔤Kleene Algebra
Flag this post
Clario streamlines clinical trial software configurations using Amazon Bedrock
aws.amazon.com·13h
🧠Automated Reasoning
Flag this post
Rouille – Rust Programming, in French
dev.to·14h·
Discuss: DEV
🔀OCaml Multicore
Flag this post
Chibi Izumi: Phased dependency injection for TypeScript
github.com·4h·
Discuss: Hacker News
📦OPAM
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.org·2d·
Discuss: Hacker News
🔬Static Analysis
Flag this post
Enhanced Knowledge Graph Reasoning via Multi-Modal Data Fusion and Automated Verification
dev.to·1d·
Discuss: DEV
🧠Automated Reasoning
Flag this post
Vectorizing for Fun and Performance
ibm.com·2d·
Discuss: Hacker News
🏹Effect Systems
Flag this post
Falcon: A Comprehensive Chinese Text-to-SQL Benchmark for Enterprise-Grade Evaluation
arxiv.org·2d
🎯GADT
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.com·1d·
Discuss: Hacker News
🔁Fixed-Point Theory
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.com·1d·
Discuss: Hacker News
🔀Brzozowski Derivatives
Flag this post
Implementing MQTT 5 in Go: A Deep Dive into Client Design - Part I
dev.to·11h·
Discuss: DEV
🌐Network Protocols
Flag this post
A prvalue is not a temporary
blog.knatten.org·21h·
Discuss: Hacker News
🎯GADT
Flag this post
Modern Perfect Hashing
blog.sesse.net·4d·
Discuss: Hacker News
🎯GADT
Flag this post
Minimal Sufficiency: A Principle ‘Similar’ to End-to-End
cacm.acm.org·11h·
Discuss: Hacker News
⚙️Operating System Design
Flag this post