Church Encoding, Combinators, Reduction Strategies, Computational Models

Jordan triple system
ncatlab.org·1d
🔗Category Theory
Flag this post
text as incantation
lnebres.bearblog.dev·2d
🔗Concatenative Theory
Flag this post
Growing explanations together
clojurecivitas.github.io·1d
🔄Bootstrapping
Flag this post
Stochastic computing
scottlocklin.wordpress.com·1d
🖥️Lisp Machines
Flag this post
A Formulation of Slop: How Optimization Pressure Destroys Meaning
intuitmachine.medium.com·12h·
Discuss: Hacker News
🔬programming language theory
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.name·1d·
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·2h·
Discuss: DEV
🧠Semantic Parsing
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
Chibi Izumi: Phased dependency injection for TypeScript
github.com·22h·
Discuss: Hacker News
🪆Embedded DSLs
Flag this post
What we didn't get in C++
pvs-studio.com·2d·
Discuss: r/cpp
🏷️Symbol Mangling
Flag this post
Building Archaic - Nostalic memory sharing platform
archaic-cb904f1e.base44.app·3h·
Discuss: DEV
🏠indieweb
Flag this post
🧠 Soft Architecture (Part B): Emotional Timers and the Code of Care (Part 5 of the SaijinOS series)
dev.to·11h·
Discuss: DEV
🎮Language Ergonomics
Flag this post
StreetMath: Study of LLMs' Approximation Behaviors
arxiv.org·1d
🌱Minimal ML
Flag this post
Speedrunning an RL Environment
sidb.in·13h·
Discuss: Hacker News
Gleam
Flag this post
AI as Mathematical Muse: Unlocking the Universe's Secrets Together
dev.to·3h·
Discuss: DEV
📐Mathematical Computing
Flag this post
AI Poisoning: How Malicious Data Corrupts Large Language Models Like ChatGPT and Claude
blogger.com·2d
🛡️Parser Security
Flag this post
Cross-Platform Evaluation of Reasoning Capabilities in Foundation Models
arxiv.org·1d
🔶Lattice Theory
Flag this post
How Tools Shape How We See the World
every.to·3h
🎮Language Ergonomics
Flag this post
Reactive Tree Management in Nuxt 4: How I Modeled Complex Hierarchies with Pinia
dev.to·11h·
Discuss: DEV
🗄️Database Engines
Flag this post
Cycle-accurate 6502 emulator as coroutine in Rust
github.com·9h·
⏱️Real-Time GC
Flag this post