haskell/mtl
github.com·5h
🚂Error Monads
Concurrent Linguistic Error Detection (CLED): a New Methodology for Error Detection in Large Language Models
arxiv.org·1d
🧪Parser Testing
Brzozowski Derivatives: An Exercise in Combinatory Style
blog.zdsmith.com·2d·
Discuss: Lobsters, Hacker News
🐪OCaml
Compiling with Continuations
swatson555.github.io·1d·
Discuss: Hacker News
🔬programming language theory
DeepSeek-R1 incentivizes reasoning in LLMs through reinforcement learning
nature.com·14h·
Discuss: Hacker News, r/LocalLLaMA
🪜Recursive Descent
How we integrate best practices in Java
dev.to·20h·
Discuss: DEV
🔧API Design
Trade-offs in designing DSLs (in Rust)
forgestream.idverse.com·18h·
Discuss: r/rust
🪆Embedded DSLs
Scheme Macros IX: Algebraic Data Types
blog.veitheller.de·2d
🔧Scheme Macros
Parallelizable Feynman-Kac Models for Universal Probabilistic Programming
arxiv.org·2h
⏭️Skip Lists
Providing APIs (2013)
en.wikisource.org·3h·
Discuss: Hacker News
🌐Web Standards
Implementing a Logical Inference System for Japanese Comparatives
arxiv.org·2h
📊LR Parsing
Reasoning Efficiently Through Adaptive Chain-of-Thought Compression: A Self-Optimizing Framework
arxiv.org·2h
⚡Interpreter Optimization
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·1d
📜Proof Languages
RAG Explained: Understanding Embeddings, Similarity, and Retrieval
towardsdatascience.com·11h
📝Text Algorithms
Analysis of the New Wave of Python Type Checkers
pydevtools.com·3h
🗂️Type Indexing
Semantic Dictionary Encoding
falvotech.com·2d·
Discuss: Hacker News
🗂️Type Indexing
Ribosomal Pausing-Mediated PTM Targeting: A Machine Learning Approach for Predictive Phosphorylation Site Identification
dev.to·11h·
Discuss: DEV
🗺️Region Inference
Solving a Wooden Puzzle Using Haskell
glocq.github.io·1d·
Discuss: Lobsters, Hacker News
📏Linear Haskell
Reworking Memory Management in CRuby
railsatscale.com·1d·
Discuss: Hacker News
🧠Memory Allocators
Learning Rust and a bit unclear about an exercise on Exercism
exercism.org·1d·
Discuss: r/rust
🦀Rust Macros