🧩 Prolog - abnv · Scour

Chromosome-level genome assembly of mud snail Bullacta exarata

nature.com·13h

🌳Tree Diffing

Can AI Rely on the Systematicity of Truth? The Challenge of Modelling Normative Domains

link.springer.com·3d·

Discuss: Hacker News

⚖️Inference Rules

Puzzle Potential

jhyde.itch.io·1d

🤐Zipper Structures

Piloting Wikidata as an Authority Identifier: The (In)visible Women Project at the Smithsonian Institution

openhumanitiesdata.metajnl.com·7h

📇Symbol Tables

Exposing Weaknesses of Large Reasoning Models through Graph Algorithm Problems

arxiv.org·19h

🗺️Graph Traversal

Allium is an LLM-native language for sharpening intent alongside implementation

juxt.github.io·14h·

Discuss: Hacker News

🎮Language Ergonomics

The Adventures of a Pythonista in Schemeland/30

artima.com·2d

🔧Scheme Macros

The Return of Algol 68

jxself.org·1d

📚Forth Compilers

Togelius: Math and me

togelius.blogspot.com·6h

📐Mathematical Computing

Naughty is Nice!

yamlscript.org·2d

🧼Lisp Hygiene

eventhorizonarchitecture.org·1d

🛡️Error Boundaries

Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI

arxiv.org·19h

📊Datalog Engines

A Software Engineer’s Wish List for CS Research

laser-coder.net·6h·

Discuss: Hacker News

🎨Domain-Specific Languages

An introduction to lockless algorithms [LWN.net]

lwn.net·13h

🎯Ring Buffers

Using Claude Code as a general agent

raahelbaig.com·12h·

Discuss: Hacker News

🎭Program Synthesis

Beautiful Perl feature: BLOCKs

dev.to·2d·

Discuss: DEV

🔗Lexical Scoping

Circumstantial Complexity, LLMs and Large Scale Architecture

datagubbe.se·6h·

Discuss: Hacker News

🔄Bootstrapping

Railway Oriented Programming

fsharpforfunandprofit.com·3d·

Discuss: Hacker News

🚂Error Monads

A practical systems engineering guide: Architecting AI-ready infrastructure for the agentic era

thenewstack.io·2h

🌐Network Protocols

Capybara Programming Language

github.com·14h

🔬programming language theory

Loading more...