rqlite – Highly-Available, Distributed Relational Database Built on SQLite
rqlite.io·9h·
Discuss: Hacker News
🔄Reproducible Builds
Visualize Your Puppet Data in Grafana with the Observability Data Connector
puppet.com·1d·
Discuss: Hacker News
👁️System Observability
Show HN: Bearify – Write workflows in plain English instead of using flowcharts
bearify.ai·4d·
Discuss: Hacker News
✓Automated Theorem Proving
Thoughts on cloud alerts from the top cloud MDR
groundedcloudsecurity.substack.com·4d·
Discuss: Substack
👁️System Observability
Google set up two robotic arms for a game of infinite table tennis
popsci.com·3d·
Discuss: Hacker News
🎮Verification Games
OpenAI prepares to launch GPT-5 in August
theverge.com·2d·
Discuss: Hacker News
👁️System Observability
Vitalik Buterin's response to AI 2027
vitalik.eth.limo·5d·
Discuss: Hacker News
🍎Apple
The Illusion of Tech Exit
therepublicjournal.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Video and transcript of talk on "Can goodness compete?"
joecarlsmith.com·3d·
Discuss: Hacker News
🛡️seL4
Final Benchmarks Of Clear Linux On Intel: ~48% Faster Than Ubuntu Out-Of-The-Box
phoronix.com·1d·
Discuss: Hacker News, r/hardware
👁️System Observability
The evolution of code review practices in the world of AI
packagemain.tech·4d·
Discuss: Hacker News, r/webdev
👁️System Observability
Why outsourcing cybersecurity is rising in the Adriatic region
helpnetsecurity.com·2d·
Discuss: Hacker News
👁️System Observability
Rickrolling Turso DB (SQLite rewrite in Rust)
avi.im·6d·
Discuss: Lobsters, Hacker News, r/programming
🔬Static Analysis
Webpack 5 Module Federation - my approach
reddit.com·2d·
Discuss: r/programming
🧱Immutable Infrastructure
IM-Chat: A Multi-agent LLM-based Framework for Knowledge Transfer in Injection Molding Industry
arxiv.org·5d
🤖Program Synthesis
Fundamental limits of distributed covariance matrix estimation via a conditional strong data processing inequality
arxiv.org·3d
👁️System Observability
P-CoT: A Pedagogically-motivated Participatory Chain-of-Thought Prompting for Phonological Reasoning in LLMs
arxiv.org·4d
🎮Verification Games
Talking Like a Phisher: LLM-Based Attacks on Voice Phishing Classifiers
arxiv.org·4d
🌐NetworkProtocols
A Blueprint for Implementing RAG at Scale
thenewstack.io·4d
🔤DSLs
Hackaday Podcast Episode 330: Hover Turtles, Dull Designs, and K’nex Computers
hackaday.com·1d
💾Retro Computing