🎯 Lean - beachlorn

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.

Interspecies quorum sensing signals modulate multicellular organization and enhance contact-dependent antagonism in Vibrio cholerae

🔤Type Theory Academic

nature.com·

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

⚙️LLVM

yon-lang.org··Hacker News

FOD#155: Continual Learning in LLMs: Why AI Models Need Sleep

✓Formal Verification

turingpost.com·

Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory

🤔Programming, Programming Languages, Philosophy Academic

arxiv.org·

JamesC-xhecarpenxer/JC-Compute-Model: This is JC Compute a solution for digital trust.

🔄CRDTs Code

github.com··Hacker News

Rust, C++, and the Tradeoffs Behind Safe Low-Level Code: interview with Nikita Lisitsa

⚙️Systems Programming Blog Discussion

serokell.io·

Go In 2026: Why Simplicity Still Wins For Backend Services

🔤Type Systems Tutorial

nazarboyko.com··DEV

Abduction Prover in Isabelle/HOL

✓Formal Verification Academic

arxiv.org·

How AI is reshaping discovery in maths and physics

⚛️Physics Academic

nature.com··Hacker News

meleantonio starred facebookresearch/autoform-bot

✨Gleam Code

github.com·

Strict stability of extension types

🔤Type Theory Academic

arxiv.org·

meleantonio forked meleantonio/autoform-bot from facebookresearch/autoform-bot

🔗Parser Combinators Code

github.com·

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.

Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs

Proof System Timelines

Programming Languages Software Award

TheoremBench: Evaluating LLMs on Theorem Proving in Formal Mathematics

AWS can now mathematically prove your VMs are isolated

Neon NTT - (Auto)formalised

Issue 527

Interspecies quorum sensing signals modulate multicellular organization and enhance contact-dependent antagonism in Vibrio cholerae

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

FOD#155: Continual Learning in LLMs: Why AI Models Need Sleep

Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory

JamesC-xhecarpenxer/JC-Compute-Model: This is JC Compute a solution for digital trust.

Rust, C++, and the Tradeoffs Behind Safe Low-Level Code: interview with Nikita Lisitsa

Go In 2026: Why Simplicity Still Wins For Backend Services

Abduction Prover in Isabelle/HOL

How AI is reshaping discovery in maths and physics

meleantonio starred facebookresearch/autoform-bot

Strict stability of extension types

meleantonio forked meleantonio/autoform-bot from facebookresearch/autoform-bot