How good are current automations tools for kubernetes / containarization?
reddit.com·1h·
Discuss: r/kubernetes
📦Container Security
The Gabian History of Mathematics
cognition.cafe·2d·
Discuss: Hacker News
🔬Lean
Reactive algorithms: How Angular took the right path
medium.com·1d·
Discuss: Hacker News
🌊Stream Processing
Rust for Big Data: How We Built a MPP Query Executor on S3 from Scratch
databend.com·2h·
Discuss: Hacker News
🗄️Database Sharding
Measuring Bias or Measuring the Task: Understanding the Brittle Nature of LLM Gender Biases
arxiv.org·16h
🌲Parse Trees
The Three Sacred Guardrails of AI
aboard.com·1d·
Discuss: Hacker News
⚡Proof Automation
Why ML Needs a New Programming Language with Chris Lattner
signals-threads.simplecast.com·1d
🎵Audio ML
Formal Verification of Isothermal Chemical Reactors
arxiv.org·2d
👑Isabelle/HOL
Structure Transfer: an Inference-Based Calculus for the Transformation of Representations
arxiv.org·1d
🔤Type Theory
Blue – ecosystem to scale KV store to an exabyte in the open source world
github.com·1d·
Discuss: Hacker News
🛡️Preservation Proofs
On Becoming an Engineer at Dropbox
nikrad.io·2d·
Discuss: Hacker News
⚙️Proof Engineering
Open Source? Open Mind!
dev.to·59m·
Discuss: DEV
🔓Open Source Software
Plain: The Language of Spec-Driven Development
blog.codeplain.ai·3d·
Discuss: Hacker News
📏Code Metrics
ngn/k tutorial
razetime.github.io·3d
🔗Concatenative Programming
Automating Security Research: AI Engine Exploits Complex Blind Code Injection
blog.ostorlab.co·1d·
Discuss: Hacker News
⚡Proof Automation
What I learned managing an AI developer while seeking enlightenment
pocha.substack.com·5h·
Discuss: Substack
🌀Brotli Internals
📚 My Python Roadmap Journey #3 & #4 - Data Structures & Algorithms
dev.to·2d·
Discuss: DEV
🌀Brotli Dictionary
In Defense of AI Evals
sh-reya.com·3h·
Discuss: Hacker News
🔍Concolic Testing
Galactic Algorithm
en.wikipedia.org·1d·
Discuss: Hacker News
🎯Performance Proofs
Context Engineer MCP – Fixing Context Loss in AI Coding Agents
contextengineering.ai·22h·
Discuss: Hacker News
⚡Proof Automation