⚖️ Inference Rules - abnv · Scour

Large Language Model for OWL Proofs

arxiv.org·21h

📜Proof Languages

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

Patterns All the Way Down: A Generalization for Graph-Like Things

medium.com·10h·

Discuss: Hacker News

🪢Rope Data Structures

Designing Boring Software with Functional Programming

agentultra.com·23h

🪞Homoiconicity

🔬 Research-Grade Context Engineering This material represents high-performance prompt research results designed based on Advanced Logical Architectures. 📜 Ma...

freederia.com·1d

🎭Program Synthesis

Calculus Made Easy

calculusmadeeasy.org·11h

Kolmogorov Complexity

en.wikipedia.org·14h·

Discuss: Hacker News

λLambda Calculus

Use of Assertions

blog.regehr.org·11h

🔍Static Analysis

Reasoning is a Modality

arxiv.org·21h

✅Type Checking

Gödel, Turing, and AI： the Incomplete Space in Post-AI Architecture

jimiwen.substack.com·1d·

Discuss: Substack

🏛️Elm Architecture

Postmortem on TreeTracker Join: Simple, Optimal, Fast

zhu45.org·1d·

Discuss: Hacker News

🌳Tree Algorithms

From logical reasoning to code in C and PHP

dev.to·15h·

Discuss: DEV

Alexis King’s Blog

lexi-lambda.github.io·2d

🗂️Type Indexing

Focus on ‘Don’ts’ to build systems that know when to say ‘No’

thenewstack.io·10h

🛡️Error Boundaries

Simplex, a workflow specification language for autonomous agents

github.com·1d·

Discuss: Hacker News

🎭Program Synthesis

GNU C Language Manual

gnu.org·7h

🪄C Metaprogramming

Subterms Modulo Theories I

philipzucker.com·3d

🔗Lexical Scoping

ChatGPT’s Laws of Machine Learning

shruggingface.com·23h

MIT's Recursive Language Models Improve Performance on Long-Context Tasks

infoq.com·1d

🪜Recursive Descent

Loading more...