MadeYouReset: Turning HTTP/2 Server Against Itself
imperva.com·2d·
Discuss: Lobsters, r/programming
🌐NetworkProtocols
Intriguing Properties of GPT-OSS Jailbreaks
xlabaisecurity.com·3d·
Discuss: Hacker News
🌐NetworkProtocols
The fixed length bottleneck and the feed forward network
gilesthomas.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
The Equality Delete Problem in Apache Iceberg
risingwave.com·2d·
Discuss: Hacker News
🧱Immutable Infrastructure
Pace Layering an Application Portfolio
frederickvanbrabant.com·5d·
Discuss: Hacker News, r/programming
🔄Reproducible Builds
Show HN: Actionable AI for Founders: Turning Ideas into Shippable Plans
intutivai.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Implemented the algorithm that finally beats Dijkstra after 65 years - 26% faster on real graphs
reddit.com·2d·
Discuss: r/programming
🔄Finite State Machines
Scaling Interpretability
anthropic.com·5d·
Discuss: Hacker News
🐫Embedded OCaml
Automation Tools Are Fast... Until You Pay
medium.com·6d·
Discuss: Hacker News
💾Retro Computing
Liveness analysis with Datalog
bernsteinbear.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🔬Static Analysis
CutVEM: Conforming virtual element method on embedded domains with shape-agnostic element agglomeration
arxiv.org·1d
🧱Immutable Infrastructure
Show HN: Astro Personal Portfolio and Blog with Perfect Lighthouse Scores
github.com·1d·
Discuss: Hacker News
🍎Apple
Three big lessons from the GPT-5 backlash
platformer.news·4d·
Discuss: Hacker News
🔬Unikernels
Efficient Volume Computation for SMT Formulas
arxiv.org·2d
✓Automated Theorem Proving
Mathematical Computation and Reasoning Errors by Large Language Models
arxiv.org·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Stay calm. Keep going. AI must wait or the bubble will burst
smartmic.bearblog.dev·3d·
Discuss: Hacker News
⚙️PL Implementation
Considering a AMD Ryzen 7600X unsure if it plays well with Unraid / TrueNAS or Debian 13?
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Someone talk me out of this...
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Learning Optimal and Fair Policies for Online Allocation of Scarce Societal Resources from Data Collected in Deployment
arxiv.org·3d
🏹Effect Systems
Physiological Signal-Driven QoE Optimization for Wireless Virtual Reality Transmission
arxiv.org·2d
⚙️Operating System Design