🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔗 Monadic Parsing

Parser Combinators, Haskell Parsec, Functional Parsing, Grammar Theory

FFmpeg 8.0 Released
ffmpeg.org·14h·
Discuss: Hacker News
🎬AV1 Encoding
Contrastive Analysis of Constituent Order Preferences Within Adverbial Roles in English and Chinese News: A Large-Language-Model-Driven Approach
arxiv.org·2d
📝Concrete Syntax
Compute Where It Counts: a trainable LLM sparsity enabling 4x CPU speed
crystalai.org·2d·
Discuss: Hacker News
🌊Streaming Algorithms
My tips for using LLM agents to create software
efitz-thoughts.blogspot.com·16h·
Discuss: Hacker News
⚡Proof Automation
Ask HN: Why is Prolog not gaining traction?
news.ycombinator.com·1d·
Discuss: Hacker News
🧮Prolog Parsing
Exploiting Vocabulary Frequency Imbalance in Language Model Pre-training
arxiv.org·1d
🧠Intelligence Compression
Dissecting Tool-Integrated Reasoning: An Empirical Study and Analysis
arxiv.org·1d
🔗Constraint Handling
The long season of langdev
blog.fogus.me·4d
🔄Language Evolution
DEPTH: Hallucination-Free Relation Extraction via Dependency-Aware Sentence Simplification and Two-tiered Hierarchical Refinement
arxiv.org·2d
🎯Dependent Parsing
the core of rust
jyn.dev·2d·
Discuss: Lobsters, Hacker News, r/rust
🦀Rust Macros
Rspack Introduces Rslint, a TypeScript-First Linter Written in Go
socket.dev·2d·
Discuss: Hacker News
🎯Gradual Typing
Busy Beaver Hunters Reach Numbers That Overwhelm Ordinary Math
quantamagazine.org·1d·
Discuss: Hacker News, Hacker News
🎞️Tape Combinatorics
DeepThink3D: Enhancing Large Language Models with Programmatic Reasoning in Complex 3D Situated Reasoning Tasks
arxiv.org·1d
⚡Incremental Computation
LLMs Won't Replace Programming Languages
mech-lang.org·1d·
Discuss: Hacker News
🗣️Domain-Specific Languages
Evaluating Multilingual and Code-Switched Alignment in LLMs via Synthetic Natural Language Inference
arxiv.org·2d
💻Programming languages
Hydra: A 1.6B-Parameter State-Space Language Model with Sparse Attention, Mixture-of-Experts, and Memory
arxiv.org·1d
💻Programming languages
Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
arxiv.org·5d
🔮Proof Search
Simpler Category Theory
ryanbrewer.dev·3d·
Discuss: Hacker News
🔀Category Theory
Signal Relays
pzuraq.com·1d·
Discuss: Hacker News
✨Effect Handlers
Show HN: Using Common Lisp from Inside the Browser
turtleware.eu·2d·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
Loading...Loading more...
AboutBlogChangelogRoadmap