How do CAPTCHAs Work?
corero.com·10h
⚡Proof Automation
The Sliding Window in Haskell & Rust
mmhaskell.com·2d
λLambda Encodings
Deep Dive into Databend UDF, implementing your data solutions with Python, WASM
databend.com·9h·
Discuss: Hacker News
📋DFDL
Hypercubical manifolds in homotopy type theory
arxiv.org·19h
🔶Cubical Type Theory
Using Wavelets and Clustering to Predict Odd or Even Numbers: An Overengineered Approach with Pretty (But Confusing) Plots
dev.to·10h·
Discuss: DEV
🧠Machine Learning
Plan for Speed -- Dilated Scheduling for Masked Diffusion Language Models
arxiv.org·19h
💻Local LLMs
Algorithm Complexity: Time, Space, and Big-O Notation
dev.to·14h·
Discuss: DEV
🧮Kolmogorov Complexity
I Built My Own Programming Language and its Virtual Machine In Python!
dev.to·1d·
Discuss: DEV
🔗Concatenative Programming
The Bitter Lesson is coming for Tokenization
lucalp.dev·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Monadic Parsing
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·8h·
Discuss: Substack
🦀Rust Macros
Threaded Code
muforth.dev·13h·
Discuss: Hacker News
🦀Rust Macros
Adding linear-time lookbehinds to RE2
systemf.epfl.ch·4d·
Discuss: Lobsters, Hacker News, r/programming
🔍RegEx Engines
[R] Is it true that most of AI is just data cleaning and not fancy models?
reddit.com·9h·
Discuss: r/MachineLearning
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
The AI Agent schism: deterministic vs. non deterministic
writing.kunle.app·6h·
Discuss: Hacker News
⚡Proof Automation
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.com·11h·
Discuss: Hacker News
🔗Constraint Handling
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·19h
🔍Concolic Testing
How I Built a Self-Correcting Prompt Generator with Multi-Stage LLM Calls"
dev.to·10h·
Discuss: DEV
🤖Lisp Machines
Memory Safety in Web Rust System Zero Cost Secure（1750885516953300）
dev.to·2h·
Discuss: DEV
🦀Rust Borrowing
On Union-Closedness of Language Generation
arxiv.org·1d
🔗Monadic Parsing
Building a Language Server
bullno1.com·2d·
Discuss: Hacker News, r/programming
🗣️Domain-Specific Languages