Real-time Inference, Event Processing, Online Learning, Data Pipelines

Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·11h·
Discuss: Hacker News
🦀Rust
Flag this post
Is 'human' a risky AGI target
nullsy.com·1d·
Discuss: Hacker News
Complex ststems
Flag this post
Show HN: AI agents running on 2011 Raspberry Pi with pure PHP – no GPU
github.com·10h·
Discuss: Hacker News
🌐Distributed Systems
Flag this post
Nonlinear dynamics of multi-omics profiles during human aging
nature.com·2d·
Discuss: Hacker News
🧬Computational Biology
Flag this post
How not to get replaced by a GPU
augmentedswe.com·1d·
Discuss: Hacker News
Complex ststems
Flag this post
Context engineering
chrisloy.dev·3d·
Complex ststems
Flag this post
Async/Await is finally back in Zig
charlesfonseca.substack.com·1d·
Discuss: Substack
🦀Rust
Flag this post
Cure – Verification-First Programming for the Beam
cure-lang.org·9h·
Discuss: Hacker News
Formal Verification
Flag this post
Walkie Talkie, an open source peer-to-peer iOS communicator
github.com·4h·
Discuss: Hacker News
🔺Computational Geometry
Flag this post
Show HN: GPU-accelerated sandboxes for running AI coding agents in parallel [video]
youtube.com·2d·
Discuss: Hacker News
🧠Machine learning
Flag this post
Cocoon from Telegram: A Decentralized AI Network That Pays GPU Owners in Crypto
decrypt.co·10h·
Discuss: Hacker News
🌐Distributed Systems
Flag this post
pg_stat_plans: Track per-plan call counts, execution times and EXPLAIN texts
github.com·3h·
Discuss: Hacker News
🦀Rust
Flag this post
Evolving PHP Streams for Async, Security, and Performance
thephp.foundation·3d·
Discuss: Hacker News
🌐Distributed Systems
Flag this post
A Minimal Route to Transformer Attention
neelsomaniblog.com·4d·
Discuss: Hacker News
🧠Machine learning
Flag this post
Show HN: Hot or Slop – Visual Turing test on how well humans detect AI images
hotorslop.com·3d·
Discuss: Hacker News
🧠Machine learning
Flag this post
‘A lot of this is speculative’: faith and fear mix amid $3tn global datacentre boom
theguardian.com·15h·
Discuss: Hacker News
🌐Distributed Systems
Flag this post
Machine Scheduler in LLVM – Part II
myhsu.xyz·21h·
Discuss: Hacker News
Formal Verification
Flag this post
Quindar Tone Generator
curiousmarc.com·5h·
Discuss: Hacker News
🌐Distributed Systems
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
cacm.acm.org·12h·
Discuss: Hacker News
Formal Verification
Flag this post
Improving in chess is hard. I built the world's most accurate human-like chess AI to help me.
mbuffett.com·2d·
Discuss: Hacker News
🧠Machine learning
Flag this post