Humans, not glacial transport, brought bluestones to Stonehenge, new research indicates
phys.org·3h·
Discuss: Hacker News
🛡️seL4
How OpenElections Uses LLMs
thescoop.org·2d·
Discuss: Hacker News
🧪Property-Based Testing
Geany 2.1 is out (now with LSP)
geany.org·1d·
Discuss: Hacker News
🐫Embedded OCaml
Scalable and Modular Architecture for CSS
smacss.com·19h·
Discuss: Hacker News
➡️Category Theory
Monads as Graphs (2019)
neilmitchell.blogspot.com·19h·
Discuss: Lobsters, Hacker News
➡️Category Theory
Understanding Muon: A Revolutionary Neural Network Optimizer
glorious-potato-19.notion.site·2h·
Discuss: Hacker News
📦Unikernel Systems
Scott Hanselman on Tech Industry Promises
blog.marcocantu.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Debian 13.0 Ready To Introduce Formal RISC-V Support But Still Bound By Slow Hardware
phoronix.com·3d·
Discuss: Hacker News
🔬Unikernels
Show HN: I made a scan app in the skeuomorphic style of iOS 6.0
apps.apple.com·3d·
Discuss: Hacker News
🍎Apple
Power Grid Stability: From Generators to Reactive Power
hackaday.com·1d
📡Network Protocol Design
How to Deliver CSU's Gen Ed with AI Microservices
hollisrobbinsanecdotal.substack.com·1d·
Discuss: Substack
🤖Program Synthesis
40% of agentic AI projects are expected to fail by 2027
techolution.com·1d·
Discuss: Hacker News
⚙️PL Implementation
8-Core ARM Pocket Computer Runs NixOS
hackaday.com·5d
🔬Unikernels
Quantum Shadows: The Dining Information Brokers
arxiv.org·2d
🎮Verification Games
As AI Plans to Make Us Stupid, Telco Jobs Keep Disappearing
lightreading.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Advice for building Home Server
reddit.com·4d·
Discuss: r/homelab
🏠HomeLab
Current setup died, looking to upgrade on the cheap
reddit.com·4d·
Discuss: r/homelab
🏠HomeLab
Strategic Integration of AI Chatbots in Physics Teacher Preparation: A TPACK-SWOT Analysis of Pedagogical, Epistemic, and Cybersecurity Dimensions
arxiv.org·1d
🎮Verification Games
How Teaching of Java is about to change (Or How Learning Java Is About To Become Way Easier)
medium.com·2d·
Discuss: r/programming
🔬Static Analysis
On Logical Extrapolation for Mazes with Recurrent and Implicit Networks
arxiv.org·2d
🎮Verification Games