🎯 Dependent Parsing

Context-sensitive Grammars, Type-dependent Syntax, Proof-carrying Parsers, Verified Parsing

REPL + Prompt
funcall.blogspot.com·16h·
Discuss: www.blogger.com
🧠Lisp Dialects
Neurosymbolic AI: The 3rd Wave
muratbuffalo.blogspot.com·1d·
Discuss: www.blogger.com
🔲Cellular Automata
Active context extraction > passive context capture with LLMs
news.ycombinator.com·2d·
Discuss: Hacker News
🧠Intelligence Compression
Building with Generative AI: Lessons from 5 Projects Part 1: RAG
dev.to·1d·
Discuss: DEV
🤖Grammar Induction
GPT-5 on SWE-bench: Cost and performance deep-dive
mini-swe-agent.com·1d·
Discuss: Hacker News
⚡Proof Automation
Why AI's Tom Cruise problem means it is 'doomed to fail' (2024)
theguardian.com·8h·
Discuss: Hacker News
🧠Intelligence Compression
Yet Another Online YAML Lint Tool
yamllint.vibecodinghub.org·5h·
Discuss: Hacker News
✅Archive Validation
Posterior-GRPO: Rewarding Reasoning Processes in Code Generation
arxiv.org·1d
🔨Compilers
Why do we even need SIMD instructions ?
lemire.me·3h·
Discuss: Hacker News
🚀SIMD Text Processing
Thinking with Nothinking Calibration: A New In-Context Learning Paradigm in Reasoning Large Language Models
arxiv.org·3d
🧠Intelligence Compression
How LLMs Transform Language into Vectors: The Power of Embeddings
dev.to·2h·
Discuss: DEV
🗂️Vector Search
From GPT-2 to gpt-oss: Analyzing the Architectural Advances
magazine.sebastianraschka.com·13h·
Discuss: Hacker News
🌊Streaming Algorithms
DART: Dual Adaptive Refinement Transfer for Open-Vocabulary Multi-Label Recognition
arxiv.org·1d
📄Document Streaming
A subtle bug with Go's errgroup
gaultier.github.io·17h·
Discuss: Hacker News, r/golang
🧪Binary Fuzzing
Getting Good Results from Claude Code
dzombak.com·1d·
Discuss: Hacker News
⚔️Lean Tactics
Pushing the limits of long-context LLM training for 1M-token+ medical records
akasa.com·2d·
Discuss: Hacker News
🎵Audio ML
Kotlin's Rich Errors: Native, Typed Errors Without Exceptions
cekrem.github.io·15h·
Discuss: r/programming, r/webdev
💧Liquid Types
What is wrong with Lisp? (2010)
web.archive.org·1d·
Discuss: Hacker News
🧠Lisp Dialects
Diffusion Language Models Are Super Data Learners
jinjieni.notion.site·10h·
Discuss: Hacker News
🎙️Whisper
LAG: Logic-Augmented Generation from a Cartesian Perspective
arxiv.org·1d
🧮Prolog Parsing