Item Patterns and Struct Await
noratrieb.dev·17h·
Discuss: Hacker News
🦀Rust Macros
Haskell Weekly Issue 493
haskellweekly.news·1d·
Discuss: Hacker News
🧬Functional Programming
Keeping my Nix inputs fresh
jimmyff.co.uk·1d·
Discuss: Hacker News, r/programming
❄️Nix Flakes
A Retrospective Survey of 2024/2025 Open Source Supply Chain Compromises
words.filippo.io·8h·
Discuss: Lobsters, Hacker News
🔓Open Source Software
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·1d·
Discuss: Hacker News, r/programming
🌳Incremental Parsing
Open Lineage
usenix.org·19h
🔌Interface Evolution
`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
GaloisInc/parameterized-utils
github.com·2d
🧮Algebraic Datatypes
Metasploit Wrap Up 10/09/2025
rapid7.com·1d
🛡️eBPF Security
When AI Remembers Too Much – Persistent Behaviors in Agents’ Memory
unit42.paloaltonetworks.com·1d
🔲Cellular Automata
Bidirectional type checking step by step (in Ruby)
luizpvas.github.io·46m·
Discuss: Hacker News
⬌Bidirectional Typing
Crafting a Full Exploit RCE from a Crash in Autodesk Revit RFA File Parsing
thezdi.com·2d
🧪Binary Fuzzing
GHC Developer Blog: GHC 9.14.1-alpha3 is now available
haskell.org·1d
🔗Functional Compilers
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·19h
⛪Church Encoding
Can AI Co-Design Distributed Systems? Scaling from 1 GPU to 1k
harvard-edge.github.io·1h·
Discuss: Hacker News
🎯Performance Proofs
ksmbd - Exploiting CVE-2025-37947 (3/3)
blog.doyensec.com·3d
📦Container Security
Ship Broken Things
matmul.net·1d·
Discuss: Hacker News
🔗Topological Sorting
Proposal: Deconfig – Distributed Git Infrastructure with Durable Objects
github.com·1d·
Discuss: Hacker News
📦Git LFS
Controlled Release of Microorganisms from Engineered Living Materials
pubs.acs.org·8h·
Discuss: Hacker News
📦METS Packaging
Retentive Relevance: Capturing Long-Term User Value in Recommendation Systems
arxiv.org·19h
🎯Content Recommendation