derived set
ncatlab.org·14h
🧮Algebraic Archives
Deep Dive into Databend UDF, implementing your data solutions with Python, WASM
databend.com·15h·
Discuss: Hacker News
📋DFDL
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·14h·
Discuss: Substack
🦀Rust Macros
Threaded Code
muforth.dev·18h·
Discuss: Hacker News
🦀Rust Macros
The AI Agent schism: deterministic vs. non deterministic
writing.kunle.app·11h·
Discuss: Hacker News
⚡Proof Automation
[R] Is it true that most of AI is just data cleaning and not fancy models?
reddit.com·15h·
Discuss: r/MachineLearning
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Building a Language Server
bullno1.com·2d·
Discuss: Hacker News, r/programming
🗣️Domain-Specific Languages
Computational Complexity of Model-Checking Quantum Pushdown Systems
arxiv.org·2d
🔐Quantum Security
LFCS Seminar Tuesday 8th July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
Design Patterns After the Singularity: Rethinking the Gang of Four for an AI-Driven Stack
dev.to·1d·
Discuss: DEV
⚙️TLA+
On Union-Closedness of Language Generation
arxiv.org·2d
🔗Monadic Parsing
Causal discovery in deterministic discrete LTI-DAE systems
arxiv.org·1h
🧠Machine Learning
LFCS Seminar Friday 27th June: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
Computation of Immediate Neighbours of Monotone Boolean Functions
arxiv.org·2d
🔲Cellular Automata
Probabilistic and reinforced mining of association rules
arxiv.org·2d
🧠Learned Indexes
Ask HN: What if the universe itself runs on O(1) memory?
news.ycombinator.com·2h·
Discuss: Hacker News
🎞️Tape Combinatorics
Which AI is the strongest at writing code?
dev.to·19h·
Discuss: DEV
⚡Proof Automation
👹 Longest Binary Subsequence K – LeetCode 2311 (C++ | JavaScript | Python )
dev.to·5h·
Discuss: DEV
λLambda Encodings
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·2d
⚖️Hoare Logic
Counting with Categories (Part 1)
golem.ph.utexas.edu·3d
λLambda Formalization