I Use LLMs to Write the Majority of My Code
boredhacking.com·12h·
Discuss: Hacker News
🔬Static Analysis
Type safe GADT in Kotlin - who needs Haskell?
hacklewayne.com·3d
🐫OCaml
Type Stubs and Typeshed in Python: A Developer’s Guide
levelup.gitconnected.com·10h·
Discuss: r/programming
🔠Type-Level Programming
Towards Robust Agentic CUDA Kernel Benchmarking, Verification, and Optimization
arxiv.org·2d
📊Runtime Verification
Three Meanings of Effects
burakemir.ch·2d·
Discuss: Hacker News
🏹Effect Systems
MLOps Fundamentals: 6 Principles That Define Modern ML Operations (from the author of LLM Engineering Handbook)
javarevisited.substack.com·1d·
Discuss: r/programming
🔄Reproducible Builds
Evals in the Age of Jarvis
lesswrong.com·6h
📊Runtime Verification
Beginners Guide to IC Reverse Engineering – With a High Likelihood of Survival! (DS2025)
cdn.media.ccc.de·10h
💾Retro Computing
Show HN: Optimizing DeepSeek's NSA for TPUs – A Kernel Worklog
henryhmko.github.io·1d·
Discuss: Hacker News
🔧Unikernel Development
Six Frameworks for Efficient LLM Inferencing
thenewstack.io·2d
🐳Containerization
Effect Systems vs. Print Debugging: A Pragmatic Solution
blog.flix.dev·19h·
Discuss: Hacker News
🔬Static Analysis
Polymorphism for Beginners
roscidus.com·1d·
Discuss: Hacker News
🐫OCaml
Taxonomize Your Infrastructure
mattboisvert.net·1d·
Discuss: Hacker News
⎈Kubernetes
Controlling program flow with capabilities in Scala
nrinaudo.github.io·3d·
Discuss: Lobsters, Hacker News, r/programming
🧮Lambda Calculus
I built a Go framework: Anclax
github.com·18h·
Discuss: Hacker News
❄️NixOS
Hacking with AI SASTs: An Overview of 'AI Security Engineers' / 'LLM Security S
joshua.hu·17h·
Discuss: Lobsters, Hacker News
📊Runtime Verification
Taking a Look at Compression Algorithms
cefboud.com·5h·
Discuss: Hacker News, r/programming
🧮Lambda Calculus
Transforming Recursion into Iteration for LLVM Loop Optimizations
dspace.mit.edu·8h·
Discuss: Hacker News
⚙️PL Implementation
Object Orientation [2013 !]
jackrusher.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
The IBM POWER9, liquid-cooled AMD EPYC 8004, 100G RDMA datapaths rack
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab