Software–Defined Ground Penetrating Radar Using COTS SDRs and GNU Radio
events.gnuradio.org·7h·
Discuss: Hacker News
💎Refinement Types
FTC Launches Inquiry into AI Chatbots Acting as Companions
ftc.gov·1d·
Discuss: Hacker News
🌐NetworkProtocols
Becoming the person who does the thing
fredrivett.com·11h·
Discuss: Hacker News
🏔️climbing
The problem with Rust and open source rewrites
noureddine.org·13h·
Discuss: r/rust
⚙️PL Implementation
The Twin Users of the Future – Human and Agents
shouche.in·2h·
Discuss: Hacker News
⚙️Operating System Design
Adventures in C++ Game Architecture
hoboker.substack.com·4d·
Discuss: Substack, r/programming
🔬Static Analysis
Reversing the licensing on a Quantum Scalar i40
blackjack.codes·1d·
Discuss: Hacker News
🔧Unikernel Development
Beyond the Code: Lessons That Make You Senior Software Engineer
medium.com·2d·
Discuss: r/programming
📊Runtime Verification
“GoLand Can Do That?” Ten Secret Superpowers You Might Not Know
blog.jetbrains.com·4d·
Discuss: Lobsters, Hacker News, r/golang
📐Denotational Semantics
Round and Round with a Tape Delay Synth
hackaday.com·1d
💾Retro Computing
How many federal agencies does it take to regulate AI? Enough to hold back implementation
theregister.com·2d·
Discuss: Hacker News
🤖Program Synthesis
Wearable microfluidic biosensor for profiling of stress hormones in sweat
science.org·4h·
Discuss: Hacker News
🩹Self-Healing Systems
A.I. As Normal Technology (Derogatory)
maxread.substack.com·2d·
Discuss: Substack
🔬Unikernels
How OpenAI Operator Works with AI Agents
anchorbrowser.io·2d·
Discuss: Hacker News
🧠Automated Reasoning
Performance of Conformal Prediction in Capturing Aleatoric Uncertainty
arxiv.org·3d
🧠Automated Reasoning
A Secure Sequencer and Data Availability Committee for Rollups (Extended Version)
arxiv.org·3d
🎮Verification Games
The Case for Mixed Deployment
lesswrong.com·1d
🩹Self-Healing Systems
Augmenting Human-Centered Racial Covenant Detection and Georeferencing with Plug-and-Play NLP Pipelines
arxiv.org·3d
🧩Parser Combinators
AI-in-the-Loop: Privacy Preserving Real-Time Scam Detection and Conversational Scambaiting by Leveraging LLMs and Federated Learning
arxiv.org·3d
🌐NetworkProtocols
Orc Protocol: Heavier than IRC, lighter than XMPP
github.com·1d·
Discuss: Hacker News
🌐NetworkProtocols