Software–Defined Ground Penetrating Radar Using COTS SDRs and GNU Radio
events.gnuradio.org·2d·
Discuss: Hacker News
💎Refinement Types
How older parents divorce affects their adult children
bbc.com·8h·
Discuss: Hacker News
💾Retro Computing
Proton Mail Suspended Journalist Accounts at Request of Cybersecurity Agency
theintercept.com·2d·
Discuss: Hacker News, r/privacy
🍎Apple
Video games are taking longer to make, but why?
bbc.com·1d·
Discuss: Hacker News
🎮Verification Games
Gauss, an Agent for Autoformalization
math.inc·3d·
Discuss: Hacker News, Hacker News, Hacker News
✓Automated Theorem Proving
Holding It Together
onelook.com·5d·
Discuss: Hacker News
📝Term Rewriting
Hadley Cell
en.wikipedia.org·1d·
Discuss: Hacker News
🩹Self-Healing Systems
The Grammar Checker That Gets Developers
wearefounders.uk·3d·
Discuss: Hacker News
🧩Parser Combinators
FastComments is Now Globally Distributed (and more rusty)
blog.fastcomments.com·4d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
M5 MacBook Pro: Here’s what to expect
9to5mac.com·10h
🍎Apple
Musical Motors, BLDC Edition
hackaday.com·1d
🔧Unikernel Development
Which SBCs would you recommend for a beginner DIY NAS?
reddit.com·4d·
Discuss: r/homelab
🏠HomeLab
HybridPetya: More proof that Secure Boot bypasses are not just an urban legend
theregister.com·2d·
Discuss: Hacker News
🔬Unikernels
As We May Think No More: From Bush's Memex to AI Alignment
memoryleak.substack.com·2d·
Discuss: Substack
🩹Self-Healing Systems
ZynorRAT technical analysis: Reverse engineering a go-based remote access trojan
sysdig.com·4d·
Discuss: Hacker News
🌐NetworkProtocols
Writing effective tools for LLM agents–using LLM agents
anthropic.com·3d·
Discuss: Hacker News
💎Refinement Types
How to Make a Simple MOSFET Tester
hackaday.com·1d
🧪Property-Based Testing
Show HN: Vue-Markdown-render – up to 100× faster streaming Markdown for Vue 3
github.com·18h·
Discuss: Hacker News
🐳Containerization
Looking for advice: how to properly separate my homelab from my home network?
reddit.com·4d·
Discuss: r/homelab
🏠HomeLab
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·4d·
Discuss: Hacker News
💎Refinement Types