Parsing with zippers improves parsing with derivatives
dl.acm.org·11h·
Discuss: Hacker News
🧮Programming Language Theory
Flag this post
Incremental Compilation in Recursive‑Descent Parser (Roslyn)
langdev.stackexchange.com·2h·
Discuss: Hacker News
⚙Functional Programming
Flag this post
Kimi Linear: An Expressive, Efficient Attention Architecture
arxiviq.substack.com·22h·
Discuss: Substack
🎲Probabilistic Programming
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·5h·
Discuss: Hacker News
🧮Programming Language Theory
Flag this post
ParallelBench: Understanding the Trade-offs of Parallel Decoding in DiffusionLLMs
dev.to·2h·
Discuss: DEV
🧭SMT Solvers
Flag this post
Semantic search with embeddings in PHP: a hands-on guide using Neuron AI and Ollama
ollama.com·23h·
Discuss: DEV
🧮Programming Language Theory
Flag this post
Can-t stop till you get enough
cant.bearblog.dev·3h·
Discuss: Hacker News
⚙Functional Programming
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·2d·
Discuss: Hacker News
🧩Theorem Proving
Flag this post
Writing Your First Compiler - Part 1: Introduction
dev.to·1h·
Discuss: DEV
📝Lisp
Flag this post
We open-sourced a minimal NASDAQ ITCH parser in Rust. Built for clarity, not just speed. Here's how we pushed it to 107M msg/sec.
reddit.com·1d·
Discuss: r/rust
🦀Rust
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·2d
🧮Programming Language Theory
Flag this post
AWK technical notes (2023)
maximullaris.com·2h·
Discuss: Lobsters
📝Lisp
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
cacm.acm.org·6h·
Discuss: Hacker News
📈Complexity Theory
Flag this post
Polish emerges as top language in multilingual AI benchmark testing
ppc.land·12h
🧮Programming Language Theory
Flag this post
Attention Illuminates LLM Reasoning: The Preplan-and-Anchor Rhythm EnablesFine-Grained Policy Optimization
paperium.net·10h·
Discuss: DEV
🎲Probabilistic Programming
Flag this post
Entropy in algorithm analysis
11011110.github.io·23h
📈Complexity Theory
Flag this post
Cure – Verification-First Programming for the Beam
cure-lang.org·3h·
Discuss: Hacker News
✅Formal Verification
Flag this post
🚀 TOON (Token-Oriented Object Notation) — The Smarter, Lighter JSON for LLMs
dev.to·5h·
Discuss: DEV
🧮Programming Language Theory
Flag this post
Vision = Language: I Decoded VLM Tokens to See What AI 'Sees' 🔬
reddit.com·2h·
Discuss: r/LocalLLaMA
🔄Category Theory
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·2d·
Discuss: Hacker News
📝Lisp
Flag this post