Cactus Language โ€ข Syntax 12
inquiryintoinquiry.comยท3h
๐Ÿ“Concrete Syntax
BNFGen: A random text generator based on context-free grammars
baturin.orgยท1hยท
Discuss: Hacker News
๐ŸŒณContext free grammars
AutomataGPT: Forecasting and Ruleset Inference for Two-Dimensional Cellular Automata
arxiv.orgยท1d
๐Ÿ”ฒCellular Automata
Programming Entry Level: how to interpreter
dev.toยท20hยท
Discuss: DEV
๐Ÿ”—Lisp
LFCS Seminar Thursday 26th June: John Longley
informatics.ed.ac.ukยท2d
๐Ÿ”—Combinatory Logic
Travels, 10
cameroncounts.wordpress.comยท4h
๐ŸŽฏPerformance Proofs
Solving LinkedIn Queens Using Haskell
imiron.ioยท1dยท
Discuss: Lobsters, Hacker News, r/programming
ฮปLambda Formalization
Counting with Categories (Part 3)
golem.ph.utexas.eduยท1d
ฮปLambda Formalization
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.comยท13h
๐Ÿ“Concrete Syntax
Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.ioยท5h
๐Ÿ“ŠGraph Databases
LR(1) parse-tables generator
github.comยท1dยท
Discuss: Lobsters, Hacker News
๐Ÿ”Z3 Parsing
The Internal Inconsistency of Large Language Models
blog.kortlepel.comยท1dยท
Discuss: Hacker News
๐Ÿ’ปLocal LLMs
Cactus Language โ€ข Syntax 11
inquiryintoinquiry.comยท1d
๐Ÿ“Concrete Syntax
AIโ€™s โ€˜Neutral Voiceโ€™ Is a Structural Illusion
hackernoon.comยท12h
๐Ÿค–Grammar Induction
Stop Words Using Spacy - NLP
dev.toยท1dยท
Discuss: DEV
๐Ÿ“Text Parsing
Proving that every program halts
ntietz.comยท2d
๐Ÿ‘‘Isabelle
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.comยท1d
๐ŸงฎZ3 Solver
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.meยท1dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ”—Lisp
Why Dyad?: A Perspective for Modelica Users
juliahub.comยท4hยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.comยท8hยท
Discuss: Hacker News, r/programming
๐Ÿ”—Lisp