Why Lean 4 replaced OCaml as my Primary Language
kirancodes.me·1d·
Discuss: Lobsters, Hacker News
🦀Rust
Taming the Beast: Comparing Jsonnet, Dhall, Cue
pv.wtf·1d·
Discuss: Lobsters, Hacker News
🦀Rust
Typechecker Zoo
stephendiehl.com·1d·
Discuss: Lobsters
🦀Rust
Mathematical Computation and Reasoning Errors by Large Language Models
arxiv.org·2d·
Discuss: Hacker News
🦀Rust
FSM for Python, Inspired by Gen_fsm
github.com·1d·
Discuss: Hacker News
🦀Rust
Hardness of M-LWE with General Distributions and Applications to Leaky Variants
eprint.iacr.org·2d
🔐Zero-Knowledge Proofs
How we use a 3-stage, human-in-the-loop AI workflow to overhaul rsyslog's docs
rsyslog.com·1d·
Discuss: Hacker News
🦀Rust
Mellea is a library for writing generative programs
mellea.ai·1d·
Discuss: Lobsters, Hacker News
🦀Rust
Anaphoric Macros
letoverlambda.com·19h·
Discuss: Lobsters
🦀Rust
Coalton Playground: Type-Safe Lisp in the Browser
abacusnoir.com·2d·
Discuss: Lobsters, Hacker News
🦀Rust
AIxCC Final and Team Atlanta (first place, $4M)
team-atlanta.github.io·1d·
Discuss: Hacker News
🔒Cryptography
My Year of Rust
xavd.id·2d·
Discuss: Hacker News
🦀Rust
Open Source Sustainability for fastn - FifthTry Launches Rust Consultancy
fastn.com·1d·
Discuss: Lobsters, Hacker News
🔒Cryptography
Why Clojure?
blog.cleancoder.com·2d·
Discuss: Hacker News
🦀Rust
Development Journey on Game Decompilation Using AI
gambiconf.substack.com·13h·
Discuss: Substack
🦀Rust
Show HN: FilterQL – A tiny query language for filtering structured data
github.com·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
GSlip – GNU SLIP (Symmetric LIst Processor) in C++
gnu.org·2d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Patterns of Functional Programming: Functional Core – Imperative Shell
javiercasas.com·3d·
Discuss: Hacker News
🦀Rust
A beginner-friendly guide to learning Jax with practical examples
github.com·1d·
Discuss: Hacker News, r/LocalLLaMA
🦀Rust
Typechecker Zoo
sdiehl.github.io·8h·
Discuss: Lobsters
🦀Rust