runZero Hour, ep. 21 recap: highlights from hacker summer camp
runzero.com·14h
🔍eBPF
The Struggle of Wrapping a JavaScript Game for Desktop
jslegenddev.substack.com·28m·
Discuss: Substack
🔓Open Source Software
Fun OCaml 2025
fun-ocaml.com·3d·
Discuss: Hacker News
🧬Functional Programming
Music to Break Models By
matthodges.com·23h·
Discuss: Hacker News
📼Cassette Hacking
Semcheck: Spec-Driven Development Using LLMs
labs.rejot.dev·4d·
Discuss: Hacker News
⚡Proof Automation
Explanation of the Linux-Kernel Memory Consistency Model
raw.githubusercontent.com·2d·
Discuss: Lobsters, Hacker News, r/programming
⚡Cache Coherence
Paradigms of Intelligence Team
github.com·14h·
Discuss: Hacker News
🔲Cellular Automata
Winetricks/winetricks
github.com·1d
🔄Sync Engine
Propose and Rectify: A Forensics-Driven MLLM Framework for Image Manipulation Localization
arxiv.org·1d
🖼️JPEG Forensics
Muhammad Azeez - The Agent Builder's Reading List: What Actually Matters
mazeez.dev·1d·
Discuss: Hacker News, r/programming
⚔️Lean Tactics
Using Chrome Dev Tools AI Assitance to Automate UI from Javascript Console
dev.to·11h·
Discuss: DEV
⚡Proof Automation
[Blog Post] Kubernetes Informers are so easy… to misuse!
reddit.com·11h·
Discuss: r/kubernetes
🌊Streaming Systems
ISACL: Internal State Analyzer for Copyrighted Training Data Leakage
arxiv.org·1d
💻Local LLMs
M^3-GloDets: Multi-Region and Multi-Scale Analysis of Fine-Grained Diseased Glomerular Detection
arxiv.org·1d
🕳️Persistent Homology
Popsicle: Linux Rust utility for flashing multiple USB devices in parallel
github.com·1h·
Discuss: Hacker News
🔬Floppy imaging
Best 10 AI Coding Sites in 2025: Which One Should You Trust?
medium.com·1d·
Discuss: Hacker News
🚀Indie Hacking
Ask HN: How do you deal with the fear of installing potentially risky tools?
news.ycombinator.com·15h·
Discuss: Hacker News
🛡️CLI Security
modelSolver: A Symbolic Model-Driven Solver for Power Network Simulation and Monitoring
arxiv.org·1d
✨Algebraic Effects
Effective Clustering for Large Multi-Relational Graphs
arxiv.org·1d
🌊Spectral Clustering
On the Algorithmic Bias of Aligning Large Language Models with RLHF: Preference Collapse and Matching Regularization
arxiv.org·1d
🧮Kolmogorov Bounds