GNU Midnight Commander
midnight-commander.org·1d·
Discuss: Hacker News
🍏Darwin
Kioxia developing 100 million IOPS SSD for Nvidia
blocksandfiles.com·3d·
Discuss: Hacker News
🔧Unikernel Development
Calculus Made Easy by Silvanus P. Thompson
calculusmadeeasy.org·4d·
Discuss: Hacker News
⚡Process Calculi
Albania appoints an AI-generated 'minister' to tackle corruption
apnews.com·17h·
Discuss: Hacker News
🐫OCaml
How Buyers Build Their Shortlist – and Why It's So Hard to Break In
learning.propelgrowth.com·1d·
Discuss: Hacker News
🛡️seL4
How Ketamine Works in the Brain and Why It Alters Thought
lightcapai.medium.com·5d·
Discuss: Hacker News
🏹Effect Systems
Bitrig's Swift Interpreter: From Code to Bytecode
bitrig.app·1d·
Discuss: Hacker News
🐫Embedded OCaml
PlayStation 5 Digital Edition with 1TB SSD downgraded to 825GB listed at the same price — CFI-2116 revision emerges overseas on Amazon
tomshardware.com·22h·
Discuss: Hacker News
🔧Unikernel Development
Just Use HTML
gomakethings.com·2d·
Discuss: Hacker News
🧪Property-Based Testing
Chimps consume equivalent of a beer a day in alcohol from fermented fruit
theguardian.com·22h·
Discuss: Hacker News
🧩Parser Combinators
Decompiling the GPL violated Linux kernel using Evolutionary Algorithms
far.chickenkiller.com·6d·
Discuss: Hacker News
🔧Unikernel Development
Inside the Deadly Game of Drone Warfare
theatlantic.com·3d·
Discuss: Hacker News, Hacker News
📡Network Protocol Design
Right-wing extremist violence is more frequent and more deadly than left-wing violence − what the data shows
theconversation.com·21h·
Discuss: Hacker News
➡️Category Theory
An Interview with YouTube CEO Neil Mohan About Building a Stage for Creators
stratechery.com·1d·
Discuss: Hacker News
🍎Apple
In Defense of C++
dayvster.com·4d·
Discuss: Lobsters, Hacker News, r/cpp, r/programming
🔬Static Analysis
Our Jan in Moscow: The secret Russian life of Europe’s most notorious fugitive-turned-spy
theins.press·1d·
Discuss: Hacker News, r/Longreads
🛡️seL4
Ask HN: The quiet demolition of self‑learned skill
news.ycombinator.com·5d·
Discuss: Hacker News
➡️Category Theory
ReBaNO: Reduced Basis Neural Operator Mitigating Generalization Gaps and Achieving Discretization Invariance
arxiv.org·6d
🐫OCaml
Waymo receives permit to operate at SFO
sfstandard.com·2d·
Discuss: Hacker News
🍎Apple
Feasibility-Guided Fair Adaptive Offline Reinforcement Learning for Medicaid Care Management
arxiv.org·6d
📚Automata Learning