📐 Formal Methods - fat · Scour

DB Nerds – Try this out

kesseldb.com··Hacker News

Programming Languages Course Reboot, 2026

💻Programming languages Reference

docs.google.com··Lobsters

Property-based testing | Liam DeVoe

🧩Constraint Solving

tybug.dev··Hacker News

rochus-keller/EXPRESS: A parser and code model for the ISO 10303 EXPRESS language with a lot more interesting stuff to come

💻Programming languages Code

github.com··Hacker News

Introducing Soteria: A New Generation of Static Analysis for Rust

💻Programming languages Blog

soteria-tools.com··Hacker News

Less-relevant results

How AI is reshaping discovery in maths and physics

🧩Constraint Solving Academic

nature.com··Hacker News

a topos-oriented language with a content-addressed lattice heap

📏Linear Types

yon-lang.org··Hacker News

Introducing Jo — Secure Programming for the AI Era

💻Programming languages Blog

jo-lang.org··Hacker News

Geeoon/Fault-Injection-Finder: For Spring 2026 EE 470

🧩Constraint Solving Code

github.com··Hacker News

Man-Computer Symbiosis J. C. R. Licklider (1960)

📊Systems Monitoring Academic

groups.csail.mit.edu··Hacker News

TiruArt/Pedigree-Polytopes-Lean4: Lean 4 machine-verified proof that Membership Problem for Pedigree Polytopes, M3P ∈ P and P = NP via properties of Pedigree Polytopes.

🧩Constraint Solving Code

github.com··Hacker News

No more posts from fat's subscribed feeds.

Scour all 25255 feeds Learn more about Feeds

Log in to enable infinite scrolling