✓ Formal Verification - hello · Scour

Axiom Prover: From Seeing Why to Checking Everything (AxiomProver Solves All Problems at Putnam 2025: Proof Release & Commentary)

axiommath.ai·8m

🧮SMT Solvers

**Master Python Type Hints: 8 Advanced Techniques for Cleaner, Error-Free Code**

dev.to·19h·

Discuss: DEV

Halting Problem

en.wikipedia.org·21h·

Discuss: Hacker News

⏭️Skip Lists

Exploring the Type System

gibbok.github.io·7h

📐Type Theory

HLX: A new deterministic programming language built on four immutable principles. Graphics-ready

codeberg.org·2d·

Discuss: r/ClaudeAI

🏗️Cranelift

[Book] Async as coroutines for game logic

psichix.github.io·14h·

Discuss: r/rust

Automated Theorem Proving for Prolog Verification

arxiv.org·3d

🧮SMT Solvers

Lost in Bugspace

contraptions.venkateshrao.com·20h

5 coding exercises that improved my problem-solving skills

howtogeek.com·1d

🎭Program Synthesis

The Rustonomicon – The Dark Arts of Advanced and Unsafe Rust Programming

doc.rust-lang.org·20h·

Discuss: Hacker News

BASIC Programming With No Strings Attached

hackaday.com·1d

⏭️Skip Lists

Investigating Record-Based Domain Models

coding-mischief.com·5h·

Discuss: Hacker News

🔁eBPF Tail Calls

Jane Street's Ron Minsky on the Future of Programming (2023)

signalsandthreads.com·2d·

Discuss: Hacker News

🔗Dependent Types

research!rsc: Pulling a New Proof from Knuth’s Fixed-Point Printer

research.swtch.com·1d·

Discuss: Lobsters, Hacker News

🏷️Pointer Tagging

Notes on integration testing

natemeyvis.com·23h

Java Generics and Collections • Maurice Naftalin & Stuart Marks

youtube.com·2d

📏Linear Types

Quoting Linus Torvalds

simonwillison.net·10h

Building Cryptographic Audit Trails for AI Trading Systems: A Deep Dive into RFC 6962-Based Verification

dev.to·3h·

Discuss: DEV

🌳Merkle Trees

Artificial Coherence Intelligence: Behavioral Verification of a New Intelligence Class

zenodo.org·1d

RFC 7763: The text/markdown Media Type

rfc-editor.org·15h

Loading more...