Growing more food does not mean we always need more and more inputs
sustainabilitybynumbers.com·14h·
Discuss: Hacker News
🏹Effect Systems
The Wireless Cookbook (Early Access)
nostarch.com·2d·
Discuss: Hacker News
📡Network Protocol Design
Cabal 3.16 Release
blog.haskell.org·5d·
Discuss: Hacker News
🐫OCaml
Linux dev quits after "personal attacks" from user over Kapitano antivirus tool
neowin.net·2d·
Discuss: Hacker News
❄️Nixified Development
Protect the Freedom Money (Monero)
zola.ink·10h·
Discuss: Hacker News
🍎XNU Internals
Decline in Insect Populations
en.wikipedia.org·14h·
Discuss: Hacker News
🍎Apple
Adding more CPU cores won't help if architecture is fundamentally sequential
signoz.io·6d·
Discuss: Hacker News, r/programming
👁️System Observability
Improved homomorphic evaluation for hash function based on TFHE (2024)
cybersecurity.springeropen.com·5d·
Discuss: Hacker News
🐫OCaml
v4.0 Beta 1 Now Available
shirtpocket.com·5d·
Discuss: Hacker News
❄️Nixified Development
AI Is Eating the Internet
fika.bar·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
I'm 22 and spent a month optimizing CUDA kernels on my 5-year-old laptop. Results: 93K ops/sec beating NVIDIA's cuBLAS by 30-40%
github.com·5d·
Discuss: r/programming
👁️System Observability
Event Sourcing as the Backbone of AI Memory
tracardi.com·6d·
Discuss: Hacker News
👁️System Observability
Blame a leak for Microsoft SharePoint attacks, researcher insists
theregister.com·4d·
Discuss: Hacker News
👁️System Observability
Hackaday Links: July 27, 2025
hackaday.com·2d
🔬Unikernels
Distilling a Small Utility-Based Passage Selector to Enhance Retrieval-Augmented Generation
arxiv.org·2d
🔠Type-Level Programming
Dark Side of Modalities: Reinforced Multimodal Distillation for Multimodal Knowledge Graph Reasoning
arxiv.org·1d
✓Automated Theorem Proving
Hyperbolic Embeddings for Order-Aware Classification of Audio Effect Chains
arxiv.org·1d
🏹Effect Systems
Conversations over Clicks: Impact of Chatbots on Information Search in Interdisciplinary Learning
arxiv.org·18h
🎮Verification Games
Numerical PDE solvers outperform neural PDE solvers
arxiv.org·18h
🐫OCaml
Semantics versus Identity: A Divide-and-Conquer Approach towards Adjustable Medical Image De-Identification
arxiv.org·18h
🐫OCaml