📈 Monotonic Logic - abnv · Scour

Functional Logic Program Transformations

arxiv.org·19h

🏭Functional Compilers

Imandra CodeLogician: Neuro-Symbolic Reasoning for Precise Analysis of Software Logic

arxiv.org·19h

🎭Program Synthesis

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

🧮Theorem Provers

Gödel’s Theorems (and logicisms) revisited

logicmatters.net·2d

📜Proof Languages

From logical reasoning to code in C and PHP

dev.to·13h·

Discuss: DEV

Rust async combinators for elegant and secure concurrency

kerkour.com·18h·

Discuss: r/rust

🪆Embedded DSLs

On the way to step functions: the two worlds

blog.julik.nl·2d

🔄CPS Transforms

**Abstract:** This research proposes a novel system, the Recursive Proof Verification Engine (RPVE), that dramatically accelerates the verification of theore...

freederia.com·2d

🧮Theorem Provers

How Static Analysis Can Expose Personal Data Hidden in Source Code

hackernoon.com·12h

🛡️Taint Analysis

Scheme implementation as O’Reilly book via Claude Code

ezzeriesa.notion.site·1d·

Discuss: Hacker News

🔧Scheme Macros

Generalized Statistics on Lattices

link.aps.org·17h

🔶Lattice Theory

From 75% to 99.6%: The Math of LLM Ensembles

shibaprasadb.com·16h·

Discuss: Hacker News

🔍ML Language

Use of Assertions

blog.regehr.org·9h

🔍Static Analysis

abelianization of an additive category in nLab

ncatlab.org·8h

🔗Category Theory

Human-Aligned Decision Transformers for planetary geology survey missions with zero-trust governance guarantees

dev.to·3h·

Discuss: DEV

🚂Error Propagation

Making an LSP for great good

thunderseethe.dev·1d·

Discuss: Lobsters, Hacker News

Binary Algorithms

exystence.net·1d

📡Binary Protocols

We built Cedar with automated reasoning and differential testing (2023)

amazon.science·1d·

Discuss: Hacker News

🧩Constraint Logic

On Learning Elixir

denvaar.dev·21h

🚂Error Propagation

Scientific Computing in Rust Monthly #14

scientificcomputing.rs·12h

🏗️Cranelift

Loading more...