🔢 Mathematical Logic - CWhiting · Scour

Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property 🔮Proof Search

What Do Gödel’s Incompleteness Theorems Truly Mean? 🔍Logic Puzzles

quantamagazine.org·2d·Hacker News, Hacker News

A chromosome-level genome assembly of the waterlily aphid Rhopalosiphum nymphaeae Linnaeus 💻Bioinformatics

Inside the Heathkit Factory 🏭Tech Sovereignty

hackaday.com·4d

An Experiment in Formal Verification with Claude 🔒Protocol Verification

blog.succinct.xyz·6h

CrowdStrike Named a Leader in the First-Ever Gartner® Magic Quadrant™ for Cyberthreat Intelligence Technologies 🕵️Threat Intelligence

crowdstrike.com·6d

Erasing Existentials 🐛Fuzzing

wolfgirl.dev·11h·Lobsters, Hacker News

IKP — Incompressible Knowledge Probes ⚡LLM Optimization

01.me·15h

Super-intelligence Survival Guide: Verification via Proof-Carrying Output 🔮Proof Search

eprint.iacr.org·1d

The Mathematical Playground ∑Math

polypad.amplify.com·18h

machine review for the scientific record 🛡️Archive Verification

pith.science·2d·Hacker News

Calculus Made Easy 📐Mathematics

evantravers.com·23h

Proofs for programs, programs for proofs (bobkonf2026) 🎯Proof Tactics

cdn.media.ccc.de·1d

Completeness of Synthesis under Realizability Assumptions using Superposition ✨Effect Handlers

LP as a substructural logic 🔍Logic Puzzles

consequently.org·5d

Logical Share Splitting for Intuitionists 🎯Proof Tactics

lesswrong.com·2d

Four-Tier Memory Hierarchy for LLM Reasoning (USC, UW) 🏗️LLM Infrastructure

semiengineering.com·7h

Abstract Algebra: Theory and Applications ∑Math

twjudson.github.io·1d

A Good Lemma Is Worth a Thousand Theorems 🎯Proof Tactics

sites.math.rutgers.edu·4d·Hacker News

A shallow dive into formal verification 🔒Protocol Verification

vitalik.eth.limo·2d·Hacker News, Hacker News

Log in to enable infinite scrolling