Method Iteration: An LLM Prompting Technique
lesswrong.com·4d
📚Automata Learning
Tau² Benchmark in Action: Early Results and Key Takeaways
quesma.com·1d·
Discuss: Hacker News
👁️System Observability
11 Apache Iceberg Optimization Tools You Should Know
overcast.blog·1d·
Discuss: r/programming
🐳Containerization
The case against Almost Always `auto` (AAA)
gist.github.com·21h·
Discuss: Hacker News, r/cpp
📚Automata Learning
Show HN: Basekick – We rescue AI startups from broken infra (CI/CD, AWS, etc.)
basekick.net·10h·
Discuss: Hacker News
🐳Containerization
Effective learning: Twenty rules of formulating knowledge (1999)
supermemo.com·1d·
Discuss: Hacker News
📚Automata Learning
Show HN: Fine-tuned Llama 3.2 3B to match 70B models for local transcripts
bilawal.net·1d·
Discuss: Hacker News
🧩Parser Combinators
OrgChart: Coding Agent Organizations (Open Source)
gpeake.com·12h·
Discuss: Hacker News
⚙Operational Semantics
The pitfalls of labs, skunkworks, and other special dev teams
chaoticgood.management·3h·
Discuss: Hacker News
🔄Reproducible Builds
DeepQuali: Determining Software Quality with AI
blog.qaware.de·1d·
Discuss: Hacker News
🔄Reproducible Builds
Stop using cron Systemd Timers Explained (2023)
coady.tech·1d·
Discuss: Hacker News
🔧Unikernel Development
Pretraining a LLM with less than $50 budget which outperforms Google BERT
medium.com·1d·
Discuss: Hacker News, r/LLM, r/LocalLLaMA
🧩Parser Combinators
Spec-driven development with AI: Get started with a new open source toolkit
github.blog·8h·
Discuss: Hacker News
🤖Program Synthesis
You're Not Interviewing for the Job. You're Auditioning for the Job Title
idiallo.com·3h·
Discuss: Hacker News
👁️System Observability
Show HN: ExeTrace – introducing executable drift monitoring (EDM)
sites.google.com·1d·
Discuss: Hacker News
📊Runtime Verification
Anthropic: Code Execution Tool
docs.anthropic.com·8h·
Discuss: Hacker News
🐳Containerization
How to Avoid Fighting Rust Borrow Checker
qouteall.fun·3d·
Discuss: Hacker News
🧪Property-Based Testing
A type system for RCL (2024)
ruudvanasseldonk.com·3d·
Discuss: Lobsters, Hacker News
💎Refinement Types
How is Ultrassembler so fast?
jghuff.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🔧Unikernel Development
Inferno Part 2: Let's Make a Cluster
debu.gs·1d·
Discuss: Hacker News
🏠HomeLab