Software–Defined Ground Penetrating Radar Using COTS SDRs and GNU Radio
events.gnuradio.org·1d·
Discuss: Hacker News
💎Refinement Types
Solar Power or Forests? Cost-Benefit Analysis of Forest Land Conversion in NE US
sciencedirect.com·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Unicode 17.0 Release Announcement
blog.unicode.org·4d·
🔤DSLs
H100 PCIe – 1.86 TB/s memcpy roofline and 8× uplift
news.ycombinator.com·7h·
Discuss: Hacker News
🔧Unikernel Development
Shape-changing tensegrity-blocks enable self-assembling robotic structuress
nature.com·1d·
Discuss: Hacker News
🩹Self-Healing Systems
Jef Raskin’s cul-de-sac and the quest for the humane computer
arstechnica.com·1d·
📺Vintage Apple
Back from Chaos (1998)
theatlantic.com·3d·
Discuss: Hacker News
🩹Self-Healing Systems
Visualizing the Vocabulary of an LLM
alessiodevoto.github.io·6d·
Discuss: Hacker News
🧩Parser Combinators
Show HN: AI Image Editor with Natural Language Commands
imagable.ai·3d·
Discuss: Hacker News
🍎Apple
The State of AI Gross Margins in 2025
tanayj.com·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Category Theory is Being Co-opted
estebanandthecollective.substack.com·5d·
Discuss: Substack
➡️Category Theory
Putting It All Together: A Concrete Guide to Navigating Disagreements, and Reconnecting With Reality
lesswrong.com·5d
🛡️seL4
Hundreds of new bacteria, and two potential antibiotics, discovered in soil
phys.org·1d·
Discuss: Hacker News
🍏Darwin
New parametric CAD BREP kernel attempt
github.com·5d·
Discuss: Hacker News
🐫OCaml
Your APIs Are Costing More Than You Think
thenewstack.io·1d
👁️System Observability
Spiders and Moral Good
lesswrong.com·3d
🩹Self-Healing Systems
PersonaFuse: A Personality Activation-Driven Framework for Enhancing Human-LLM Interactions
arxiv.org·4d
🐫OCaml
Show HN: SARE, a Hybrid Quantum-Safe Encryption System Implemented in Rust
github.com·2d·
Discuss: Hacker News
📦Unikernel Systems
Taming Spontaneous Stop-and-Go Traffic Waves: A Bifurcation Perspective of A Dynamical Map
arxiv.org·2d
🩹Self-Healing Systems
STL-based Optimization of Biomolecular Neural Networks for Regression and Control
arxiv.org·5d
🔠Type-Level Programming