🔒 Type Safety - matmat · Scour

Ethereum Signature Schemes Explained: ECDSA, BLS, XMSS, and Post-Quantum leanSig with Rust Code Examples

blog.lambdaclass.com·1d

🔗Hash Chains

Impredicativity in Linear Dependent Type Theory

arxiv.org·1d

🏛️Constructive Type Theory

The hunt for truly zero-CVE container images

thenewstack.io·15h

📦Container Security

Kernel 6.19: GPU, SoC, and Rust improvements

collabora.com·13h

🖥️Modern Terminals

[$] Kernel control-flow-integrity support comes to GCC

lwn.net·4d

🐚Shell Combinators

Learning Rust: Custom Error types that actually work!

rup12.net·1d·

Discuss: Lobsters, Hacker News

🦀Rust Macros

Rust 1.77 and 1.78: The Changes That Happened to u128/i128

hackernoon.com·3d

🦀Rust Borrowing

Rethinking Code Complexity Through the Lens of Large Language Models

arxiv.org·1d

📏Code Metrics

Building a Regex Engine with a team of parallel Claudes

lesswrong.com·10h

🔍RegEx Engines

FreeBSD Errata Notice FreeBSD-EN-26:04.arm64

bsdsec.net·16h

Row Polymorphism without the Jargon (2020)

jadon.io·18m·

Discuss: Hacker News

🧮Algebraic Datatypes

minikanren.org·2d·

Discuss: Lobsters

🦀Rust Macros

EdgeQuake: Rust-powered RAG framework for production knowledge graphs

news.ycombinator.com·22h·

Discuss: Hacker News

🦀Rust Borrowing

Should small Rust structs be passed by-copy or by-borrow?

forrestthewoods.com·3d

🦀Rust Borrowing

I don't like imports

kevincox.ca·1d·

Discuss: Hacker News

🦀Rust Macros

FreeBSD Security Advisory FreeBSD-SA-26:03.blocklistd

discoverbsd.com·1h

🔌Operating system internals

Not So Fast: Analyzing the Performance of WebAssembly vs. Native Code

usenix.org·3h

🕸️WebAssembly

Benchmarking Claude C Compiler

dineshgdk.substack.com·1d·

Discuss: Substack, r/programming

🚀Compiler Optimizations

Revisiting Regular Types

abseil.io·3d

λLambda Encodings

What Functional Programmers Get Wrong About Systems

iankduncan.com·1d·

Discuss: Lobsters, Hacker News, r/programming

⚖️Verification Calculi

Loading more...