Charles Sanders Peirce, George Spencer Brown, and Me • 20
inquiryintoinquiry.com·4h
🔀Category Theory
The Unseen Variable: Why Your LLM Gives Different Answers (and How We Can Fix It)
hackernoon.com·13h
💻Local LLMs
Balance between refactoring and inheritance in your code
github.com·1d·
Discuss: Hacker News
✅Format Verification
System Instruction Fixed Point
funcall.blogspot.com·2h·
Discuss: www.blogger.com
⚡Proof Automation
Logic Engines: Building Smarter AI with State-Based Truth Tables by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🔧Hardware Verification
Brzozowski Derivatives: An Exercise in Combinatory Style
blog.zdsmith.com·22h
🔗Concatenative Programming
Making Judicial Reasoning Visible: Structured Annotation of Holding, Evidentiary Considerations, and Subsumption in Criminal Judgments
arxiv.org·18h
🧮Theorem Proving
PSA: `views::single` doesn’t really view
quuxplusone.github.io·22h
🧮Algebraic Datatypes
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·1d
🔗Topological Sorting
How to implement the Outbox pattern in Go and Postgres
medium.com·7h·
Discuss: Lobsters
🔐CBOR
What is Algebraic about Algebraic Effects?
interjectedfuture.com·1d
✨Algebraic Effects
Linkage
11011110.github.io·1d
📐Linear Algebra
Pre-viva Talk - 02/10/2025
informatics.ed.ac.uk·1d
🤖Grammar Induction
The Case for Compact AI – Communications of the ACM
dl.acm.org·14h·
Discuss: Hacker News
🧠Intelligence Compression
Lies-in-the-Loop (LITL): Attacking (and Defending) Human-in-the-Loop AI Workflows
dev.to·4h·
Discuss: DEV
🎯Threat Hunting
A minimal formula for AI destiny (Max O subject to D(world,human) ≤ ε)
news.ycombinator.com·6h·
Discuss: Hacker News
🔲Cellular Automata
Unified multimodal access layer for Quora’s Poe using Amazon Bedrock
aws.amazon.com·5h
🔌Interface Evolution
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·2d·
Discuss: Hacker News, r/programming, r/rust
🧮Z3 Solver
Building a Unified Intent Recognition Engine
towardsdatascience.com·3h
🧮Z3 Applications
AQUA: Attention via QUery mAgnitudes for Memory and Compute Efficient Inference in LLMs
arxiv.org·18h
💻Local LLMs