⚔️ Lean Tactics - matmat · Scour

Proving Grounds Linux Box Extplorer ( Road to OSCP )

infosecwriteups.com

·21h

🏠Homelab Pentesting

Garnix Blog: Forwardly-evaluated build systems

garnix.io·3h·

Discuss: Lobsters

❄️Nix Flakes

Formal Methods Practice and Theory

adacore.com·1d·

Discuss: Hacker News

✅Formal Methods

Double Maths First Thing: Issue 4B

aperiodical.com·6h

blog.startifact.com·15h

🔲Cellular Automata

A practical systems engineering guide: Architecting AI-ready infrastructure for the agentic era

thenewstack.io·1d

Deferred member initialization in C++

sandordargo.com·16h·

Discuss: Lobsters

🦀Rust Borrowing

Can AI Code for Vintage?

sparcie.wordpress.com·2h

🏗️Compiler Archaeology

Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem Proving on seL4

arxiv.org·1d

✅Formal Methods

Claude Code: Production ready code in a two-week sprint

thoughtbot.com·2d

⚡Proof Automation

Fragments: February 9

martinfowler.com·1d

🗣️Domain-Specific Languages

Testing a Component System Like Infrastructure: Contract Tests, Visual Regression, and Accessibility Gates

hackernoon.com·8h

🔍Concolic Testing

Deploying Rust to production checklist

kerkour.com·9h·

Discuss: Hacker News

🦀Rust Borrowing

Reducing Technical Debt: Top Five Coding Resources

loufranco.com·2d

📏Code Metrics

Scary Agent Skills: Hidden Unicode Instructions in Skills ...And How To Catch Them

embracethered.com·2h

⚡Proof Automation

minikanren.org·2d·

Discuss: Lobsters

🦀Rust Macros

Grumpy Julio plays with CLI coding agents

blogsystem5.substack.com·1d·

Discuss: Substack

⚡Proof Automation

My Workflow for Agentic Coding

szymonkrajewski.pl·2d

Sneaky quokka: Testing and debugging with LLMs

honnibal.dev·1d

🧪Binary Fuzzing

A Note on Flat Abstract Syntax Trees

gist.github.com·1d·

Discuss: Hacker News

🔗Monadic Parsing

Loading more...