Church Encoding, Combinators, Reduction Strategies, Computational Models

Evidence on language model consciousness
lesswrong.com·1h
🎲Parser Fuzzing
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock – Part 1
aws.amazon.com·7h
⚖️Inference Rules
Flag this post
TinyML is the most impressive piece of software you can run on any ESP32
xda-developers.com·19h
💬Smalltalk VMs
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.sk·21h·
📡Erlang BEAM
Flag this post
Beyond the Black Box: Making LLM Decoding Truly End-to-End
dev.to·12h·
Discuss: DEV
🪜Recursive Descent
Flag this post
GHC 9.14.1-rc1 is now available
discourse.haskell.org·20h·
📏Linear Haskell
Flag this post
Understanding Hardness of Vision-Language Compositionality from A Token-level Causal Lens
arxiv.org·1d
📋S-Expression
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.com·1d
📚Stack Allocation
Flag this post
Minimal Sufficiency: A Principle ‘Similar’ to End-to-End
cacm.acm.org·11h·
Discuss: Hacker News
📡Protocol Stacks
Flag this post
A Beginner’s Guide to Getting Started with add_messages Reducer in LangGraph
langcasts.com·21h·
Discuss: DEV
🌉Language Bridges
Flag this post
ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
arxiv.org·3d
🪜Recursive Descent
Flag this post
Proof of the \( \left( \frac{c k^2 \ln m}{\ln \ln m} \right)^m \)-Bound (1)
sites.psu.edu·3d
Fusion Laws
Flag this post
Properties and Applications of Partially Deterministic Polytopes
arxiv.org·2d
Partial Evaluation
Flag this post
text as incantation
lnebres.bearblog.dev·2d
🔗Concatenative Theory
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.com·23h
🛡️Error Handling
Flag this post
A Minimal Route to Transformer Attention
neelsomaniblog.com·2d·
Discuss: Hacker News
🪜Recursive Descent
Flag this post
Oops, My UUIDs Collided
alexsci.com·10h·
Discuss: Hacker News
🔗Hash Functions
Flag this post
A Short Introduction to Categorical Logic
youtube.com·2d
⚖️Inference Rules
Flag this post
AI Experiments: Fast Inference with Groq and Third-Party Tools with Kimi K2 in TypingMind
macstories.net·1d
🌱Minimal Interpreters
Flag this post