Show HN: TrackJ – Track your job applications via web, Chrome extension and App
track-j.com·13h·
Discuss: Hacker News
👁️System Observability
How Spain's Blackout Sparked New Political Currents Online
blogs.lse.ac.uk·11h·
Discuss: Hacker News
🏹Effect Systems
The Rise of Shippable Microfactories
thesisdriven.com·2d·
Discuss: Hacker News
🧱Immutable Infrastructure
Firm Hierarchy Predicts Income
economicsfromthetopdown.com·7h·
Discuss: Hacker News
✓Automated Theorem Proving
P Verified
b-hilprecht.github.io·6d·
Discuss: Lobsters, Hacker News, r/programming
🛡️seL4
From Envoy to Consul chasing a latency spike across a globally distributed stack
koyeb.com·3d·
Discuss: Hacker News, r/programming
👁️System Observability
software-mansion/react-native-reanimated
github.com·3d
🧱Immutable Infrastructure
I am a SOTA 0-shot classifier of your slop
christopherkrapu.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Mistral’s new “environmental audit” shows how much AI is hurting the planet
arstechnica.com·3d·
Discuss: Hacker News, Hacker News
✓Automated Theorem Proving
Three high-performance RISC-V processors to watch in H2 2025: UltraRISC UR-DP1000, Zizhe A210, and SpacemIT K3
cnx-software.com·6d·
Discuss: Hacker News
🍎XNU Internals
Fast LoRA inference for Flux with Diffusers and PEFT
huggingface.co·6d·
Discuss: Hacker News
🐫OCaml
#28: Sovereignty in the Age of LLMs
loeber.substack.com·4d·
Discuss: Substack
🖥️Self-hosted Infrastructure
The Missing 20%: Why Agentic Systems Need Built-In Control
fsilavong.github.io·2d·
Discuss: Hacker News
🔍Formal Verification
Teufel Introduces an Open Source Bluetooth Speaker
hackaday.com·4d
🔬Unikernels
Law of Triviality
en.wikipedia.org·2d·
Discuss: Hacker News
🏹Effect Systems
Deals: M4 MacBook Air from $799, M4 MacBook Pro all-time low at $300 off, Apple Watch Ultra 2 $150 off, more
9to5mac.com·13h
🍎Apple
Show HN: LogMerge – View multiple log files in a merged view
github.com·3d·
Discuss: Hacker News
🔬Static Analysis
r/GraphicsProgramming
reddit.com·3d·
Discuss: r/GraphicsProgramming
🎮Verification Games
LLM Meets the Sky: Heuristic Multi-Agent Reinforcement Learning for Secure Heterogeneous UAV Networks
arxiv.org·5d
📡Network Protocol Design
Show HN: LLMs suck at writing integration code… for now
github.com·4d·
Discuss: Hacker News
⚙️PL Implementation