Effects of natural extracts in cognitive function: systematic meta-analysis
frontiersin.org·4h·
Discuss: Hacker News
🧠Automated Reasoning
What Is the Fourier Transform?
hackaday.com·6h
🧮Lambda Calculus
NVIDIA Accelerated IO (XLIO)
docs.nvidia.com·1d·
Discuss: Hacker News
🍎XNU Internals
Get Excited About Postgres 18
crunchydata.com·20h·
🔄Reproducible Builds
Fibonacci Funhouse: Exploring Ruby Algorithms for Fibonacci Numbers
rorvswild.com·2d·
Discuss: Hacker News
🏹Effect Systems
The Real Reasons Why Developers Burnout
jcmartinez.dev·1d·
Discuss: r/programming
🔄Reproducible Builds
Weird CPU architectures, the MOV only CPU (2020)
justanotherelectronicsblog.com·3d·
Discuss: Hacker News
🐫Embedded OCaml
Lessons learned from a 100 blog posts on AI
frontierai.substack.com·1d·
Discuss: Substack
🧠Automated Reasoning
Reasonably accurate, privacy conscious, cookieless, visitor tracking for WordPress
shkspr.mobi·1d·
🧮Lambda Calculus
Cross-platform gRPC Test tool
reddit.com·1d·
Discuss: r/programming
📺Vintage Apple
Tunneling
github.com·17h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
I Built a Handy macOS CLI in 2 Hours with Zero Swift Knowledge
zbeegnew.dev·3d·
Discuss: Hacker News
⚙️PL Implementation
FastComments is Now Globally Distributed (and more rusty)
blog.fastcomments.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
We're training a text-to-image model from scratch and open-sourcing it
photoroom.com·18h·
Discuss: Hacker News
💾Retro Computing
We engineered RAG to be 50% faster
elevenlabs.io·23h·
Discuss: Hacker News
🧩Parser Combinators
On the Bit Size of Sum-of-Squares Proofs for Symmetric Formulations
arxiv.org·4d
🧮Lambda Calculus
Beyond Markdown (2018)
johnmacfarlane.net·5d·
🧩Parser Combinators
Cutting-Edge AI vs. Solid Architecture: Which Will Transform Your Business?
blog.mangoteque.com·1d·
Discuss: Hacker News
👁️System Observability
Show HN: SARE, a Hybrid Quantum-Safe Encryption System Implemented in Rust
github.com·1d·
Discuss: Hacker News
📦Unikernel Systems
Proof-Carrying Numbers (PCN): A Protocol for Trustworthy Numeric Answers from LLMs via Claim Verification
arxiv.org·4d
🌐NetworkProtocols