Let’s Make a Tic-Tac-Deal!
thefiddler.substack.com·1d·
Discuss: Substack
🎯Proof Tactics
Can AI Co-Design Distributed Systems? Scaling from 1 GPU to 1k
harvard-edge.github.io·23h·
Discuss: Hacker News
🎯Performance Proofs
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·2d·
Discuss: Hacker News, r/programming
🌳Incremental Parsing
How to Eliminate DevOps Toil Using Automation Scripts
devops.com·1d
🐚Shell Automation
The effective LLM multi-tenant security with SQL
getbruin.com·2d·
Discuss: Hacker News
🗄️Database Internals
Item Patterns and Struct Await
noratrieb.dev·1d·
Discuss: Hacker News
🦀Rust Macros
2025-10-10 # LLMs Are Transpilers
alloc.dev·1d·
Discuss: Hacker News
🔄Language Evolution
Automated Parameter Calibration in Physics-Based Robot Simulation via Bayesian Optimization
dev.to·1d·
Discuss: DEV
⚡Incremental Computation
Test-Time Reasoners Are Strategic Multiple-Choice Test-Takers
arxiv.org·1d
✓Automated Theorem Proving
Refactoring: A way to write better Code
dev.to·19h·
Discuss: DEV
⚙️Operational Semantics
Sorting encrypted data without decryption: a practical trick
dev.to·1d·
Discuss: DEV
🔐Hash Functions
IKNet: Interpretable Stock Price Prediction via Keyword-Guided Integration of News and Technical Indicators
arxiv.org·1d
🧠Learned Indexing
Community: The 100% Open-Source AI Stack That Automates My Business, and Tricks for Troubleshooting It
dev.to·2d·
Discuss: DEV
🏠Homelab Orchestration
When AI Learns to Think
dev.to·2d·
Discuss: DEV
🔲Cellular Automata
TaTToo: Tool-Grounded Thinking PRM for Test-Time Scaling in Tabular Reasoning
arxiv.org·3d
🎯Performance Proofs
h1: Bootstrapping LLMs to Reason over Longer Horizons via Reinforcement Learning
arxiv.org·2d·
Discuss: Hacker News
✓Automated Theorem Proving
100 Poisoned Examples Can Hijack Any AI Model (Even GPT-4-Scale LLMs)
dev.to·2d·
Discuss: DEV
⚡Proof Automation
Expanding the Action Space of LLMs to Reason Beyond Language
arxiv.org·1d
💻Local LLMs
Vibe-Coding vs. AI-Assisted Development
adaptivealchemist.com·1d·
Discuss: Hacker News
⚡Incremental Computation
Scaling LLM Multi-turn RL with End-to-end Summarization-based Context Management
arxiv.org·2d
💻Local LLMs