Software–Defined Ground Penetrating Radar Using COTS SDRs and GNU Radio
events.gnuradio.org·3d·
Discuss: Hacker News
💎Refinement Types
Microsoft commits to European interoperability in a groundbreaking agreement
neowin.net·2d·
Discuss: Hacker News
🔄Reproducible Builds
Responsiveness variability during anaesthesia and differences in brain structure
pubmed.ncbi.nlm.nih.gov·17h·
Discuss: Hacker News
🐫OCaml
Throttling AI bot traffic in ProcessWire
processwire.com·2d·
Discuss: Hacker News
📡Network Protocol Design
An Eruption of Assassinations
peterturchin.substack.com·1d·
Discuss: Substack
🩹Self-Healing Systems
When AI Sells You What You Want
kinduff.com·1d·
Discuss: Hacker News
💾Retro Computing
Holding It Together
onelook.com·5d·
Discuss: Hacker News
📝Term Rewriting
Patient-reported treatment outcomes in ME/CFS and long Covid
pnas.org·15h·
Discuss: Hacker News
🩹Self-Healing Systems
Care about keeping your design files clean (2018)
monzo.com·4d·
🧩Separation Logic
Can Your Team Pass the Elevator Test? (2007)
blog.codinghorror.com·5d·
Discuss: Hacker News
🧪Property-Based Testing
Beyond the surface - Exploring attacker persistence strategies in Kubernetes
raesene.github.io·3d·
Discuss: Hacker News
Kubernetes
On the Bear Blog license change
grizzlygazette.bearblog.dev·2d·
Discuss: Hacker News
🔬Unikernels
A California bill that would regulate AI companion chatbots is close to becoming law
techcrunch.com·3d·
Discuss: Hacker News
🤖Program Synthesis
Omarchy on CachyOS
github.com·10h·
Discuss: Hacker News
💾Retro Computing
Orc Protocol: Heavier than IRC, lighter than XMPP
github.com·4d·
Discuss: Hacker News
🌐NetworkProtocols
Exploring approaches to computational representation and classification of user-generated meal logs
arxiv.org·6d
📚Automata Learning
Chatbot To Help Patients Understand Their Health
arxiv.org·6d
📚Automata Learning
Git's hidden simplicity: what's behind every commit
allvpv.substack.com·2d·
Discuss: Substack
🔄Reproducible Builds