🧩 Prolog - abnv · Scour

B2 L2 U2 F2 U2 R2 U B2 F2 D2 F' D' R2 U2 R' U' R2 B' F2 L' F

metafilter.com·1d

Wild Guesses and Mild Guesses in Active Concept Learning

arxiv.org·10h

🪜Recursive Descent

Rebuilding the spellchecker

zverok.space·1d

⚡Tokenizer Benchmarks

Nonlinear random walks on hypergraphs characterized by higher-order interactions

sciencedirect.com·1d

🧮Combinator Calculus

Large Language Model Reasoning Failures

arxiv.org·10h

✅Type Checking

I Built a 13-Agent AI System That Reviews Its Own Decisions. Here's the Architecture.

dev.to·1h·

Discuss: DEV

🎭Program Synthesis

I built a “deterministic” LLM text rephraser with a validation pipeline - looking for architectural feedback

dev.to·8h·

Discuss: DEV

Zinc Language Design

ziggit.dev·2d

A Neuro Symbolic Architecture For Induced Epistemic Agency and System 2 Reasoning in Quantized Large Language Models

papers.ssrn.com·3d·

Discuss: Hacker News

🪜Recursive Descent

The Adventures of a Pythonista in Schemeland/26

artima.com·1d

🔧Scheme Macros

Chasing a Zig AVR Segfault Down to LLVM

sourcery.zone·1d·

Discuss: r/Zig

💬Error Messages

The Adventures of a Pythonista in Schemeland/28

artima.com·1d

🔧Scheme Macros

yamlscript.org·2d

🧩Constraint Logic

languagehat.com·2d

⚖️Inference Rules

Logic for Programmers [Leanpub PDF/iPad/Kindle]

leanpub.com·5d

🧩Constraint Logic

Tip of the Week #143: C++11 Deleted Functions (<code>= delete</code>)

abseil.io·1d

🔧Scheme Macros

Boundary Engineering

cabreza.substack.com·2d·

Discuss: Substack

🛡️Error Boundaries

feldera/feldera: The Feldera Incremental Computation Engine

github.com·2d

🚂Cranelift IR

LLMs could be, but shouldn't be compilers

alperenkeles.com·3d·

Discuss: Lobsters, Hacker News

🌱Minimal Languages

llOOPy lOOPs (Dave Jarvis)

dave.autonoma.ca·3d

🤐Zipper Structures

Loading more...