Dissecting My Recent Argument (Are Error Theories Offensive?)
nakedcapitalism.com·1d
⚔️Lean Theorem
FLINT: Fast Library for Number Theory
flintlib.org·1d
🧮Algebraic Datatypes
Fair Auctions, Automata Routing, and Rebalancing for Distributed Mobility‑On‑Demand Assignment
hackernoon.com·1d
🎯Performance Proofs
Show HN: DataCompose – Prevent downstream data failures with composite functions
datacompose.io·1d·
Discuss: Hacker News
✅Format Validation
My thoughts on Vertical Slices, CQRS, Semantic Diffusion and other fancy words
architecture-weekly.com·1d·
Discuss: Hacker News, r/programming
🔌Interface Evolution
Make and SQL: An old new way for Data Science workloads
vasvir.wordpress.com·11h·
Discuss: Hacker News
🦀Rust Macros
Q&A: Douglas Hofstadter on why AI is far from intelligent (2017)
qz.com·39m·
Discuss: Hacker News
🔲Cellular Automata
Using Real Survey Data to Create Authentic AI Personas for Extended Research
askrally.com·16h·
Discuss: Hacker News
🏛Digital humanities
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com·2d
🧪Binary Fuzzing
Meta-R1: Empowering Large Reasoning Models with Metacognition
arxiv.org·1d
🧠Intelligence Compression
Tailored Teaching with Balanced Difficulty: Elevating Reasoning in Multimodal Chain-of-Thought via Prompt Curriculum
arxiv.org·1h
🧮Kolmogorov Complexity
LLMs Can't Handle Peer Pressure: Crumbling under Multi-Agent Social Interactions
arxiv.org·1h
🔲Cellular Automata
Literature Review of the Effect of Quantum Computing on Cryptocurrencies using Blockchain Technology
arxiv.org·1d
🔐Quantum Security
A Novel Framework for Uncertainty Quantification via Proper Scores for Classification and Beyond
arxiv.org·1d
📊Learned Metrics
The Lazy Genius Inside Your Chatbot: Meet MoD, the Art of Thinking Less but Smarter
dev.to·10h·
Discuss: DEV
🧠Intelligence Compression
Sound and Solution-Complete CCBS
arxiv.org·2d
🛡️Archive Verification
Reproducible LLM Benchmarking: GPT-5 vs Grok-4 with Promptfoo
dev.to·7h·
Discuss: DEV
⚡gRPC
Exhaustive Generation of Pattern-Avoiding s-Words
arxiv.org·2d
💾Binary Linguistics
Route-and-Execute: Auditable Model-Card Matching and Specialty-Level Deployment
arxiv.org·1d
🦋Format Metamorphosis
Sapir-Whorf does not apply to Programming Languages
buttondown.com·5d·
Discuss: Hacker News
💻Programming languages