What Is a Belief (Part 2: Language, Truth, and Logic)
neonomos.substack.com·5h·
Discuss: Substack
✅Formal Verification
Free Security Audits for Erlang and Elixir open source projects
erlang-solutions.com·2d·
Discuss: Lobsters, Hacker News
🚢DevOps
N+1 query problem : what it is, why it hurts performance, and how to fix it
namitjain.com·11h·
Discuss: r/programming
🗄Database Systems
Reflections on Matrix criticism over the last week
gist.github.com·16h·
Discuss: Hacker News
📦WebAssembly
Freenet / Hyphanet build 1503: fix vulnerability, WebP, convenience, optimized
hyphanet.org·2d·
Discuss: Hacker News
📦WebAssembly
Understanding Blockchains Through Java Code
blog.blockingqueue.com·3d·
Discuss: Hacker News
🔐Cryptography
Want AI agents to work together? The Linux Foundation has a plan
zdnet.com·5d·
Discuss: Hacker News
🕸️Service Mesh
Isle FPGA Computer
projectf.io·2d·
Discuss: Hacker News
🧠Computer Architecture
How AI Could Start a Nuclear War
medium.com·1d·
Discuss: Hacker News
🔐Cryptography
The Comprehensive Guide to Knowledge Graphs
agilelab.it·2d·
Discuss: Hacker News
✅Formal Verification
Show HN: GTM Strategy Masterclass for AI Founders (3 sessions, $2.500)
news.ycombinator.com·20h·
Discuss: Hacker News
⚡Performance Engineering
Big Enough to Fail
willgallego.com·5d·
Discuss: Hacker News
👁️Observability
My journey to the heart of the forgotten internet
bbc.com·13h·
Discuss: Hacker News
🌐HTMX
Show HN: Cortex – OS-wide AI with instant context input
cortexdesktop.com·1d·
Discuss: Hacker News
🧠Computer Architecture
A real PowerBook: the Macintosh Application Environment on a PA-RISC laptop
oldvcr.blogspot.com·16h·
Discuss: Lobsters, Hacker News
🧠Computer Architecture
A Library Approach to Constant Template Parameters
brevzin.github.io·1d·
Discuss: Hacker News, r/cpp
🔄Compiler Design
Deep Agents
blog.langchain.com·2d·
Discuss: Hacker News
📦WebAssembly
The AI 'algorithmic audit' could be coming to hotel room checkout
cnbc.com·9h·
Discuss: Hacker News
✅Formal Verification
Are Robots the Future of the Data Center Workforce? (2022)
novva.com·2d·
Discuss: Hacker News
🚢DevOps
PatchworkOS: A from-scratch NON-POSIX OS strictly adhering to the "everything is a file" philosophy that I've been working on for..
github.com·1d·
Discuss: Hacker News
🔌Network Programming