Bridging the Algorithmic Divide: Injecting Logic into Neural Nets
dev.to·3h·
Discuss: DEV
🧮Datalog Systems
Charles Sanders Peirce, George Spencer Brown, and Me • 20
inquiryintoinquiry.com·1d
🔀Category Theory
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·19h
⚔️Lean Tactics
Large Language Models Imitate Logical Reasoning, but at what Cost?
arxiv.org·19h
🧠Computational Logic
What is Algebraic about Algebraic Effects?
interjectedfuture.com·2d·
Discuss: Hacker News
✨Algebraic Effects
System Instruction Fixed Point
funcall.blogspot.com·1d·
Discuss: www.blogger.com
⚡Proof Automation
The Ternary Manifesto
homepage.cs.uiowa.edu·13h
📝Concrete Syntax
DeepSeek-R1 incentivizes reasoning in LLMs through reinforcement learning
nature.com·7h·
Discuss: Hacker News, r/LocalLLaMA
💻Local LLMs
Learning languages with the help of algorithms
johndcook.com·3h
🧮Kolmogorov Complexity
The Unseen Variable: Why Your LLM Gives Different Answers (and How We Can Fix It)
hackernoon.com·1d
💻Local LLMs
Claude Can (Sometimes) Prove It
galois.com·1d·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
2025-09-17: Classic Machine Learning Models and XAI Methods
ws-dl.blogspot.com·3h·
Discuss: ws-dl.blogspot.com
🧠Machine Learning
ChatGPT appears to improvise when put through ancient Greek math puzzle
phys.org·29m
🔲Cellular Automata
Advent of Code: Libraries
elly.town·23h
🔒Type Safety
How we built a flywheel to steadily improve security for Amazon RDS
aws.amazon.com·4h
👁️Observatory Systems
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·2d
🔗Topological Sorting
Compiling with Continuations
swatson555.github.io·19h·
Discuss: Hacker News
💻Programming languages
Show HN: Chibi Izumi, staged dependency injection for Python
github.com·1h·
Discuss: Hacker News
🧩WASM Components
Brzozowski Derivatives: An Exercise in Combinatory Style
blog.zdsmith.com·1d·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
Mojo vs. Python vs. Rust: Which Should You Learn for AI in 2025?
dev.to·1d·
Discuss: DEV
🦀Rust Macros