Rize.io Productivity Measurement and Tracking for Your PC or Mac
rize.io·1d·
Discuss: Hacker News
👁️System Observability
Setting Up a Greenfield Project on AWS
newsletter.masterpoint.io·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Wrote a deep dive on LLM tool calling with step-by-step REST and Spring AI examples
muthuishere.medium.com·1d·
Discuss: Hacker News, r/LocalLLaMA, r/programming
🔍Formal Verification
Stigmergy
en.wikipedia.org·2d·
Discuss: Hacker News
🎮Verification Games
Little adventure in pursuit of errors. The Battle for Wesnoth!
pvs-studio.com·12h·
Discuss: r/cpp, r/programming
🎮Verification Games
Show HN: GrokVocab – I Built a Vocabulary App Without Flashcards or Memorization
grokvocab.com·2d·
Discuss: Hacker News
🎮Verification Games
Spreadsheets Die Hard
betterthanrandom.substack.com·10h·
Discuss: Substack
👁️System Observability
Show HN: LlamaFarm – Working on binary AI Project deployment – (early preview)
github.com·4d·
Discuss: Hacker News
✓Automated Theorem Proving
go-dev-frame/sponge
github.com·22h·
Discuss: Hacker News
⎈Kubernetes
Computational algorithm for downward continuation of gravity anomalies
arxiv.org·20h
✓Automated Theorem Proving
As an app developer, how can you generate passive income?
news.ycombinator.com·22h·
Discuss: Hacker News
❄️Nixified Development
Chesterton’s Fence and paralysing your organization
frederickvanbrabant.com·11h·
Discuss: Hacker News, r/programming
🧱Immutable Infrastructure
Translation using deep neural networks – Transformer
aamster.github.io·9h·
Discuss: Hacker News
➡️Category Theory
Apple, Mastercard, and Visa convince judge to dismiss collusion lawsuit
9to5mac.com·4d
💾Retro Computing
AWS launches Kiro, its Cursor clone
kiro.dev·9h·
Discuss: Hacker News
🔄Reproducible Builds
An Emulated Stroll Down Macintosh Memory Lane
hackaday.com·4d
💾Retro Computing
HBO Max Name Returns After Two Years as Max
macrumors.com·5d·
Discuss: Hacker News
🔬Unikernels
iPhone Fold production line almost ready for next year’s launch – report
9to5mac.com·4d
💾Retro Computing
The computational cost of corporate rebranding
news.ycombinator.com·3d·
Discuss: Hacker News
🍎XNU Internals
Sysbox Container Runtime
github.com·9h·
Discuss: Hacker News
⎈Kubernetes