Integer overflow checking with C23
blog.gnoack.org·19h
💧Liquid Types
Flag this post
Kubernetes and AI Are Shaping the Next Generation of Platforms
thenewstack.io·22h
🔌Interface Evolution
Flag this post
Status update, October 2025
bisco.org·9h
❄️Nix Flakes
Flag this post
The Case That A.I. Is Thinking
newyorker.com·4h
🔲Cellular Automata
Flag this post
xb.sql and xbi.sql - Explain Oracle Execution Plans Better! (Part 3 - Cardinality Misestimates)
tanelpoder.com·9h
🧠Query Planners
Flag this post
Announcing the Lean TDD book
pythontest.com·1d
⚔️Lean Tactics
Flag this post
Show HN: Claude Code disrupted programming. Bringing that power to office worker
🤖Archive Automation
Flag this post
AI-Assisted Coding & Automated Debugging: The Tools That Might Just Save Your Sanity
⚡Proof Automation
Flag this post
Relation-Aware Bayesian Optimization of DBMS Configurations Guided by Affinity Scores
arxiv.org·10h
🚀Query Optimization
Flag this post
Hybrid Neuro-Symbolic Reasoning for Adaptive Robotics Control in Dynamic Environments
✨Algebraic Effects
Flag this post
Decoding Autonomy: When AI Learns to Speak for Itself by Arvind Sundararajan
💻Local LLMs
Flag this post
Reflections on Trusting Trust (1984)
📜Proof Carrying Code
Flag this post
Building Software That Survives • Michael Nygard & Charles Humble • GOTO 2025
youtube.com·2h
🔐Capability Systems
Flag this post
How I Use Every Claude Code Feature
⚡Proof Automation
Flag this post
Automated Assessment of Scientific Grant Proposals via Hyperdimensional Semantic Analysis
🤖AI Curation
Flag this post
ARCS 2.0: Pioneering Data Sovereignty Through Real-World Utility and Cultural Heritage
hackernoon.com·16h
🔗Hash Chains
Flag this post
Loading...Loading more...