Unlocking Boolean Clarity: Visualize Logic with State Algebra by Arvind Sundararajan
dev.to·12h·
Discuss: DEV
🧩SAT Solvers
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·2h·
Discuss: Hacker News
🔗Lexical Scoping
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·12h
🪢Rope Data Structures
Balance between refactoring and inheritance in your code
github.com·9h·
Discuss: Hacker News
🧪Compiler Testing
Compartmentalised Agentic Reasoning for Clinical NLI
arxiv.org·17h
⚖️Inference Rules
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·23h·
Discuss: Hacker News, r/programming, r/rust
🧩Constraint Solvers
Semantic Dictionary Encoding
falvotech.com·6h·
Discuss: Hacker News
🗂️Type Indexing
SOLID Principles for Python Developers
dev.to·6h·
Discuss: DEV
🎭Racket Modules
What is Algebraic about Algebraic Effects?
interjectedfuture.com·5h
💫Effect Systems
ECMAScript TC39 proposal-pattern-matching
github.com·7h·
Discuss: Hacker News
🎯Pattern Matching
A formal proof of C∞ISRT
bsky.app·1d·
Discuss: r/LessCredibleDefence
♾️Codata Types
Productive AI Programming Using Forced Context Distillation
jx0.ca·8h·
Discuss: Hacker News
💬Interactive REPLs
A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.com·8h·
Discuss: Hacker News
🌱Minimal Lisps
AI learns to follow predefined norms through a combination of logic and machine learning
techxplore.com·5h
⚖️Inference Rules
From Legal Documents to Knowledge Graphs
neo4j.com·2d·
Discuss: Hacker News
📈Earley Parsing
Analyzing Lisp Redux: One Form At a Time
funcall.blogspot.com·6h·
Discuss: www.blogger.com
🔮Lisp Interpreters
LLM AGI may reason about its goals and discover misalignments by default
lesswrong.com·6h
🥾Bootstrapping Strategies
Planarizing matchings
11011110.github.io·1d
🎨Graph Coloring
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.com·17h·
Discuss: Lobsters, Hacker News
🌱Minimal ML
Implementing the Coffee Machine Project in Python Using Object Oriented Programming
towardsdatascience.com·2h
🔗Concatenative Languages