Microsoft commits to European interoperability in a groundbreaking agreement
neowin.net·2d·
Discuss: Hacker News
🔄Reproducible Builds
Team Atlanta
team-atlanta.github.io·3d·
Discuss: Lobsters
👁️System Observability
Content Busking: The Ad-Free Revolution We've Been Waiting For
justinpaulson.com·7h·
Discuss: Hacker News
🍎Apple
Using Claude's chat search and memory to build on previous context
support.anthropic.com·4d·
Discuss: Hacker News
🧩Separation Logic
Catholic Theology and Code
theologyandcode.com·3d·
Discuss: Hacker News
⚡Process Calculi
RIP pthread_cancel
eissing.org·2d·
Discuss: Lobsters, Hacker News, r/programming
🧩Separation Logic
A New Method for Estimating P2P Network Size
eli.sohl.com·3d·
Discuss: Hacker News
📡Network Protocol Design
Care about keeping your design files clean (2018)
monzo.com·4d·
Discuss: Lobsters, Hacker News
🧩Separation Logic
The Startup Killer Nobody Talks About: Domain Negotiations
brandhunt.com·13h·
Discuss: Hacker News
🍎Apple
The dark forest of political communication
andrew-quinn.me·2d·
Discuss: Hacker News
🧮Lambda Calculus
BVP: Mastering product-market fit- A detailed playbook for AI founders
bvp.com·2d·
Discuss: Hacker News
👁️System Observability
Methane emissions driven by aerotolerant methanogens using seaweed and seagrass
nature.com·2d·
Discuss: Hacker News
🐳Containerization
Geometric and physical interpretation of the action principle
nature.com·6d·
Discuss: Hacker News
🧩Separation Logic
Is this the end of hand-written Java? Building an app with AI-generated code (OpenXava + Vibe Coding)
reddit.com·5d·
Discuss: r/programming
🤖Program Synthesis
Lean Windows 11 image for dev and embedded use
github.com·1d·
Discuss: Hacker News
🐳Containerization
Mini microscope enables real-time 3D brain imaging in freely moving mice
phys.org·2d·
Discuss: Hacker News
🔧Unikernel Development
Patterns in Chaos: How Data Visualisation Helps To See the Invisible (mrmcd25)
cdn.media.ccc.de·2d
🩹Self-Healing Systems
STL-based Optimization of Biomolecular Neural Networks for Regression and Control
arxiv.org·6d
🔠Type-Level Programming
How should I set up my two systems?
reddit.com·2d·
Discuss: r/homelab
🖥Self-Hosting
Agents of Discovery
arxiv.org·4d
🧩Parser Combinators