🧩 Prolog - abnv · Scour

Continuous Program Search

arxiv.org·9h

🗺️Stack Mapping

LLM-FSM: Scaling Large Language Models for Finite-State Reasoning in RTL Code Generation

arxiv.org·9h

🎯Finite Automata

learning by reverse engineering

clymup.com·3d

🔓Decompilers

Andersbakken/rtags: A client/server indexer for c/c++/objc[++] with integration for Emacs based on clang.

github.com·19h

📇Symbol Tables

I Built a Programming Language Where think Is a Keyword

dev.to·2d·

Discuss: DEV

A Neighborhood of Infinity: You Could Have Invented Monads! (And Maybe You Already Have.)

blog.sigfpe.com·3d

🧩Monadic Parsing

PostgreSQL SQL Recap: Building Strong Foundational SQL Skills

dev.to·3d·

Discuss: DEV

onlylight.bearblog.dev·2d

🔍Fuzzy Matching

LISP: Symbolic Architecture and the Evolution of Agentic Systems

notebooklm.google.com·4d

🖥️Lisp Machines

Using Rust to Delete Gitignored Cruft

forrestthewoods.com·2d

🔒Rust Borrowing

Private Data Space Model

privatedata.space·5d

🪢Rope Data Structures

How Lisp Became God's Own Programming Language

twobithistory.org·6d

🖥️Lisp Machines

datomic.com·4d

🎓Educational Databases

Grace Hopper's Revenge

thefuriousopposites.com·2d

🔍ML Language

isledb: An embedded key-value engine built on object storage in Go

reddit.com·2d·

Discuss: r/golang

🐹Go Internals

The Adventures of a Pythonista in Schemeland/30

artima.com·2d

🔧Scheme Macros

Let Lambda Come Over

yamlscript.org·3d

λLambda Calculus

What I am doing now

artima.com·2d

🔄Bootstrapping

marzhall/BBL: A couple of tools for OpenEdge ABL

github.com·3d

gharasathi (घरासाठी) — A Privacy-First Household AI Running on a $200 Mini PC

amazon.com.au·2d·

Discuss: DEV

💬Smalltalk VMs

Loading more...