Parsing with zippers improves parsing with derivatives
dl.acm.org·1d·
Discuss: Hacker News
🧮Programming Language Theory
Flag this post
Incremental Compilation in Recursive‑Descent Parser (Roslyn)
langdev.stackexchange.com·15h·
Discuss: Hacker News
⚙Functional Programming
Flag this post
Kimi Linear: An Expressive, Efficient Attention Architecture
arxiviq.substack.com·1d·
Discuss: Substack
🎲Probabilistic Programming
Flag this post
Simple Additions, Substantial Gains: Expanding Scripts, Languages, and Lineage Coverage in URIEL+
arxiv.org·5h
🧮Programming Language Theory
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·18h·
Discuss: Hacker News
🧮Programming Language Theory
Flag this post
Understanding Federated Learning: Best Practices for Implementing Privacy-Preserving AI in C# Projects
dev.to·2h·
Discuss: DEV
🌍Distributed Systems
Flag this post
Defining Types for a Simple HTTP Server
mmhaskell.com·58m
🤝Protocol Design
Flag this post
Doo: A Simple, Fast Programming Language Built on Rust and LLVM
news.ycombinator.com·1h·
Discuss: Hacker News
📝Lisp
Flag this post
Semantic search with embeddings in PHP: a hands-on guide using Neuron AI and Ollama
ollama.com·1d·
Discuss: DEV
🧮Programming Language Theory
Flag this post
Can-t stop till you get enough
cant.bearblog.dev·15h·
Discuss: Hacker News
⚙Functional Programming
Flag this post
Gated DeltaNet (Linear Attention variant in Qwen3-Next and Kimi Linear)
sebastianraschka.com·7h·
Discuss: r/LLM
🎲Probabilistic Programming
Flag this post
Cons Should Not Cons Its Arguments, Part II: Cheney on the MTA
web.archive.org·4h·
Discuss: Hacker News
📝Lisp
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·2d·
Discuss: Hacker News
🧩Theorem Proving
Flag this post
ParallelBench: Understanding the Trade-offs of Parallel Decoding in DiffusionLLMs
dev.to·15h·
Discuss: DEV
🧭SMT Solvers
Flag this post
Scala vs. F#
alexn.org·7h·
Discuss: Hacker News
⚙Functional Programming
Flag this post
Writing Your First Compiler - Part 1: Introduction
dev.to·14h·
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
AWK technical notes (2023)
maximullaris.com·15h·
Discuss: Lobsters
📝Lisp
Flag this post
Contrastive Knowledge Transfer and Robust Optimization for Secure Alignment of Large Language Models
arxiv.org·5h
🎲Probabilistic Programming
Flag this post
MTSQL-R1: Towards Long-Horizon Multi-Turn Text-to-SQL via Agentic Training
paperium.net·18m·
Discuss: DEV
🗄️Database Theory
Flag this post