Abstract Machine Models Also: what Rust got particularly right
dr-knz.net·2d·
Discuss: Hacker News
🔤DSLs
Effective learning: Twenty rules of formulating knowledge (1999)
supermemo.com·21h·
Discuss: Hacker News
📚Automata Learning
The KK computer: a 6502 + coprocessor system
laughtonelectronics.com·15h·
Discuss: Lobsters
🔧Unikernel Development
11 Apache Iceberg Optimization Tools You Should Know
overcast.blog·1d·
Discuss: r/programming
🐳Containerization
eBPF 101: Your First Step into Kernel Programming
journal.hexmos.com·1d·
Discuss: Hacker News
🔧Unikernel Development
Answering some questions about Baba Yaga
eli.li·2d·
Discuss: Hacker News
💎Refinement Types
Free Will's Tiny Probabilistic Edge
xlii.space·1h·
Discuss: Hacker News
✓Automated Theorem Proving
How to Avoid Fighting Rust Borrow Checker
qouteall.fun·2d·
Discuss: Hacker News
🧪Property-Based Testing
Method Iteration: An LLM Prompting Technique
lesswrong.com·3d
📚Automata Learning
I think WASM and WebGPU is a good idea to run "What If" scenarios in browser
news.ycombinator.com·17h·
Discuss: Hacker News
👁️System Observability
Tau² Benchmark in Action: Early Results and Key Takeaways
quesma.com·1d·
Discuss: Hacker News
👁️System Observability
Show HN: ExeTrace – introducing executable drift monitoring (EDM)
sites.google.com·22h·
Discuss: Hacker News
📊Runtime Verification
Show HN: Fine-tuned Llama 3.2 3B to match 70B models for local transcripts
bilawal.net·17h·
Discuss: Hacker News
🧩Parser Combinators
DeepQuali: Determining Software Quality with AI
blog.qaware.de·1d·
Discuss: Hacker News
🔄Reproducible Builds
There's a gap between AI coding demos and daily reality
github.com·4h·
Discuss: Hacker News
🤖Program Synthesis
Stop using cron Systemd Timers Explained (2023)
coady.tech·1d·
Discuss: Hacker News
🔧Unikernel Development
How is Ultrassembler so fast?
jghuff.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🔧Unikernel Development
Pretraining a LLM with less than $50 budget which outperforms Google BERT
medium.com·15h·
Discuss: Hacker News, r/LLM, r/LocalLLaMA
🧩Parser Combinators
Inferno Part 2: Let's Make a Cluster
debu.gs·1d·
Discuss: Hacker News
🏠HomeLab
A type system for RCL (2024)
ruudvanasseldonk.com·2d·
Discuss: Lobsters, Hacker News
💎Refinement Types