'The Computer-Science Bubble Is Bursting'
developers.slashdot.org·37m
💻CS
Travels, 10
cameroncounts.wordpress.com·3h
🎯Performance Proofs
Validating Mechanistic Interpretations: An Axiomatic Approach
arxiv.org·1d
⚖️Hoare Logic
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·1d·
Discuss: Hacker News
💻Local LLMs
I Built My Own Programming Language and its Virtual Machine In Python!
dev.to·21h·
Discuss: DEV
🔗Concatenative Programming
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·7h·
Discuss: Hacker News, r/programming
🔗Lisp
2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)
siglog.org·4d·
Discuss: Hacker News, r/programming
💻Programming languages
Computation of Immediate Neighbours of Monotone Boolean Functions
arxiv.org·1d
🔲Cellular Automata
Single Core Hundred Thousand Concurrency（1750866547511600）
dev.to·2h·
Discuss: DEV
🌊Stream Processing
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.com·1d
🧮Z3 Solver
4-input 2-output Boolean circuits (2020)
cp4space.hatsya.com·1d·
Discuss: Hacker News
⚙️Logic Synthesis
Visual hallucination detection in large vision-language models via evidential conflict
arxiv.org·14h
📊Learned Metrics
The dark side of Python (for CS students before learning Python)
gist.github.com·3d·
Discuss: Hacker News
💻programming languages
Boolean Blindness
existentialtype.wordpress.com·5d·
Discuss: Hacker News
🔲Proof Irrelevance
Mirage of Mastery: Memorization Tricks LLMs into Artificially Inflated Self-Knowledge
arxiv.org·14h
🧠Intelligence Compression
PEGTL -- Parsing Expression Grammar Template Library
github.com·19h·
Discuss: Hacker News
🔗Parser Combinators
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
Introduction to Algorithms: What They Are and Why They Matter
dev.to·1d·
Discuss: DEV
🧮Kolmogorov Complexity
SLR: An Automated Synthesis Framework for Scalable Logical Reasoning
arxiv.org·2d
📏Linear Logic
Threaded Code
muforth.dev·7h·
Discuss: Hacker News
🦀Rust Macros