Stop monitoring systems; start monitoring outcomes
intercom.com·20h·
Discuss: Hacker News
👁️System Observability
The Covert Hardware Implant: Part 1
rift.stacktitan.com·16h·
Discuss: Hacker News
💾Retro Computing
The zero-day that could've compromised every Cursor and Windsurf user
bleepingcomputer.com·19h·
Discuss: Hacker News
📦Unikernel Systems
Monitoring My Homelab, Simply
b.tuxes.uk·1d·
Discuss: Lobsters, Hacker News
👁️System Observability
Talking Postgres with Shireesh Thota, Microsoft CVP
talkingpostgres.com·14h·
Discuss: Hacker News
🔄Reproducible Builds
Inheritance and Polymorphism in Plain C
coz.is·3d·
Discuss: Hacker News, r/C_Programming, r/programming
🔬Static Analysis
Meta Superintelligence – Leadership Compute, Talent, and Data
semianalysis.com·14h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
The hidden cost of AI reliance
codebytom.blog·2d·
Discuss: Hacker News, r/programming
✓Automated Theorem Proving
Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
arxiv.org·2d
✓Automated Theorem Proving
What happens when an AI is your customer?
frontierai.substack.com·1d·
Discuss: Substack
👁️System Observability
NexViTAD: Few-shot Unsupervised Cross-Domain Defect Detection via Vision Foundation Models and Multi-Task Learning
arxiv.org·1d
👁️System Observability
Detection of Intelligent Tampering in Wireless Electrocardiogram Signals Using Hybrid Machine Learning
arxiv.org·2d
🌐NetworkProtocols
Property Elicitation on Imprecise Probabilities
arxiv.org·3d
✓Automated Theorem Proving
CoreCodeBench: A Configurable Multi-Scenario Repository-Level Benchmark
arxiv.org·3d
🔄Reproducible Builds
OverflowSort: A (possibly) novel high-speed sorting algorithm based on overflow
github.com·1d·
Discuss: Hacker News
⚙️PL Implementation
Under the Hood of Claude Code
pierce.dev·6d·
Discuss: Hacker News, Hacker News
🛡️seL4
On Trustworthy Rule-Based Models and Explanations
arxiv.org·1d
✓Automated Theorem Proving
PrefixAgent: An LLM-Powered Design Framework for Efficient Prefix Adder Optimization
arxiv.org·3d
🐫Embedded OCaml
Beyond the Linear Separability Ceiling
arxiv.org·1d
➡️Category Theory
SynthEHR-Eviction: Enhancing Eviction SDoH Detection with LLM-Augmented Synthetic EHR Data
arxiv.org·1d
🐫OCaml