Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.orgยท8h
โ›ชChurch Encoding
LINQ and Learning to Be Declarative
nickstambaugh.devยท21hยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
Categorical systems theory
topos.instituteยท9m
๐Ÿ”€Category Theory
GaloisInc/parameterized-utils
github.comยท2d
๐ŸงฎAlgebraic Datatypes
Lobsters Interview with Zdsmith
lobste.rsยท6hยท
Discuss: Lobsters
๐Ÿ”—Concatenative Programming
The Library Method: Understanding @cache
dev.toยท11hยท
Discuss: DEV
โšกCache Theory
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.orgยท3d
๐Ÿ—๏ธCompiler Archaeology
Item Patterns and Struct Await
noratrieb.devยท6hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
An enough week
blog.mitrichev.chยท16hยท
Discuss: blog.mitrichev.ch
๐ŸงฎZ3 Solver
Cactus Language โ€ข Semantics 2
inquiryintoinquiry.comยท1d
๐Ÿ”ขDenotational Semantics
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.comยท1dยท
Discuss: Hacker News
ฮปLambda Encodings
Haskell Weekly Issue 493
haskellweekly.newsยท1dยท
Discuss: Hacker News
๐ŸงฌFunctional Programming
Memory Retrieval and Consolidation in Large Language Models through Function Tokens
arxiv.orgยท8h
๐Ÿ”จCompilers
Getting a Hypergraph of Functions to a Browser
systeminit.comยท19hยท
Discuss: Hacker News
๐Ÿ“E-graphs
Defeating Return Type Polymorphism
philipphagenlocher.deยท1dยท
Discuss: Hacker News
๐ŸงฌFunctional Programming
Tool or Agent? The impact of AI in your code and in your wallet It all boils down to math again!
blog.codeminer42.comยท23h
โšกProof Automation
IASC: Interactive Agentic System for ConLangs
arxiv.orgยท8h
๐ŸŒณContext free grammars
A Lisp Interpreter for Linux Shell Scripting
jakobmaier.atยท16hยท
Discuss: Hacker News
๐Ÿ”—Lisp
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.orgยท8h
๐Ÿ”—Graph Isomorphism
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.orgยท1dยท
Discuss: Hacker News, r/programming
๐ŸŒณIncremental Parsing