Strict alternation of data and behaviour in Smalltalk
eighty-twenty.org·1d
📞Session Types
Understanding Brotli PDF Compression
pdfa.org·12h
🌪️Brotli
Speeding up sideeffects with JIT in mountaineer
pierce.dev·7h·
Discuss: Hacker News
🦀Rust Macros
To Bind and Loose a Reference
thephd.dev·5d·
Discuss: Lobsters, Hacker News
🎯Gradual Typing
7 Popular LLMs Explained in 7 Minutes
kdnuggets.com·14h
💻Local LLMs
I Tested an OpenRewrite Recipe: The Mistakes I Made and How to Fix Them
hackernoon.com·6h
⚖️Verification Calculi
The AI Agent schism: deterministic vs. non deterministic
writing.kunle.app·1d·
Discuss: Hacker News
⚡Proof Automation
Practical tips to optimize documentation for LLMs, AI agents, and chatbots
biel.ai·2d·
Discuss: Hacker News
🤖Archive Automation
Reasoning about Uncertainty: Do Reasoning Models Know When They Don't Know?
arxiv.org·2d
🔍Type Inference
From Codicology to Code: A Comparative Study of Transformer and YOLO-based Detectors for Layout Analysis in Historical Documents
arxiv.org·22h
📃Manuscript Tokenization
Build a High-Performance Crypto Rankings API with Go + Inngest + Redis in 25 Minutes
dev.to·7h·
Discuss: DEV
🔍BitFunnel
On Union-Closedness of Language Generation
arxiv.org·2d
🔗Monadic Parsing
Day 5/100: Working with Strings — Basics to Formatting
dev.to·20h·
Discuss: DEV
📝Concrete Syntax
Enterprise Large Language Model Evaluation Benchmark
arxiv.org·22h
⚙️Compression Benchmarking
8 Essential Python Patterns for Building Bulletproof APIs That Scale
dev.to·2d·
Discuss: DEV
🌀Brotli Internals
🧠 My First Rosetta Stone: When OrKa Proved AI Can Think Structurally
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Algorithm Complexity: Time, Space, and Big-O Notation
dev.to·1d·
Discuss: DEV
🧮Kolmogorov Complexity
SACL: Understanding and Combating Textual Bias in Code Retrieval with Semantic-Augmented Reranking and Localization
arxiv.org·22h
🔍BitFunnel
DigitalOcean Fundamentals: API
dev.to·1d·
Discuss: DEV
🔌Interface Evolution
🚀 Mastering Vectors in Rust
dev.to·8h·
Discuss: DEV
🦀Rust Borrowing