New records on Wendelstein 7-X
iter.org·12h·
Discuss: Hacker News
🔍Formal Verification
Private Research Is the New Public Research
bloomberg.com·9h·
Discuss: Hacker News
🧗Climbing Tech
Bundler: Bundler v2.7: last release before Bundler 4
bundler.io·4d·
Discuss: Lobsters, Hacker News
❄️Nixified Development
Solving a Childhood Mystery: How BASIC Games Learned to Win
sublevelgames.github.io·1d·
Discuss: Hacker News
🎮Verification Games
Show HN: Flowchart AI – Write English, get a flowchart
flowchartai.org·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Systemd’s Nuts and Bolts - A Visual Guide to Systemd
medium.com·5d·
Discuss: r/programming
🏠HomeLab
Debian 13.0 Ready To Introduce Formal RISC-V Support But Still Bound By Slow Hardware
phoronix.com·1d·
Discuss: Hacker News
🔬Unikernels
Why isn't packaging part of Python core development?
pydevtools.com·5d·
Discuss: Hacker News
❄️Nixified Development
Polish programmer beats OpenAI's custom AI in 10-hour marathon, wins World Coding Championship — possibly the last human winner
tomshardware.com·2d·
Discuss: Hacker News, r/ArtificialInteligence
🎮Verification Games
Open Source Maintainers Feeling the Weight of the EU’s Cyber Resilience Act
socket.dev·4d·
Discuss: Hacker News
📦Unikernel Systems
Why Scaling Makes Microservices Testing Exponentially Harder
thenewstack.io·5d
👁️System Observability
Deep Generative Methods and Tire Architecture Design
arxiv.org·4d
🐫OCaml
Show HN: Default-Exploitability Context for CISA Known Exploited Vulnerabilities
github.com·4d·
Discuss: Hacker News, Hacker News
🛡️seL4
Rapidus Starts 2nm Gate All Around Prototype Production at IIM-1
servethehome.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
Would this be a good setup for a beginner Homelab?
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab
Need graphics card ideas for old Supermicro X7DWE
reddit.com·2d·
Discuss: r/homelab
💾Retro Computing
A simple AI solver for chromium/selenium
github.com·5h·
Discuss: r/programming
🌐NetworkProtocols
Air Traffic Controller Task Demand via Graph Neural Networks: An Interpretable Approach to Airspace Complexity
arxiv.org·23h
🔄Finite State Machines
AI is a tool to disentangle presentation from content (reimagine and retell)
medium.com·1d·
Discuss: Hacker News
💻CS
Writing the Perfect Question (2010)
codeblog.jonskeet.uk·4d·
Discuss: Hacker News
🔬Static Analysis