Leopard Lord (1983)
bluerenga.blog·16h
🕹️Retro Gaming
Joy & Curiosity #57
registerspill.thorstenball.com·1d
🏺ZIP Archaeology
What Is a Data Lakehouse
hudi.apache.org·10h·
Discuss: Hacker News
🗄️Database Internals
Boosting Unit Test Automation at Audible with Amazon Q Developer
aws.amazon.com·2d
🔄Reproducible Builds
IBM Ships Homegrown “Spyre” Accelerators, Embraces Anthropic For AI Push
nextplatform.com·2d·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
AI tools churn out ‘workslop’ for many US employees lowering trust | Gene Marks
theguardian.com·21h·
Discuss: Hacker News
🌍Cultural Algorithms
Random samples from a tetrahedron
johndcook.com·1d
💎Information Crystallography
Custom AI models in hours not months with auto Data Synth and LLM-as-a-Judge
blog.oumi.ai·3d·
Discuss: Hacker News
🧮SMT Solvers
The Linus Method: How we simiplifed RFC reviews
devashish.me·2d·
Discuss: Hacker News
⚙️Proof Engineering
Combobulate: Structured Editing and Navigation in Emacs with Tree-sitter
github.com·3d·
Discuss: Hacker News
✨Effect Handlers
AI can help your DevSecOps pipeline
spiceworks.com·2d·
Discuss: Hacker News
🏠Homelab Pentesting
When Metrics Overwhelm: How SREs Help Engineers Reclaim Focus
devops.com·1h
👁️System Observability
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.com·6d
🎯Proof Tactics
Ask r/kubernetes: What are you working on this week?
reddit.com·1h·
Discuss: r/kubernetes
🔩Systems Programming
Build a Private AI Chatbot for Your PDFs with Genkit and Gaia
dev.to·1d·
Discuss: DEV
📄Document Streaming
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.org·4d
🔨Compilers
OBCache: Optimal Brain KV Cache Pruning for Efficient Long-Context LLM Inference
arxiv.org·3d
💻Local LLMs
AI News and Releases: First Week of October 2025
dev.to·2d·
Discuss: DEV
🤖AI Curation
RecGen: a powerful tool to create recommendation systems
dev.to·2d·
Discuss: DEV
🔗Constraint Handling
Automated Surface Tension Profiling via Static Contact Angle Analysis & Bayesian Inference
dev.to·1d·
Discuss: DEV
🌀Differential Geometry