🌱 Minimal Schemes - 2601 · Scour

Detecting and Explaining (In-)equivalence of Context-Free Grammars 🔍Type Inference

arxiv.org·1d

Functional repository pattern in Scheme? Decoupling and abstracting the data layer in Lisp 🎭Racket

jointhefreeworld.org·4h·Lobsters, Hacker News

Reflection On Recursion • 2 🪜Recursive Descent

inquiryintoinquiry.com·23h

I Accidentally Reinvented Kernel (Programming Language) 📚Forth Compilers

fayash.me·5d·Hacker News

Incremental Lambda Calculus 🔗Dependent Types

inc-lc.github.io·5h·Hacker News

Tim Bradshaw: Rules for Lisp programs 🔬programming language theory

tfeb.org·2d

The M×N problem of tool calling and open-source models ✨Gleam

thetypicalset.com·23h·Hacker News

Writing Lisp is AI resistant and I'm sad 💬Interactive REPLs

news.ycombinator.com·5d·Hacker News

Syntax Is Easy, Semantics Is Hard: Evaluating LLMs for LTL Translation 🪜Recursive Descent

arxiv.org·1d

research!rsc: Yacc is Not Dead 🌳Tree-sitter

research.swtch.com·17h·Lobsters

DSPy: Programming – Not Prompting 💬Prompt Engineering

akashtandon.in·1d·Hacker News

An introduction to Turing machines and computation 🎯Finite Automata

max-amb.github.io·6d·Hacker News

g-andrade/xb5: B-trees of order 5 (tree, set, multiset) for Erlang/OTP 🗄️Database Internals

github.com·1d

EgoAlpha/prompt-in-context-learning: Awesome resources for in-context learning and prompt engineering: Mastery of the LLMs such as ChatGPT, GPT-3, and FlanT5, with up-to-date and cutting-edge updates. 💬Prompt Engineering

github.com·4d

reviseio/errata-bench: A proofreading benchmark for LLMs 💬Interactive REPLs

github.com·2d·Hacker News

But what about K? 🔬programming language theory

tony-zorman.com·1d·Lobsters

SPRIG: Improving Large Language Model Performance by System Prompt Optimization 💬Prompt Engineering

arxiv.org·3d

Some Subtleties When Parsing 6502 Assembly Language 🌳Tree-sitter

bumbershootsoft.wordpress.com·5d·Hacker News

Evaluating LLM-Based 0-to-1 Software Generation in End-to-End CLI Tool Scenarios 📋Tablegen

arxiv.org·1d

Fun Little Solutions ⚡Partial Evaluation

blog.computationalcomplexity.org·4d·blog.computationalcomplexity.org

Loading more...