Coping with Complexity
slott56.github.io·4d
🔗Concatenative Programming
Deciding Termination of Simple Randomized Loops
arxiv.org·1d
🌳Persistent Data Structures
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·16h·
Discuss: Hacker News, r/programming
🔗Lisp
Program Synthesis is Interesting and Open
stephendiehl.com·4d·
Discuss: Hacker News
💻Programming languages
Greedy Is Good. Less Greedy May Be Better
gojiberries.io·1d·
Discuss: Hacker News
🧮Kolmogorov Complexity
I Built My Own Programming Language and its Virtual Machine In Python!
dev.to·1d·
Discuss: DEV
🔗Concatenative Programming
Probabilistic and reinforced mining of association rules
arxiv.org·1d
🧠Learned Indexes
How to Make Large-Scale Experiments Smarter and Cheaper with AI-Driven Proofs
dev.to·12h·
Discuss: DEV
✓Automated Theorem Proving
LFCS Seminar Thursday 26th June: John Longley
informatics.ed.ac.uk·2d
🔗Combinatory Logic
Contextualizing SUTRA: Advancements in Multilingual & Efficient LLMs
hackernoon.com·11h
💻Local LLMs
Polystate: Composable Finite State Machines
github.com·3d·
Discuss: Lobsters, Hacker News, r/Zig
🌐Protocol Synthesis
OMEGA: Can LLMs Reason Outside the Box in Math? Evaluating Exploratory, Compositional, and Transformative Generalization
arxiv.org·1d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Fully lifted \emph{blirp} interpolation -- a large deviation view
arxiv.org·23h
🌀Fractal Compression
Hypercubical manifolds in homotopy type theory
arxiv.org·23h
🔶Cubical Type Theory
LFCS Seminar Friday 27th June: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
Machine Learning Fundamentals: accuracy with python
dev.to·1d·
Discuss: DEV
👁️Observatory Systems
Lessons from LangChain and Slack and MCP Integration
medium.com·1d·
Discuss: Hacker News
🔗Topological Sorting
Introduction to Algorithms: What They Are and Why They Matter
dev.to·1d·
Discuss: DEV
🧮Kolmogorov Complexity
ARCH-COMP25 Category Report: Stochastic Models
arxiv.org·1d
🎯Performance Proofs
Validating Mechanistic Interpretations: An Axiomatic Approach
arxiv.org·1d
⚖️Hoare Logic