The Stuff That Matters
physiqonomics.com·1d·
Discuss: Hacker News
🏹Effect Systems
If you rely on Screaming Frog for JavaScript SEO, you'll need this
prerender.io·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Debugging the Pixel 8 kernel via KGDB
xairy.io·3d·
Discuss: Lobsters, Hacker News, r/programming
📦Unikernel Systems
Emilio, your AI inbox agent
meetemilio.com·2d·
Discuss: Hacker News
🎮Verification Games
Orchestra Conductors are Prompt Engineers
blog.charliemeyer.co·1d·
Discuss: Hacker News
🎮Verification Games
Flipping Bits in the World
opuslabs.substack.com·1d·
Discuss: Substack
🎮Verification Games
Linux Fu: The Cheap Macropad Conundrum
hackaday.com·2d
💾Retro Computing
10 Myths of Scalable Parallel Languages, Part 4: Syntax Matters
chapel-lang.org·6d·
Discuss: Hacker News
🐫OCaml
The Discovery, Disclosure, and Investigation of CVE-2024-25825
arxiv.org·2d
🛡️seL4
The Bitter Lesson versus The Garbage Can
oneusefulthing.org·4d·
Discuss: Hacker News
🎮Verification Games
Load Balancing for AI Training Workloads
arxiv.org·2d
💻CS
Unlearning of Knowledge Graph Embedding via Preference Optimization
arxiv.org·3d
🐫OCaml
Looking for US-based colocation or residential host for LTE router or Raspberry Pi (Wyoming/Midwest preferred)
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
To Rack or Not to Rack?
reddit.com·5d·
Discuss: r/homelab
🏠HomeLab
Nexus – Lovable for Desktop Apps
github.com·6d·
Discuss: Hacker News
🔬Unikernels
(Almost) 2 month experience with WTR Max
reddit.com·4d·
Discuss: r/homelab
👁️System Observability
Meta Is Going to Let Job Candidates Use AI During Coding Tests
wired.com·3d·
Discuss: Hacker News
🤖Program Synthesis
Data-Driven and Participatory Approaches toward Neuro-Inclusive AI
arxiv.org·2d
🎮Verification Games
I'm looking to put a GPU in my R7515 - what have you put into yours?
reddit.com·4d·
Discuss: r/homelab
🔬Unikernels
Numerical Methods for Solving Nonlinearly Coupled Poisson Equations in Dual-Continuum Modeled Porous Electrodes
arxiv.org·1d
🐫OCaml