The Quality of CPI Data Continues to Deteriorate
apolloacademy.com·15h·
Discuss: Hacker News
🎨Rendering
Consider Thruster with Puma on Heroku
island94.org·2d·
Discuss: Hacker News
🔒Cryptography
A Very Tidy Handheld Pi Terminal Indeed
hackaday.com·15h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Show HN: Memory Bank Templates – Cure AI Context Reset Problems
medium.com·28m·
Discuss: Hacker News
✅Formal Methods
Building a fuzzing testing framework with Locust and Docker
lucas-montes.com·5d·
Discuss: Hacker News
🦀Rust
What Color Is Your Hook?
gist.github.com·2h·
Discuss: Hacker News
🦀Rust
Everything I've Learned so far About OpenAI's Agents
leonfurze.com·1d·
Discuss: Hacker News
✅Formal Methods
The Bard and The Shell
journal.bsd.cafe·17m·
Discuss: Lobsters, Hacker News
✅Formal Methods
Show HN: A Modular Phoenix SaaS Starter Kit
phoenixsaaskit.com·22h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Building a custom GUI app for my Hugo blog with Tauri
blog.notmyhostna.me·12h·
Discuss: Hacker News
🦀Rust
Creating a Streaming Iceberg Table in 3 Steps with RisingWave
risingwave.com·2d·
Discuss: Hacker News
🦀Rust
A Different Way to Think about Plane Fitting
tangramvision.com·4d·
Discuss: Hacker News
🎨Rendering
UC Irvine scientists discover new state of quantum matter
news.uci.edu·3d·
Discuss: Hacker News
🔒Cryptography
The Rise of Shippable Microfactories
thesisdriven.com·1d·
Discuss: Hacker News
🦀Rust
Poolside's Journey to AGI
poolside.ai·3d·
Discuss: Hacker News
🔒Cryptography
Encoding SAT in OCaml GADTs
farlow.dev·7h·
Discuss: Hacker News
✅Formal Methods
Can You Trust Your Computer?
gnu.org·58m·
Discuss: Hacker News
🔒Cryptography
Optimizing Tool Selection in LLM Workflows(Part 2): A DSPy and PyTorch Benchmark
viksit.substack.com·4d·
Discuss: Substack
✅Formal Methods
Visualizing TCP
research.swtch.com·1d·
Discuss: Hacker News
🦀Rust
Dwl: Dwm for Wayland
codeberg.org·2d·
Discuss: Hacker News
✅Formal Methods