Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.orgยท19h
๐Ÿ”—Graph Isomorphism
Building the Reasoning Engine at Axiom
axiommath.aiยท3hยท
Discuss: Hacker News
โš”๏ธLean Tactics
Cactus Language โ€ข Semantics 3
inquiryintoinquiry.comยท7h
๐Ÿ”ขDenotational Semantics
Three ways formally verified code can go wrong in practice
buttondown.comยท6h
๐Ÿ“œProof Carrying Code
Categorical systems theory
topos.instituteยท11h
๐Ÿ”€Category Theory
AI Renaissance: Bridging the Gap Between Intuition and Logic
dev.toยท13hยท
Discuss: DEV
๐Ÿค–Paleographic AI
Experimenting with ACL2 and Claude Code
mikedodds.orgยท11hยท
Discuss: Hacker News
๐Ÿ‘‘Isabelle
Programmable proteins use logic to improve targeted drug delivery
phys.orgยท1d
๐ŸงฎAlgorithmic Cooking
A Manifesto for the Programming Desperado
github.comยท7hยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
Let's Write a Macro in Rust
hackeryarn.comยท7hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
An enough week
blog.mitrichev.chยท1dยท
๐Ÿ“ˆLinear programming
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.comยท13h
๐Ÿ’ŽInformation Crystallography
Bidirectional type checking step by step (in Ruby)
luizpvas.github.ioยท46mยท
Discuss: Hacker News
โฌŒBidirectional Typing
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.orgยท19h
๐ŸงฎTheorem Proving
Slip โ€“ A Lisp System in JavaScript
lisperator.netยท9hยท
Discuss: Hacker News
๐Ÿ”—Lisp
Neuro-Symbolic AI
en.wikipedia.orgยท9hยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Activation Alchemist: Sculpting Stability with Functional Signatures
dev.toยท3hยท
Discuss: DEV
๐Ÿ”Concolic Testing
LINQ and Learning to Be Declarative
nickstambaugh.devยท1dยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
Erlang-Red Walkthrough โ€“ Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.comยท9hยท
Discuss: Hacker News
๐ŸŒProtocol Synthesis