Off-Grid Boat Data with Signal K and Meshtastic
signalk.org·1d·
Discuss: Hacker News
📦Unikernel Systems
What Is the Fourier Transform?
hackaday.com·1d
🧮Lambda Calculus
NVIDIA Accelerated IO (XLIO)
docs.nvidia.com·2d·
Discuss: Hacker News
🍎XNU Internals
Not Reading the News – Mo's Blog
mo42.bearblog.dev·52m·
Discuss: Hacker News
🩹Self-Healing Systems
Fibonacci Funhouse: Exploring Ruby Algorithms for Fibonacci Numbers
rorvswild.com·4d·
Discuss: Hacker News
🏹Effect Systems
Effects of natural extracts in cognitive function: systematic meta-analysis
frontiersin.org·1d·
Discuss: Hacker News
🧠Automated Reasoning
We're training a text-to-image model from scratch and open-sourcing it
photoroom.com·2d·
Discuss: Hacker News
💾Retro Computing
Weird CPU architectures, the MOV only CPU (2020)
justanotherelectronicsblog.com·5d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Close the loop: analytics that teach your chatbot to fix itself
hoverbot.ai·4d·
Discuss: Hacker News
👁️System Observability
Show HN: SARE, a Hybrid Quantum-Safe Encryption System Implemented in Rust
github.com·3d·
Discuss: Hacker News
📦Unikernel Systems
Beyond Markdown (2018)
johnmacfarlane.net·6d·
Discuss: Lobsters, Hacker News, Hacker News
🧩Parser Combinators
Where are the security advisories of the recently compromised NPM packages?
gribnau.dev·1d·
Discuss: Hacker News
❄️Nixified Development
ReBaNO: Reduced Basis Neural Operator Mitigating Generalization Gaps and Achieving Discretization Invariance
arxiv.org·2d
🐫OCaml
Why OpenAI’s solution to AI hallucinations would kill ChatGPT tomorrow
theconversation.com·2d·
Discuss: Hacker News
📚Automata Learning
A Rapid Review Regarding the Concept of Legal Requirements in Requirements Engineering
arxiv.org·5d
⚙Operational Semantics
A Secure Sequencer and Data Availability Committee for Rollups (Extended Version)
arxiv.org·5d
🎮Verification Games
Targeting 25 years of Windows with Visual Studio 2019 (2021)
colinfinck.de·6d·
Discuss: Hacker News
🔧Unikernel Development
Identifying Key Features for Establishing Sustainable Agro-Tourism Centre: A Data Driven Approach
arxiv.org·2d
➡️Category Theory
AI Testing Tools in 2025: What works and what doesn’t
bug0.com·5d·
Discuss: r/programming
👁️System Observability
Billion-Line Days Demand Billion-Test Nights
momentic.ai·5d·
Discuss: Hacker News
🤖Program Synthesis