Colonel Panic's OUI-SPY Is a Slick Bluetooth Low Energy Scanner — Or a "Foxhunting" Handset
hackster.io·5d·
Discuss: Hacker News
🍎Apple
Spate of hoax calls about active shooters stir fear at college campuses around the US
apnews.com·5h·
Discuss: Hacker News
🌐NetworkProtocols
As Measles Exploded Officials in Texas Looked to CDC Scientists. No One Answered
kffhealthnews.org·1d·
Discuss: Hacker News
➡️Category Theory
Time Is on My Side
frankchimero.com·6d·
Discuss: Hacker News
❄️Nix
Two laptops, six plugs:The South Korean cafes grappling students who dont leave
bbc.com·3d·
Discuss: Hacker News
🔬Unikernels
MCP, OTAs, and Reshaping Travel
directbooker.com·5d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Show HN: A private automatic travel tracker and life journal for iOS
getacti.app·6d·
Discuss: Hacker News
🍎Apple
Even Amazon Just Got Burned by an AI Security Breach
maybedont.ai·6d·
Discuss: Hacker News
🛡️seL4
Show HN: Graph – turn your ChatGPT into AI-sorted RSS feeds
graph.cx·5d·
Discuss: Hacker News
🍎Apple
Inducible genome-wide mutagenesis for improvement of pDNA production
microbialcellfactories.biomedcentral.com·5d·
Discuss: Hacker News
🤖Program Synthesis
Teaching: A Few Useful Analogies
jonathandinu.com·6d·
Discuss: Hacker News
🔬Static Analysis
Ziptools – Modern zip and unzip replacements
github.com·4d·
Discuss: Hacker News
❄️Nixified Development
Let’s Brief You on Recent Developments for Electrostatic Motors
hackaday.com·5d
🔄Finite State Machines
BLIPs: Bayesian Learned Interatomic Potentials
arxiv.org·6d
🐫OCaml
Turn Down the CVSS Noise: Use AI and Runtime Context to Silence Vulnerability Alarms
thenewstack.io·6d
👁️System Observability
Claude Code creates fictional software
github.com·6d·
Discuss: Hacker News
🛡️seL4
GRILE: A Benchmark for Grammar Reasoning and Explanation in Romanian LLMs
arxiv.org·5d
✓Automated Theorem Proving
Disentangling the Drivers of LLM Social Conformity: An Uncertainty-Moderated Dual-Process Mechanism
arxiv.org·4d
✓Automated Theorem Proving
Physically Plausible Data Augmentations for Wearable IMU-based Human Activity Recognition Using Physics Simulation
arxiv.org·6d
🔠Type-Level Programming
An automatic patent literature retrieval system based on LLM-RAG
arxiv.org·5d
✓Automated Theorem Proving