We didn't rewrite our feed handler in Rust
databento.com·3d·
Discuss: Lobsters, Hacker News, Hacker News, Hacker News, r/cpp, r/rust
🦀Rust Borrowing
GHC Developer Blog: GHC 9.14.1-alpha3 is now available
haskell.org·1d
🔗Functional Compilers
Toy Binary Decision Diagrams
philipzucker.com·4d
🧮Algebraic Datatypes
Cactus Language • Semantics 3
inquiryintoinquiry.com·7h
🔢Denotational Semantics
Slip – A Lisp System in JavaScript
lisperator.net·9h·
Discuss: Hacker News
🔗Lisp
BQN "Macros" with •Decompose (2023)
saltysylvi.github.io·1h·
Discuss: Hacker News
🦀Rust Macros
Crafting a Full Exploit RCE from a Crash in Autodesk Revit RFA File Parsing
thezdi.com·2d
🧪Binary Fuzzing
An enough week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
🧮Z3 Solver
The Dwarves Beneath the Kernel: Forging BTF for eBPF
bootlin.com·2d
📺VT100
`shimmy` Rust inference server uses bindings to a C library... and runs Python scripts in the shell
reddit.com·23h·
Discuss: r/rust
🦀Rust Macros
Defeating Return Type Polymorphism
philipphagenlocher.de·2d·
Discuss: Hacker News
🧬Functional Programming
Codeminer42 Dev Weekly #82
blog.codeminer42.com·6h
🎯Gradual Typing
Show HN: Realization Jsmn on a Pure Zig
github.com·13h·
Discuss: Hacker News
🔗Concatenative Programming
How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.com·23h
🌊Streaming Systems
rust-lang/rustfmt
github.com·21h
🦀Rust Macros
Building the Reasoning Engine at Axiom
axiommath.ai·3h·
Discuss: Hacker News
⚔️Lean Tactics
BYOVD to the next level (part 2) — rootkit like it's 2025
blog.quarkslab.com·2d
🔍eBPF
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·9h·
Discuss: Hacker News
🌐Protocol Synthesis
We found a bug in Go's ARM64 compiler
blog.cloudflare.com·2d·
Discuss: Lobsters, Hacker News, r/golang, r/programming
📜Proof Carrying Code
Rust vs C, C++, Java & Python — 5 Everyday Programs Compared
dev.to·2d·
Discuss: DEV
🦀Rust Macros