ddavis's Top FindsLoading...
The Write Last, Read First Rule
tigerbeetle.com·18h·
Discuss: Hacker News
🧵Async
Flag this post
Porting Lean to the ESP32-C3 RISC-V Microcontroller
kuruczgy.com·1d·
Discuss: Lobsters, Hacker News
🧵Async
Flag this post
Show HN: Kumi – a portable, declarative, functional core for business logic
kumi-play-web.fly.dev·23h·
Discuss: Hacker News
🧵Async
Flag this post
Show HN: Yansu, Serious Coding
twitter.com·23h·
Discuss: Hacker News
Flag this post
We Started with Jax but Moved to PyTorch
mlechner.substack.com·1h·
Discuss: Substack
Flag this post
Myers Diff for Tab Management: Part 2
deontevanterpool.com·18h·
Discuss: Hacker News
Flag this post
Show HN: Polyglot standard library HTTP client C/C++/Rust/Python and benchmarks
github.com·2d·
Discuss: Hacker News, Hacker News
🧵Async
Flag this post
A Guide to My Organizational Workflow
cachestocaches.com·18h·
Discuss: Hacker News
Flag this post
Pain Points of OCaml
quamserena.com·2d·
Discuss: Lobsters, Hacker News
⌨emacs
Flag this post
Can-t stop till you get enough
cant.bearblog.dev·4d·
Discuss: Hacker News
🦀rust
Flag this post
original ↗
chrisdeluca.me·18h·
Discuss: Hacker News
⌨emacs
Flag this post
Why is AI Generated Rust slow when compared with Go/C#/Node/JavaScript
srid68.github.io·2d·
Discuss: Hacker News
🦀rust
Flag this post
Fil-C
graydon2.dreamwidth.org·19h·
Discuss: Lobsters, Hacker News
⌨emacs
Flag this post
SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
dl.acm.org·1h·
Discuss: Hacker News
🧵Async
Flag this post
Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·2d·
Discuss: Hacker News
🧵Async
Flag this post
Coding on Paper
thepalindrome.org·4h·
Discuss: Hacker News
Flag this post
CodeWeavers Launches CrossOver Preview for Linux ARM64
codeweavers.com·2h·
Discuss: Hacker News
Flag this post
Sign up or login to customize your feed and get personalized topic recommendations
Sign UpLogin
Developing desktop apps from scratch: A feature checklist
alek-tron.com·21h·
Discuss: Hacker News
Flag this post
Disassembling Terabytes of Random Data with Zig and Capstone to Prove a Point
jstrieb.github.io·1d·
Discuss: Lobsters, Hacker News, r/Zig, r/programming
Flag this post
Bikeshedding `Handle` and other follow-up thoughts
smallcultfollowing.com·1d·
Discuss: Lobsters, Hacker News
🦀rust
Flag this post