Efficiently Verifiable Proofs of Data Attribution
arxiv.org·7h
🛡️Proof-Carrying Data
Anaphoric Macros
letoverlambda.com·2h·
Discuss: Lobsters
🧠Lisp Dialects
GSlip – GNU SLIP (Symmetric LIst Processor) in C++
gnu.org·1d·
Discuss: Hacker News
✅Format Verification
Beyond `?`: Why Rust Needs `try` for Composable Effects
reddit.com·1d·
Discuss: r/rust
🐚Shell Monads
Databricks: Recognizing and avoiding security vulnerabilities in vibe coding
heise.de·1d
📜Proof Carrying Code
Measuring Thinking Efficiency in Reasoning Models: The Missing Benchmark - NOUS RESEARCH
nousresearch.com·11h·
Discuss: Hacker News, r/LocalLLaMA
🧠Intelligence Compression
Multiple Reachability in Linear Dynamical Systems
arxiv.org·7h
🔄Finite State Machines
Why Lean 4 replaced OCaml as my Primary Language
kirancodes.me·14h·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
Haskell Crash Course
yager.io·2d
🔗Lisp
Knowledge and Common Knowledge in a Distributed Environment, Part 1
emptysqua.re·2d
🔲Cellular Automata
FedCoT: Communication-Efficient Federated Reasoning Enhancement for Large Language Models
arxiv.org·7h
📝ABNF Parsing
Embedded bare-metal C with Bazel and AVR
popovicu.com·9h
🦀Embedded Rust
Automated Verification of Model-Based Design Transformations via Formal Methods and Deep Learning
dev.to·13h·
Discuss: DEV
⚙️Proof Engineering
Software Engineering Laws - Coding & Development
leadership.garden·18h
🔩Systems Programming
FSM for Python, Inspired by Gen_fsm
github.com·1d·
Discuss: Hacker News
🔄Finite State Machines
Writing an LLM from scratch - Tutorial series
gilesthomas.com·19h
💻Local LLMs
A Mega Malware Analysis Tutorial Featuring Donut-Generated Shellcode
unit42.paloaltonetworks.com·1d
🦠Malware Analysis
Python 3.14.0rc2 and 3.13.7 are go!
pythoninsider.blogspot.com·16h
📚Lempel-Ziv
Swift for the Web
nicksloan.com·2d·
Discuss: Hacker News
🔬Refinement Types
Placing Arguments
blog.yoshuawuyts.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros