Joint Commitment to Strengthening Open Research Europe
fwf.ac.at·6d·
Discuss: Hacker News
🌐network programming
Sodium-ion battery maker Natron closes shop
wral.com·4d·
Discuss: Hacker News
⚙️systems programming
Why Probability Is About Theoretical Outcomes, Not Guarantees
nimahejazi.me·3d·
Discuss: Hacker News
✅formal methods
Show HN: CrabCamera – Cross-platform camera plugin for Tauri desktop apps
crates.io·3d·
Discuss: Hacker News
⚙️systems programming
Exploring Interlisp-10 and Twenex
journal.paoloamoroso.com·5d·
Discuss: Hacker News
⚙️systems programming
Nominees: The fastest legal way to lose your company
johnnydoe.is·3d·
Discuss: Hacker News
✅formal methods
The words we use to talk about nature are disappearing. Here’s why that matters.
grist.org·5d·
Discuss: Hacker News
⚙️systems programming
Trends I have noticed over text
endlessfootnote.substack.com·6d·
Discuss: Substack
🐫ocaml
One Indie Dev Bigger Than OpenAI
open-source-ward.com·6d·
Discuss: Hacker News
🔄compilers
Surgeon admits fraud over amputation of own legs
bbc.com·6d·
Discuss: Hacker News, r/news
✅formal methods
The CoPilot productivity paradox
marginalia.nu·5d·
Discuss: Lobsters, Hacker News, Hacker News
⚙️systems programming
Development Speed Has Never Been a Bottleneck
pawelbrodzinski.substack.com·5d·
Discuss: Substack
⚙️systems programming
Career Prep Was Built for a Human-First World, So Now What?
projectbasta.com·4d·
Discuss: Hacker News
🌐network programming
Inflatable tanks and flat-pack guns – inside Ukraine's decoy war
bbc.com·3d·
Discuss: Hacker News
✅formal methods
Noem Fires FEMA Staff for Viewing Racially Charged Porn on Government Devices
dhs.gov·6d·
Discuss: Hacker News
🌐network programming
Jaguar Land Rover Operations 'Severely Disrupted' by Cyberattack
securityweek.com·5d·
Discuss: Hacker News
⚙️systems programming
The Ping Pong Ball Paradox
en.wikipedia.org·4d·
Discuss: Hacker News
✅formal methods
NSF Starts Ramping Up the National Quantum Virtual Laboratory
hpcwire.com·5d·
Discuss: Hacker News
⚙️systems programming
First brain-wide map of decision-making charted in mice
eurekalert.org·5d·
Discuss: Hacker News
⚙️systems programming
Nintendo secures $2 million settlement against Switch modder — Modded Hardware creator agreed to stop selling backup devices, but continued to, prompting lawsui...
tomshardware.com·2d·
Discuss: Hacker News
✅formal methods