Generating Inputs for Grammar Mining using Dynamic Symbolic Execution
arxiv.org·2d
🦀Rust Macros
Simple Programming Languages
ryanbrewer.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming
Generating Structured Outputs from LLMs
towardsdatascience.com·22h
📐Format Grammars
Cactus Language • Pragmatics 11
inquiryintoinquiry.com·1h
📝Concrete Syntax
Lobsters Interview with Hwayne
lobste.rs·18h·
Discuss: Lobsters
⚔️Lean Tactics
Building with Generative AI: Lessons from 5 Projects Part 1: RAG
dev.to·1d·
Discuss: DEV
🤖Grammar Induction
Autodoc
funcall.blogspot.com·1d·
Discuss: www.blogger.com
⚡Proof Automation
Tokenization in Large Language Models
seantrott.substack.com·1d·
Discuss: Substack
📝Text Parsing
Terminal User Interfaces: Review of Crush (Ex-OpenCode Al)
thenewstack.io·1h
🐚Nordic Shell
Stuck? Build Your Language Backwards
jimmyhmiller.github.io·1d
💾Binary Linguistics
Getting Good Results from Claude Code
dzombak.com·1d·
Discuss: Hacker News
⚔️Lean Tactics
Yet another study doubts that LLM reasoning shows true logic over pattern imitation
the-decoder.com·4h
🤖Grammar Induction
Grok’s Share and Claude’s Leak: 5 Things We Can Learn From System Prompts
machinelearningmastery.com·1d
📝ABNF Parsing
Show HN: A Python CEL implementation (written in Rust)
news.ycombinator.com·17h·
Discuss: Hacker News
🦀Rust Macros
GPT-5 on SWE-bench: Cost and performance deep-dive
mini-swe-agent.com·1d·
Discuss: Hacker News
⚡Proof Automation
Why Racket? Why Lisp?
practicaltypography.com·1h·
Discuss: Lobsters, Hacker News
🔗Lisp
How to Use Antlr Pattern Matching
tomassetti.me·1d·
Discuss: Hacker News
🔍Z3 Parsing
I just rewrote llama.cpp server in Rust (most of it at least), and made it scalable
reddit.com·20h·
Discuss: r/rust
🔒Linear Types
Show HN: AI Tool Writes Your Stories 10x Faster
aistoryspark.online·1d·
Discuss: Hacker News
📰Feed Readers
Codeminer42 Dev Weekly #73
blog.codeminer42.com·12h
🔩Systems Programming