Writing Our Own Structure: Tries in Haskell & Rust
mmhaskell.com·16h
🌿Trie Structures
Re-FRAME the Meeting Summarization SCOPE: Fact-Based Summarization and Personalization via Questions
arxiv.org·21h
🔗Lexical Scoping
Why Does Concurrency Have to Be So Hard in Java After 20 Years?
dev.to·3h·
Discuss: DEV
🔗Concurrency Primitives
X Design Notes: Pattern Matching II
blog.polybdenum.com·1d
🎯Pattern Matching
Creating a database of motivated proofs
gowers.wordpress.com·3h
⚖️Inference Rules
Enabling Deterministic Inference for SGLang
lmsys.org·1d
🗺️Region Inference
Blueprints for Flutter Development: Building Reliable Foundations
hutouch.com·5h·
Discuss: DEV
🎮Language Ergonomics
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·14h·
Discuss: Substack
🪜Recursive Descent
Identity Types
bartoszmilewski.com·12h·
Discuss: Hacker News
🎯Type Theory
haskell/mtl
github.com·4d
🚂Error Monads
第四: A Japanese and Forth inspired postfix language
gist.github.com·20h·
Discuss: Lobsters, Hacker News
🔗Concatenative Languages
GSoC 2025: Improving Core Clang-Doc Functionality
blog.llvm.org·1d
📋Tablegen
Python Tuples: The Ultimate Guide to Immutable Sequences
dev.to·19h·
Discuss: DEV
🧩Persistent Vectors
Issue 490
haskellweekly.news·4d
⚡functional programming
My experience with AI as a front end developer
frontendundefined.com·17h·
Discuss: Hacker News
🎮Language Ergonomics
HelixDB - An open-source graph-vector database built in Rust
reddit.com·1d·
Discuss: r/opensource
🌳Persistent Data
Research Agenda: Synthesizing Standalone World-Models (+ Bounties, + Seeking Funding)
lesswrong.com·6h
💫Effect Systems
Comparative Analysis of Tokenization Algorithms for Low-Resource Language Dzongkha
arxiv.org·21h
⚡Tokenizer Benchmarks