Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.io·4h
📊Graph Databases
Why Dyad?: A Perspective for Modelica Users
juliahub.com·3h·
Discuss: Hacker News
💧Liquid Types
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·1d
🌳Archive Merkle Trees
Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.org·1d
💻Local LLMs
Counting with Categories (Part 1)
golem.ph.utexas.edu·3d
λLambda Encodings
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·8h·
Discuss: Hacker News, r/programming
🔗Lisp
LR(1) parse-tables generator
github.com·1d·
Discuss: Lobsters, Hacker News
🔍Z3 Parsing
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.com·6h·
Discuss: Hacker News
🔗Constraint Handling
Dive Deep into Higher-Order Functions: Essential Resources for Functional Programmers
dev.to·1d·
Discuss: DEV
🧬Functional Programming
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.com·1d
🧮Z3 Solver
Building a Language Server
bullno1.com·2d·
Discuss: Hacker News, r/programming
🗣️Domain-Specific Languages
Your Guide to the Python print() Function
realpython.com·4h
📝Concrete Syntax
Coping with Complexity
slott56.github.io·4d
🔗Concatenative Programming
Announcing crabstep: A pure Rust, cross-platform, zero-dependency Apple/NeXTSTEP typedstream deserializer
github.com·1h
🔒Linear Types
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·1d·
Discuss: Hacker News
💻Local LLMs
Why Go Rocks for Building a Lua Interpreter
zombiezen.com·2d·
Discuss: r/golang
⬆️Lambda Lifting
Counting with Categories (Part 2)
golem.ph.utexas.edu·2d
🔀Category Theory
I Built My Own Programming Language and its Virtual Machine In Python!
dev.to·22h·
Discuss: DEV
🔗Concatenative Programming
Threaded Code
muforth.dev·7h·
Discuss: Hacker News
🦀Rust Macros