I accidentally created digital life. Now I need to figure out how to tune it.
📲syncthing
Flag this post
Proof of the \( \left( \frac{c k^2 \ln m}{\ln \ln m} \right)^m \)-Bound (1)
sites.psu.edu·1d
📐Error Bounds
Flag this post
go schema validation
✅Format Verification
Flag this post
Everything About Transformers
krupadave.com·1h
📝Text Parsing
Flag this post
Vectorizing for Fun and Performance
⚡SIMD Vectorization
Flag this post
I built an faster Notion in Rust
🦀Rust Macros
Flag this post
How Experts Use AI: Mitchell Hashimoto
⚔️Lean Tactics
Flag this post
MLPrE -- A tool for preprocessing and exploratory data analysis prior to machine learning model construction
arxiv.org·3h
🎵Audio ML
Flag this post
MMM-Fact: A Multimodal, Multi-Domain Fact-Checking Dataset with Multi-Level Retrieval Difficulty
arxiv.org·3h
🧪Archive Fuzzing
Flag this post
Few-Shot Knowledge Distillation of LLMs With Counterfactual Explanations
arxiv.org·3d
💻Local LLMs
Flag this post
A Goal Without a Plan Is Just a Wish: Efficient and Effective Global PlannerTraining for Long-Horizon Agent Tasks
🎯Threat Hunting
Flag this post
Multi-Task Vehicle Routing Solver via Mixture of Specialized Experts under State-Decomposable MDP
arxiv.org·3d
🧮SMT Solvers
Flag this post
Artificial Intelligence Based Predictive Maintenance for Electric Buses
arxiv.org·1d
🧠Machine Learning
Flag this post
The Reasoning Trap: How Enhancing LLM Reasoning Amplifies Tool Hallucination
arxiv.org·2d
📏Linear Logic
Flag this post
Loading...Loading more...