Church Encoding, Combinators, Reduction Strategies, Computational Models

"Can GPT-4 co-author a sacred text? A symbolic experiment in prompting AI
scribd.com·1d·
Discuss: Hacker News
🔗Concatenative Theory
Flag this post
Locating the Lemniscate
alexkritchevsky.com·23h
📐Quotient Types
Flag this post
Enforcing Architecture in an Agent-Driven Codebase
phoebe.work·7h·
Discuss: Hacker News
📦Monorepos
Flag this post
The Case That A.I. Is Thinking
newyorker.com·12h·
Discuss: Hacker News
🧠Semantic Parsing
Flag this post
Building Software That Survives • Michael Nygard & Charles Humble • GOTO 2025
youtube.com·10h
🎮Language Ergonomics
Flag this post
Unlocking AI Potential: Squeezing Giant Models into Tiny Spaces
dev.to·1d·
Discuss: DEV
🗺️Region Inference
Flag this post
Rasterizer Project - Part 3: Geometry
dev.to·2d·
Discuss: DEV
🔀SIMD Programming
Flag this post
I'm a beginner at C and I would like feedback about the optimisation of my code
reddit.com·1d·
🗑️Garbage Collection
Flag this post
Simplifying Preference Elicitation in Local Energy Markets: Combinatorial Clock Exchange
arxiv.org·18h
📮Message Queues
Flag this post
Dataset Creation and Baseline Models for Sexism Detection in Hausa
arxiv.org·18h
🌱Minimal ML
Flag this post
A Soft‑Fork Proposal for Blockchain‑Based Distributed AI Computation
hackernoon.com·12h
🌱Forth Kernels
Flag this post
How Do Proteins Fold?
arxiv.org·18h
🚪Function Prologues
Flag this post
Un-Attributability: Computing Novelty From Retrieval & Semantic Similarity
arxiv.org·18h
⚖️Weighted Automata
Flag this post
Your ORM is Lying to You About SQL (CTEs Explained)
buttondown.com·14h·
Discuss: DEV
📈Query Optimization
Flag this post
MCP standard
dev.to·1d·
Discuss: DEV
📡Protocol Parsers
Flag this post
Comparing images with AVX
dev.to·1d·
Discuss: DEV
🔢Bit Manipulation
Flag this post
Indexers in C# — Making Your Classes Feel Like Arrays
dev.to·2d·
Discuss: DEV
🗂️Type Indexing
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.org·3d
📊Log Parsers
Flag this post