Ivermectin could help control malaria transmission by killing the mosquitoes
ndm.ox.ac.uk·1d·
Discuss: Hacker News
🧩Microservices
Human exposure to PM10 microplastics in indoor air | PLOS One
journals.plos.org·2d·
Discuss: Hacker News
📊Performance Profiling
Albert Robida's Electric Life l: A 19th century vision of the future
worldhistory.substack.com·9h·
Discuss: Substack
🌐Distributed systems
AI infrastructure company fal raises $125 million, valuing company at $1.5 billion
reuters.com·3d·
Discuss: Hacker News
🧩Microservices
Free Tool Autoswagger Finds the API Flaws Attackers Hope You Miss
bleepingcomputer.com·6d·
Discuss: Hacker News
🔐Security Patterns
Show HN: MagicQuill – Edit Images with AI Brushes
magicquillai.app·1d·
Discuss: Hacker News
💻Programming languages
BGP Alternative for secure, private multi-cloud environments
nobgp.com·6d·
Discuss: Hacker News
🌐Distributed systems
Matrix.org Homeserver Terms (beginning 7-Aug-2025)
matrix.org·5d·
Discuss: Hacker News
🌐Distributed systems
We Asked 100+ AI Models to Write Code. Here’s How Many Failed Security Tests
veracode.com·2d·
Discuss: Lobsters, Hacker News
💻Programming languages
An Open Letter to Webflow: The Platform Stability Crisis
discourse.webflow.com·4d·
Discuss: Hacker News
📮Message Queues
Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification
harmonic.fun·5d·
Discuss: Hacker News
📐Formal Methods
Five children see HIV viral loads vanish after taking antiretroviral drugs
arstechnica.com·1d
🧩Microservices
Show HN: Circle Crop Photo in 1 Click (No Upload, No Watermark)
circlecropphoto.com·2d·
Discuss: Hacker News
🏹Apache Arrow
Proving theorems using Julia's types (or, a mini-Lean in Julia)
lmao.bearblog.dev·5d·
Discuss: Hacker News
📐Formal Methods
Verification debt is the AI era's technical debt
kevinbrowne.ca·2d·
Discuss: Hacker News
📐Formal Methods
At 10 years old, Ethereum's future is brighter than ever despite recent setbacks
cnbc.com·4d·
Discuss: Hacker News
🏹Apache Arrow
Disposable Code Is Here to Stay, but Durable Code Is What Runs the World
honeycomb.io·4d·
Discuss: Hacker News
💻Programming languages
Quoting Christina Wodtke
simonwillison.net·3d
🏹Apache Arrow
Toward Holistic Evaluation of LLMs: Integrating Human Feedback with Traditional Metrics
hackernoon.com·2d
💻Programming languages
Show HN: Fiblet- We replaced chaotic inbox into smart tabs
news.ycombinator.com·3d·
Discuss: Hacker News
🌊Stream Processing