🧩 Constraint Logic - 2601 · Scour

Logical Robots: Declarative Multi-Agent Programming in Logica 🧠Symbolic AI

arxiv.org·1d

Incremental Lambda Calculus 🔗Dependent Types

inc-lc.github.io·10h·Hacker News

Post-Penultimate Conditional Syntax ⚖️Inference Rules

joel.place·5d·Hacker News

Explaining Neural Networks in Preference Learning: a Post-hoc Inductive Logic Programming Approach 🧠Symbolic AI

arxiv.org·1d

mm0/mm0-rs/mmc.md at master 📏Linear Types

github.com·13h·Hacker News

PanLUNA: An Efficient and Robust Query-Unified Multimodal Model for Edge Biosignal Intelligence 🐍Mamba SSM

arxiv.org·3d

Functional repository pattern in Scheme? Decoupling and abstracting the data layer in Lisp 🎭Racket

jointhefreeworld.org·9h·Lobsters, Hacker News

Tax logic evaluation with Prolog · mthom scryer-prolog 📊Datalog

github.com·2d·Hacker News

research!rsc: Yacc is Not Dead 🌳Tree-sitter

research.swtch.com·22h·Lobsters

The Life of a Claude Code Query ⚡Incremental Parsing

jadidbourbaki.github.io·2d·Hacker News

Live Life on the Edge: A Layered Strategy for Testing Data Models ✅Property Testing

chiply.dev·3d·Hacker News, r/programming

A language where you describe the system and the compiler verifies it 📚Self-Documenting Code

spine-lang.org·6h·Hacker News

Reflection On Recursion • 2 🪜Recursive Descent

inquiryintoinquiry.com·1d

Retrospective on binary search and comp{ress,ilat}ion (2015) 🔄Subinterpreters

pvk.ca·23h·Hacker News

Some Subtleties When Parsing 6502 Assembly Language 🌳Tree-sitter

bumbershootsoft.wordpress.com·5d·Hacker News

Lectures in Advanced Data Structures (6.851) 📏Linear Types

courses.csail.mit.edu·1d

How HN: We were wrong about AI capability floors (and why smart triggers matter) 🏰Capability Machines

zenodo.org·17h·Hacker News

Giving LLMs a Formal Reasoning Engine for Code Analysis 🌳Pattern Match Compilation

yogthos.net·1d·Lobsters, Hacker News

Benchmarking LLMs with Marimo Pair 🌙Lua

ericmjl.github.io·21h·Hacker News

Functional Algorithms, Verified ⚡Partial Evaluation

www21.in.tum.de·6d·Lobsters

Loading more...