The Ps, the Qs, and the War
libertiesjournal.com·21h·
Discuss: Hacker News
🛡️seL4
Show HN: RewriteBar v2.13.2: Review Window Improvements, Localizations and More
rewritebar.com·14h·
Discuss: Hacker News
✓Automated Theorem Proving
I Fixed Ruby's Most Annoying Problem: 60-Second Gem Installs
mensfeld.pl·5d·
Discuss: Lobsters, Hacker News, r/programming
❄️Nixified Development
GitHub Copilot app modernization for .NET enters public preview
github.blog·9h·
Discuss: Hacker News
🔄Reproducible Builds
AI Assistant Can Slow Experience Programmers Down
saysomething.hashnode.dev·2d·
Discuss: r/programming
✓Automated Theorem Proving
Show HN: I made an extension for VSCode that integrates opencode
marketplace.visualstudio.com·4d·
Discuss: Hacker News
🔄Reproducible Builds
Compression culture is making you stupid and uninteresting
maalvika.substack.com·1d·
Discuss: Substack
➡️Category Theory
You Can't Buy Integration (2021)
martinfowler.com·4d·
Discuss: Hacker News
🔄Reproducible Builds
PostgreSQL Schema Management via Source Files
github.com·4d·
Discuss: Hacker News
🔤DSLs
Can We Move Freely in NEOM's The Line? An Agent-Based Simulation of Human Mobility in a Futuristic Smart City
arxiv.org·1d
🖥️Self-hosted Infrastructure
Enhancing Generalization in PPG-Based Emotion Measurement with a CNN-TCN-LSTM Model
arxiv.org·1d
🐫Embedded OCaml
Window exhausted enclosed rack, finally complete!
reddit.com·2h·
Discuss: r/homelab
👁️System Observability
Polarforming Design for Movable Antenna Systems
arxiv.org·18h
📡Network Protocol Design
The Big OOPs: Anatomy of a Thirty-Five Year Mistake
computerenhance.com·6d·
Discuss: Hacker News, Hacker News, Hacker News
🐫Embedded OCaml
QUTCC: Quantile Uncertainty Training and Conformal Calibration for Imaging Inverse Problems
arxiv.org·1d
➡️Category Theory
Information-Theoretic Aggregation of Ethical Attributes in Simulated-Command
arxiv.org·5d
✓Automated Theorem Proving
Claude Code Spec Workflow: Automated Spec-Driven Workflow for Claude Code
github.com·2d·
Discuss: Hacker News, Hacker News
🔄Reproducible Builds
Gait Transitions in Load-Pulling Quadrupeds: Insights from Sled Dogs and a Minimal SLIP Model
arxiv.org·1d
🐫OCaml
Can AR-Embedded Visualizations Foster Appropriate Reliance on AI in Spatial Decision Making? A Comparative Study of AR See-Through vs. 2D Minimap
arxiv.org·1d
🎮Verification Games
SIOF (Scheme in One File) – A Minimal R7RS Scheme System
github.com·4d·
Discuss: Hacker News
🐫OCaml