danielfox's Top FindsLoading...
Porting Lean to the ESP32-C3 RISC-V Microcontroller
kuruczgy.com·26m·
Discuss: Hacker News
🦀Rust
Flag this post
Time, Layers, and Climate Futures
worldsensorium.com·1d·
Discuss: Hacker News
⚙Complex ststems
Flag this post
Sign up or login to customize your feed and get personalized topic recommendations
Sign UpLogin
Cursor's Composer-1 vs. Windsurf's SWE-1.5: The Rise of Vertical Coding Models
inkeep.com·3h·
Discuss: Hacker News
📊Streaming ML
Flag this post
From hours to seconds: AI tools to detect animal calls
seangoedecke.com·2d·
Discuss: Hacker News
📊Streaming ML
Flag this post
ClickHouse welcomes LibreChat: Introducing the open-source Agentic Data Stack
clickhouse.com·16h·
Discuss: Hacker News, r/LLM, r/LocalLLaMA
📊Streaming ML
Flag this post
Absurd Workflows: Durable Execution With Just Postgres
lucumr.pocoo.org·2d·
Discuss: Lobsters, Hacker News
🦀Rust
Flag this post
The Rosetta Code of Being – When Philosophy Compiles Itself
ontocode.org·8h·
Discuss: Hacker News
⚙Complex ststems
Flag this post
My First Multi-GPU Kernel: Writing All-to-All for AMD MI300X
gau-nernst.github.io·2d·
Discuss: Hacker News
📊Streaming ML
Flag this post
Viruses of the Mind
grokipedia.com·2d·
Discuss: Hacker News
⚙Complex ststems
Flag this post
Best Digital Marketing Institute in Allahabad – Ndmit Prayagraj
ndmit.com·2d·
Discuss: Hacker News
📊Streaming ML
Flag this post
Metaphors for Biology: Sizes
asimov.press·1d·
Discuss: Hacker News
🌡Entropy
Flag this post
AI Uses Functions to Fetch Real Data (Not Just Chat)
farukalpay.substack.com·12h·
Discuss: Substack
📊Streaming ML
Flag this post
From Signals to Reliability: SLOs, Runbooks and Post-Mortems
fatihkoc.net·1d·
Discuss: Hacker News, r/devops
🌐Distributed Systems
Flag this post
Video Invisible Watermarking at Scale
engineering.fb.com·7h·
Discuss: Hacker News
📊Streaming ML
Flag this post
Lazy loading isn't the magic pill to fix AI Inference
tensorfuse-docs.mintlify.dev·11h·
Discuss: Hacker News
Flag this post
ZkML Breakthrough: 13B Models Verified in 15 Minutes
lightcapai.medium.com·2d·
Discuss: Hacker News
📊Streaming ML
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
cacm.acm.org·2d·
Discuss: Hacker News
✅Formal Verification
Flag this post
Show HN: Refusal-Aware Logical Framework for LLMs
github.com·10h·
Discuss: Hacker News
✅Formal Verification
Flag this post
Doo: A Simple, Fast Programming Language Built on Rust and LLVM
news.ycombinator.com·1d·
Discuss: Hacker News
🦀Rust
Flag this post
AI Will Flatten Workforce Inequality–If We're Honest About What That Means
danielkliewer.com·12h·
Discuss: Hacker News
⚙Complex ststems
Flag this post