🔗 Unification - abnv · Scour

Structured Outputs for LLMs

ternarysearch.blogspot.com·21h·

Discuss: Hacker News, ternarysearch.blogspot.com

🪜Recursive Descent

A Review of Uncle Bob's Functional Design: Principles, Patterns, and Practices

coding-mischief.com·6h·

Discuss: Hacker News

🤐Zipper Structures

Grammar-Constrained (CFL) Reachability: Subcubic Preprocessing, Indexing Trade-offs, and Structured Decoding Semantics

arxiv.org·23h

🔗Lexical Scoping

Completing the formal proof of higher-dimensional sphere packing

math.inc·9h·

Discuss: Hacker News

🧮Combinator Calculus

Programming in K

news.ycombinator.com·1d·

Discuss: Hacker News

🔢Algebraic Datatypes

Mastering Technical Interviews A Practical Guide to the Algorithms That Appear Again and Again

dev.to·10h·

Discuss: DEV

📚Suffix Arrays

freest-lang/freest: A programming language for safe concurrency powered by context-free session types.

github.com·1d

📚Forth Compilers

A Minimal Agent for Automated Theorem Proving

arxiv.org·23h

🧮Theorem Provers

State of Knuckledragger III: Kernel Changes, Symbolic Union, AI, and more

philipzucker.com·1d

🧮Theorem Provers

type++: Prohibiting Type Confusion with Inline Type Information

papers.cool·1d

🔮Type Inference Visualization

Maximally minimal specialization: always applicable impls

smallcultfollowing.com·15h

⚡Partial Evaluation

Efficient algorithms for mining top-k high occupancy itemsets

sciencedirect.com·1d

🌸Bloom Indexing

Custom Data Structures in E-Graphs

uwplse.org·2d·

Discuss: Lobsters, Hacker News, r/programming

🔢Algebraic Datatypes

The Semantic Infrastructure Opportunity: Building Meaningful Operational Frameworks

moderndata101.substack.com·15h·

Discuss: Substack

🧠Semantic Parsing

Extending Formal Verification to Sequential Circuits (U. of Bremen)

semiengineering.com·11h

📈Monotonic Logic

The Math Behind the Match: Building Production Search for People Names

hackernoon.com·8h

🔤String Algorithms

Tsonnet #31 - Taking back control of equality

dev.to·7h·

Discuss: DEV

🔗Lexical Scoping

Lil' Fun Langs' Guts

taylor.town·2d·

Discuss: Lobsters, Hacker News, r/programming

🪆Embedded DSLs

🐥 Optimizing nested array operations in PHP: from O(3n) to O(n)

yellowduck.be·1d

🌳Tree Shaking

nahhididwin/L-Representation: L-Representation: Turning a Single Integer \textit{L} into a Universal, Provably-Correct Geometric \& Algebraic Engine

github.com·22h·

Discuss: Hacker News

🔢Algebraic Datatypes

Loading more...