Writing Our Own Structure: Tries in Haskell & Rust
mmhaskell.com·11h
🌿Trie Structures
Re-FRAME the Meeting Summarization SCOPE: Fact-Based Summarization and Personalization via Questions
arxiv.org·16h
🔗Lexical Scoping
X Design Notes: Pattern Matching II
blog.polybdenum.com·20h
🎯Pattern Matching
Enabling Deterministic Inference for SGLang
lmsys.org·20h
🗺️Region Inference
Replacing clojure-lsp with clj-kondo and Refactor-nREPL
andreyor.st·1d
🔮Clojure
Polymorphism for Beginners
roscidus.com·2d·
Discuss: Hacker News
🎭Polymorphic Variants
LLM-JEPA: Large Language Models Meet Joint Embedding Predictive Architectures
arxiviq.substack.com·9h·
Discuss: Substack
🪜Recursive Descent
Python Tuples: The Ultimate Guide to Immutable Sequences
dev.to·14h·
Discuss: DEV
🧩Persistent Vectors
Identity Types
bartoszmilewski.com·7h·
Discuss: Hacker News
🎯Type Theory
haskell/mtl
github.com·4d
🚂Error Monads
第四: A Japanese and Forth inspired postfix language
gist.github.com·15h·
Discuss: Lobsters, Hacker News
🔗Concatenative Languages
My experience with AI as a front end developer
frontendundefined.com·12h·
Discuss: Hacker News
🎮Language Ergonomics
Research Agenda: Synthesizing Standalone World-Models (+ Bounties, + Seeking Funding)
lesswrong.com·1h
💫Effect Systems
Proof Rules for MetaSMT
philipzucker.com·20h
🧮Theorem Provers
GSoC 2025: Improving Core Clang-Doc Functionality
blog.llvm.org·20h
📋Tablegen
Issue 490
haskellweekly.news·4d
⚡functional programming
HelixDB - An open-source graph-vector database built in Rust
reddit.com·21h·
Discuss: r/opensource
🌳Persistent Data
Comparative Analysis of Tokenization Algorithms for Low-Resource Language Dzongkha
arxiv.org·16h
⚡Tokenizer Benchmarks
A scalable, elastic database and search solution for 1B+ vectors built on LanceDB and Amazon S3
aws.amazon.com·3h
📋JSON Parsing
Effect Systems vs. Print Debugging: A Pragmatic Solution
blog.flix.dev·1d·
Discuss: Hacker News
⚡Algebraic Effects