Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoning
arxiv.org·1d
🌳Context free grammars
AtCoder Finals Problem Statement
atcoder.jp·22h·
Discuss: Hacker News
🇯🇵Japanese Computing
Cactus Language • Stylistics 4
inquiryintoinquiry.com·2d
🌳Context free grammars
Issue 481
haskellweekly.news·4h
🔗Functional Compilers
LLMs Are Bad at Being Forced
morphllm.com·4h·
Discuss: Hacker News
💻Local LLMs
Python Fundamentals: case
dev.to·4h·
Discuss: DEV
✅Format Verification
Gradual negation types and the Python type system
jellezijlstra.github.io·9h·
Discuss: Hacker News
🔬Refinement Types
Turing, Wagner, Ruth
blog.computationalcomplexity.org·21h·
Discuss: blog.computationalcomplexity.org
📐Mathematical Art
Functional Abstract Interpretation
simon.peytonjones.org·2d·
Discuss: Hacker News
🔗Functional Compilers
FSM Library for Embedded C Projects
hackster.io·3d
🦀Embedded Rust
Cheating? Or the acumen of modern programming? FOSS, "AI", and human conscience
gist.github.com·14h·
Discuss: Hacker News
🔗Concatenative Programming
From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.com·3h·
Discuss: Hacker News
🤝Distributed Consensus
Regex Is a 70-Year-Old Dinosaur—Here’s the Modern Alternative
hackernoon.com·9h
🔍RegEx Engines
Honest Abe: Anti-BS Epistemology
austinross.xyz·49m·
Discuss: Hacker News
🔲Proof Irrelevance
Almost Always Auto (2013)
herbsutter.com·7h·
Discuss: Hacker News
🔒Type Safety
Performance Hacks for Brady’s Algorithm
nickdrozd.github.io·2d
🎞️Tape Combinatorics
A PhD's Apology
cappadokes.github.io·1d·
Discuss: Hacker News
🧮Theoretical Computer Science
2025-07-16: Understanding Hallucination in Large Language Models: Challenges and Opportunities
ws-dl.blogspot.com·16h·
Discuss: ws-dl.blogspot.com
✨Effect Handlers
What can we expect of LLMs as Software Engineers?
chelseatroy.com·2d
📝Text Parsing
On One-Shot Signatures, Quantum vs Classical Binding, and Obfuscating Permutations
arxiv.org·12h
🔐Quantum Security