An Introduction to Python-Rust Interop for Scientific Codebases
github.com·2d·
Discuss: Lobsters, Hacker News
✅Formal Methods
My Year of Rust
xavd.id·1d·
Discuss: Hacker News
✅Formal Methods
How to Build Abstractions in Rust Applications (2023)
orodu.net·1d·
Discuss: Lobsters, Hacker News, r/programming
✅Formal Methods
Liveness analysis with Datalog
bernsteinbear.com·2d·
Discuss: Lobsters, Hacker News, r/programming
✅Formal Methods
Why Lean 4 replaced OCaml as my Primary Language
kirancodes.me·22h·
Discuss: Lobsters, Hacker News
✅Formal Methods
How I Started Contributing to Tinygrad – My First 4 Merged PRs
ninoristeski.github.io·1d·
Discuss: Hacker News
✅Formal Methods
Development Journey on Game Decompilation Using AI
gambiconf.substack.com·5h·
Discuss: Substack
✅Formal Methods
Lessons learned from implementing SIMD-accelerated crypto algorithms (ChaCha20 / ChaCha12) in pure Rust
kerkour.com·2d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Mellea is a library for writing generative programs
mellea.ai·1d·
Discuss: Lobsters, Hacker News
✅Formal Methods
State of torch.compile for training (August 2025)
blog.ezyang.com·1d·
Discuss: Hacker News
✅Formal Methods
Why Clojure?
blog.cleancoder.com·2d·
Discuss: Hacker News
✅Formal Methods
Anaphoric Macros
letoverlambda.com·10h·
Discuss: Lobsters
✅Formal Methods
Graphs Are Programs
gdotv.com·1d·
Discuss: Hacker News
✅Formal Methods
Placing Arguments
blog.yoshuawuyts.com·2d·
Discuss: Lobsters, Hacker News, r/programming
✅Formal Methods
Mathematical Computation and Reasoning Errors by Large Language Models
arxiv.org·1d·
Discuss: Hacker News
✅Formal Methods
Coalton Playground: Type-Safe Lisp in the Browser
abacusnoir.com·2d·
Discuss: Lobsters, Hacker News
✅Formal Methods
How we use a 3-stage, human-in-the-loop AI workflow to overhaul rsyslog's docs
rsyslog.com·1d·
Discuss: Hacker News
✅Formal Methods
Comparison of Generic Container Libraries for C
github.com·2d·
Discuss: Hacker News
✅Formal Methods
AI's Serious Python Bias: Concerns of LLMs Preferring One Language
medium.com·1d·
Discuss: Hacker News
✅Formal Methods
A beginner-friendly guide to learning Jax with practical examples
github.com·1d·
Discuss: Hacker News, r/LocalLLaMA
✅Formal Methods