🔒 Type Safety - matmat · Scour

‘One in a billion’: Dawson’s Creek cast pays tribute to James Van Der Beek

the-independent.com·33m

🌊Distributed Codecs

Physicists Turn Ordinary Glass Into a High-Speed Quantum Security Device

scitechdaily.com·13m

⚛️Quantum Tape

Discovering Negative-Days with LLM Workflows

spaceraccoon.dev·5d

🧪CBOR Fuzzing

Six stable kernels for Friday

lwn.net·5d

📊RISC-V Vectors

How do you resolve CVEs in containers efficiently?

reddit.com·3d·

Discuss: r/kubernetes

📦Container Security

Showcase: "act" - A lightweight Go library for cleaner error handling - my take on the Go error handling discussion

reddit.com·4d·

Discuss: r/golang

📜Proof Carrying Code

Code Ownership at Scale: Who Knows What in Your Codebase

dev.to·3d·

Discuss: DEV

🔄Reproducible Builds

Claude Code Just Got Faster: Here's How to Set It Up (With Examples)

dev.to·3d·

Discuss: DEV

🌳Incremental Parsing

🎲 Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexes

gavinhoward.com·6d

🦀Rust Verification

Still Manual? Automated Linter Configuration via DSL-Based LLM Compilation of Coding Standards

arxiv.org·1d

🗣️Domain-Specific Languages

Stop Testing Attacks, Start Diagnosing Defenses: The Four-Checkpoint Framework Reveals Where LLM Safety Breaks

arxiv.org·22h

🛡️Error Boundaries

Hot Reloading in Rust? Subsecond and Dioxus to the rescue!

codethoughts.io·4d·

Discuss: Hacker News, r/rust

🦀Rust Borrowing

Jacob Boxerman - Declarative, Reproducible Emacs with straight.el and use-package

jakebox.github.io·5d·

Discuss: Lobsters, Hacker News

🐚Bash Combinators

Paths of MySQL, vector search edition

theconsensus.dev·4d·

Discuss: Hacker News

🦀Rusty Databases

Things Unix can do atomically

rcrowley.org·5d·

Discuss: Hacker News

📂Directory Synchronization

Building "zero-gap" secrets for a UGC platform

news.ycombinator.com·5d·

Discuss: Hacker News

🧪Binary Fuzzing

An attempt at a First-Proof AI challenge

abhvio.us·3d·

Discuss: Hacker News

🎯Performance Proofs

Evaluating and mitigating the growing risk of LLM-discovered 0-days

red.anthropic.com·6d·

Discuss: Lobsters, Hacker News, Hacker News

🧪Binary Fuzzing

How I squeezed a BERT sentiment analyzer into 1GB RAM on a $5 VPS

mohammedeabdelaziz.github.io·4d·

Discuss: Hacker News

🌀Brotli Dictionary

(Un)portable defer in C

antonz.org·6d·

Discuss: Lobsters, Hacker News, r/C_Programming

🧠Separation Logic

Loading more...