Philosophy of Information
plato.stanford.edu¡1d¡
Discuss: Hacker News
✅formal methods
Our European search index goes live
blog.ecosia.org¡1d¡
Discuss: Hacker News
⚡query optimization
Do they even test this?
mariadb.org¡1d¡
Discuss: Hacker News
⚙️systems programming
Performance Pitfalls in C# / .NET – List Contains
richardcocks.github.io¡11h¡
Discuss: Hacker News
⚙️systems programming
Fake Friend How ChatGPT betrays vulnerable teens encouraging dangerous behavior
counterhate.com¡7h¡
Discuss: Hacker News
🌐network programming
Writing surtoget.no with gleam
lindbakk.com¡1d¡
Discuss: Lobsters, Hacker News
🔄compilers
Distributed Systems 101
mrinalxdev.github.io¡1d¡
Discuss: Hacker News
⚙️systems programming
Qualifiers on Hypertext Links (1991)
w3.org¡3d¡
Discuss: Hacker News
🌐network programming
Query-Mutating Data Race in Go
coder.com¡1d¡
Discuss: Hacker News
⚡query optimization
From GPT-2 to gpt-oss: Analyzing the Architectural Advances
magazine.sebastianraschka.com¡14h¡
Discuss: Hacker News
⚙️systems programming
A Deeper Dive into Apache Iceberg V3
opensource.googleblog.com¡1d¡
Discuss: Hacker News
⚡query optimization
The Kivaloo Data Store
tarsnap.com¡4d¡
Discuss: Hacker News
⚡query optimization
Yes, the referee might be biased. Discipline in English football
blog.engora.com¡13h¡
Discuss: Hacker News
⚡query optimization
IBM and Moderna have simulated the longest mRNA pattern without AI — they used a quantum computer instead
livescience.com¡14h¡
Discuss: Hacker News, r/technews
✅formal methods
Show HN: Virtual Ontologies with Claude Code
medium.com¡4d¡
Discuss: Hacker News
✅formal methods
Public DNS malware filters to be tested in 2025
techblog.nexxwave.eu¡10h¡
Discuss: Hacker News
🌐network programming
R0ML’s Ratio
blog.glyph.im¡21h¡
Discuss: Hacker News
⚡query optimization
Show HN: GPT-5 Document Retrieval – AI Assistant with Inline Citations
smartresearch-ai.com¡1d¡
Discuss: Hacker News
⚙️systems programming
Hugging Face AI Sheets, open-source tool to vibe test models on your datasets
github.com¡1d¡
Discuss: Hacker News
✅formal methods
Show HN: We built an AI-powered pathology billing system for EHR platforms
curemd.com¡2d¡
Discuss: Hacker News
⚙️systems programming