11 Apache Iceberg Optimization Tools You Should Know
overcast.blog·1d·
Discuss: r/programming
🐳Containerization
Codex CLI: OpenAI's Lightweight Terminal Coding Agent Reborn
elite-ai-assisted-coding.dev·3h·
Discuss: Hacker News
🐳Containerization
xAI's new safety framework is dreadful
lesswrong.com·3h
🔬Unikernels
AI Can’t Start a Nuclear War — Or Can It?
politico.com·8h·
Discuss: Hacker News
🩹Self-Healing Systems
Answering some questions about Baba Yaga
eli.li·3d·
Discuss: Hacker News
💎Refinement Types
Nesper: Program the ESP32 Using Nim
github.com·1d·
Discuss: Hacker News
🔧Unikernel Development
OrgChart: Coding Agent Organizations (Open Source)
gpeake.com·6h·
Discuss: Hacker News
⚙Operational Semantics
Method Iteration: An LLM Prompting Technique
lesswrong.com·3d
📚Automata Learning
Tau² Benchmark in Action: Early Results and Key Takeaways
quesma.com·1d·
Discuss: Hacker News
👁️System Observability
Show HN: Basekick – We rescue AI startups from broken infra (CI/CD, AWS, etc.)
basekick.net·3h·
Discuss: Hacker News
🐳Containerization
Impossible rational triangles
johndcook.com·7h·
Discuss: Hacker News
🧮Lambda Calculus
Show HN: ExeTrace – introducing executable drift monitoring (EDM)
sites.google.com·1d·
Discuss: Hacker News
📊Runtime Verification
Show HN: Fine-tuned Llama 3.2 3B to match 70B models for local transcripts
bilawal.net·1d·
Discuss: Hacker News
🧩Parser Combinators
DeepQuali: Determining Software Quality with AI
blog.qaware.de·1d·
Discuss: Hacker News
🔄Reproducible Builds
Launch HN: Datafruit (YC S25) – AI for DevOps
news.ycombinator.com·2h·
Discuss: Hacker News
🐳Containerization
1965 Cryptanalysis Training Workbook Released by the NSA
schneier.com·7h·
Discuss: Hacker News, www.schneier.com
🌐NetworkProtocols
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·22h·
Discuss: Hacker News, r/LLM, r/LocalLLaMA
🧩Parser Combinators
How to Avoid Fighting Rust Borrow Checker
qouteall.fun·2d·
Discuss: Hacker News
🧪Property-Based Testing
Inferno Part 2: Let's Make a Cluster
debu.gs·1d·
Discuss: Hacker News
🏠HomeLab