⚖️ Verification Calculi - matmat · Scour

Practical Refinement Session Type Inference (Extended Version)

arxiv.org·2d

🔄Session Type Inference

Craig Interpolation in Program Verification

arxiv.org·1d

👑Coq Tactics

DCP-o-matic • Re: Feature Request for Verifier

dcpomatic.com·13h

✅Document Verification

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

blog.lambdaclass.com·1d

🔗Hash Chains

cs.tufts.edu·1d·

Discuss: Lobsters

🔗Concatenative Programming

intersection type in nLab

ncatlab.org·1d

🧮Algebraic Datatypes

Package-Inferred Systems are Dangerous

aartaka.me·1d

📦Package Managers

Fragments: February 9

martinfowler.com·1d

🗣️Domain-Specific Languages

Large Language Models for Mortals book

andrewpwheeler.com·4h

A minimalistic Go library for assertion, error handling, and resource management utilities.

pkg.go.dev·5d·

Discuss: r/golang

⚖️Hoare Logic

SMTLIB as a Compiler IR I

philipzucker.com·2d·

Discuss: Hacker News

🔗Functional Compilers

Deferred member initialization in C++

sandordargo.com·15h·

Discuss: Lobsters

🦀Rust Borrowing

Garnix Blog: Forwardly-evaluated build systems

garnix.io·2h·

Discuss: Lobsters

❄️Nix Flakes

Sneaky quokka: Testing and debugging with LLMs

honnibal.dev·1d

🧪Binary Fuzzing

Custom ESLint rules as AI guardrails: turning repeated mistakes into structural impossibilities

jw.hn·16h·

Discuss: Hacker News, r/SoftwareEngineering, r/coding, r/node, r/typescript

⚡Proof Automation

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

hackernoon.com·7h

🔍Concolic Testing

An introduction to lockless algorithms [LWN.net]

lwn.net·2d

⚡Hardware Transactional Memory

minikanren.org·2d·

Discuss: Lobsters

🦀Rust Macros

When Trust Becomes the Core Problem of AI-Native Software Engineering

hackernoon.com·7h

🌍Cultural Algorithms

A Note on Flat Abstract Syntax Trees

gist.github.com·1d·

Discuss: Hacker News

🔗Monadic Parsing

Loading more...