These Genetically Engineered Mosquitoes Could Wipe Out Malaria
singularityhub.com·3h·
Discuss: Hacker News
🔬Unikernels
SpaceX's Cellular Starlink Expands to Support IoT Devices
me.pcmag.com·5h·
Discuss: Hacker News
🍎Apple
Big 3 under fire for not paying tower contractors enough
fierce-network.com·1d·
Discuss: Hacker News
🧗Climbing Tech
YouTuber Stores 176KB Drawing of a Bird Inside a Bird's Song
iflscience.com·2d·
Discuss: Hacker News
🍎Apple
The Dartboard Sequence
mathpages.com·1d·
Discuss: Hacker News
🎮Verification Games
Top Anonymous Email Services for Privacy Lovers
cyble.com·6h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Emilio, your AI inbox agent
meetemilio.com·2d·
Discuss: Hacker News
🎮Verification Games
Teach AI your name through someone it trusts
lauradecastro.substack.com·1d·
Discuss: Substack
✓Automated Theorem Proving
On the Edge of Competence
ordep.dev·3d·
Discuss: Hacker News, Hacker News, r/programming
🧗Climbing Tech
Principia Symbients
meaning.systems·2d·
Discuss: Hacker News
🔬Unikernels
Compromised Donor Emails: A post-mortem
pi-hole.net·1d·
Discuss: Hacker News, r/linux
🍎Apple
Built a compiler that supports 50+ languages with cross-language function calls
reddit.com·5d·
Discuss: r/programming
🐫Embedded OCaml
First impressions of ChatGPT study mode
leonfurze.com·2d·
Discuss: Hacker News
🎮Verification Games
clj-coll: Clojure collections and sequences in Common Lisp
github.com·6d·
Discuss: Lobsters, Hacker News
🐫OCaml
Microsoft catches Russian hackers targeting foreign embassies
arstechnica.com·19h·
Discuss: Hacker News, r/technews
🌐NetworkProtocols
American Leadership in the Digital Finance Revolution
sec.gov·22h·
Discuss: Hacker News
💾Retro Computing
Distance and Collision Probability Estimation from Gaussian Surface Models
arxiv.org·1d
🔠Type-Level Programming
Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types
arxiv.org·3d
🐫OCaml
Hebbian Memory-Augmented Recurrent Networks: Engram Neurons in Deep Learning
arxiv.org·2d
🐫Embedded OCaml
Informing AI Risk Assessment with News Media: Analyzing National and Political Variation in the Coverage of AI Risks
arxiv.org·13h
💻CS