Church Encoding, Combinators, Reduction Strategies, Computational Models

Proof of the \( \left( \frac{c k^2 \ln m}{\ln \ln m} \right)^m \)-Bound (1)
sites.psu.edu·4d
Fusion Laws
Flag this post
Principles of Epistemology (2025, essay)
alexpeek.org·15h·
Discuss: Hacker News
🔗Concatenative Theory
Flag this post
Attacking macOS XPC Helpers: Protocol Reverse Engineering and Interface Analysis
tonygo.tech·14h·
🔧Error Recovery
Flag this post
The Hidden DNA of LLM-Generated JavaScript: Structural Patterns EnableHigh-Accuracy Authorship Attribution
paperium.net·11h·
Discuss: DEV
🎮Language Ergonomics
Flag this post
Oops, My UUIDs Collided
alexsci.com·1d·
Discuss: Hacker News
🔗Hash Functions
Flag this post
A Short Introduction to Categorical Logic
youtube.com·3d
⚖️Inference Rules
Flag this post
Stochastic computing
scottlocklin.wordpress.com·1d
🖥️Lisp Machines
Flag this post
Using “ibm-granite/granite-speech-3.3–8b” 🪨 for ASR
dev.to·1h·
Discuss: DEV
🔄Incremental Tokenizers
Flag this post
A Formulation of Slop: How Optimization Pressure Destroys Meaning
intuitmachine.medium.com·1d·
Discuss: Hacker News
🔬programming language theory
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.name·2d·
Discuss: Hacker News
🌱Minimal Languages
Flag this post
Semantic search with embeddings in PHP: a hands-on guide using Neuron AI and Ollama
dev.to·16h·
Discuss: DEV
🧠Semantic Parsing
Flag this post
Squeezing AI into Tiny Spaces: The Integer Revolution
dev.to·3d·
Discuss: DEV
🎯Bit Vectors
Flag this post
AI Experiments: Fast Inference with Groq and Third-Party Tools with Kimi K2 in TypingMind
macstories.net·2d
🌱Minimal Interpreters
Flag this post
Speedrunning an RL Environment
sidb.in·1d·
Discuss: Hacker News
Gleam
Flag this post
Chibi Izumi: Phased dependency injection for TypeScript
github.com·1d·
Discuss: Hacker News
🪆Embedded DSLs
Flag this post
Provably Secure e2ee file transfer CLI (post-quantum-ready)
reddit.com·16h·
Discuss: r/webdev
📡Network Serialization
Flag this post
What we didn't get in C++
pvs-studio.com·3d·
Discuss: r/cpp
🏷️Symbol Mangling
Flag this post
Automated Variant Analysis & Kinship Assignment via Multi-Modal Data Fusion
dev.to·8h·
Discuss: DEV
Effect Inference
Flag this post
[Open Source] We deployed numerous agents in production and ended up building our own GenAI framework
reddit.com·1d·
Discuss: r/LocalLLaMA
🌙Lua
Flag this post
StreetMath: Study of LLMs' Approximation Behaviors
arxiv.org·2d
🌱Minimal ML
Flag this post