🔍 Type Inference - hello · Scour

From Stringly to Strongly Typed 📦Serde

eignex.com·5d·Hacker News

KripkesBeard/programming-for-philosophers: Startings of a textbook which teaches declarative programming for applications in philosophy. 📊Datalog

github.com·3d·Hacker News

The $\mathsf{AC}^0$-Complexity Of Visibly Pushdown Languages 🔗Dependent Types

N. Korea removes 'unification' reference from constitution 🌍Geopolitics

allsides.com·6d

Distributional Learning of Context-Free Languages under Fixed Finite-Monoid Typing 🎯Hindley-Milner

North Korea drops references to unification from constitution 🌍Geopolitics

channelnewsasia.com·6d·Hacker News

Combining Mechanical and Agentic Specification Inference for Move 🎭Program Synthesis

Learning Tree Automata with Term Rewriting 🌳Tree-sitter

Evidence-Tracked Tape Semantics for Probabilistic Computation 🌊CALM Theorem

What Will Happen Next: Large Models-Driven Deduction for Emergency Instances ⚓Anchors

Set Automata and Limits of Decidability of Two-Variable Logic on Data Words ✅Model Checking

Large Language Models are Universal Reasoners for Visual Generation 🔀Procedural Generation

arxiv.org·6d·r/StableDiffusion

State Representation and Termination for Recursive Reasoning Systems 🌳Pratt Parsing

Containment Verification: AI Safety Guarantees Independent of Alignment 🌊CALM Theorem

Reliable Chain-of-Thought via Prefix Consistency 🌊CALM Theorem

How Well Do LLMs Perform on the Simplest Long-Chain Reasoning Tasks: An Empirical Study on the Equivalence Class Problem 🧮SMT Solvers

Inference of Qualitative Models from Steady-State Data via Weighted MaxSMT 🦙Ollama

North Korea revises constitution to drop references to unification with South 🌍Geopolitics

the-independent.com·6d

Induction rules for Transition Algebra ✅Model Checking

Syntax and Semantics of Linear Dependent Types 📏Linear Types

Log in to enable infinite scrolling