Item Patterns and Struct Await
noratrieb.dev·17h·
Discuss: Hacker News
🦀Rust
GoMem is a high-performance memory allocator library for Go
github.com·21h
🧠Memory Allocators
(Forward) automatic implicit differentiation in Rust with num-dual 0.12.0
reddit.com·7h·
Discuss: r/rust
🎭Rust Macros
SLip - An aspiring Common Lisp environment in the browser.
lisperator.net·10h·
Discuss: r/programming
🌿Leptos
Assuring Agent Safety Evaluations By Analysing Transcripts
lesswrong.com·13h
🏆LLM Benchmarking
Let's Write a Macro in Rust
hackeryarn.com·7h·
Discuss: Hacker News
🎭Rust Macros
Effects in Rust (and Koka)
aloso.foo·23h·
Discuss: r/rust
🦀Rust
Three ways formally verified code can go wrong in practice
buttondown.com·6h
💻Programming languages
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.org·23h·
Discuss: Hacker News
🔐Cryptography
Implementing ZADD If Key Exists
rozumem.xyz·17h·
Discuss: Hacker News
📌Pin/Unpin
Bidirectional type checking step by step (in Ruby)
luizpvas.github.io·40m·
Discuss: Hacker News
💻Programming languages
rust-lang/rustfmt
github.com·21h
🎭Rust Macros
JVM stack is about to be massively modernized
medium.com·5h·
Discuss: Hacker News
🔧Developer tools
Experimenting with ACL2 and Claude Code
mikedodds.org·11h·
Discuss: Hacker News
💻Programming languages
Show HN: Realization Jsmn on a Pure Zig
github.com·13h·
Discuss: Hacker News
🔤Tokenization
How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.com·23h
🔧Developer tools
A Retrospective Survey of 2024/2025 Open Source Supply Chain Compromises
words.filippo.io·8h·
Discuss: Lobsters, Hacker News
🕳LLM Vulnerabilities
Patina project – a Rust implementation of UEFI firmware
github.com·16h·
Discuss: Hacker News
📦Cargo
Most-watched Rust talks of 2025 (so far)
reddit.com·11h·
Discuss: r/rust
🦀Rust
Nearest Neighbor CCP-Based Molecular Sequence Analysis
arxiv.org·19h
🔍Vector Search Algorithms