essential spectrum
ncatlab.org·23h
🔗Category Theory
Flag this post
Sorting by Strip Swaps is NP-Hard
arxiv.org·1d
⏭️Skip Lists
Flag this post
KTransformers Open Source New Era: Local Fine-tuning of Kimi K2 and DeepSeek V3
🗺️Region Inference
Flag this post
learn-data-structures-js
🪢Rope Data Structures
Flag this post
Cursor's Composer-1 vs. Windsurf's SWE-1.5: The Rise of Vertical Coding Models
🎮Language Ergonomics
Flag this post
esp-rs/esp-hal
github.com·1d
💪ARM64 Backend
Flag this post
Loquetier: A Virtualized Multi-LoRA Framework for Unified LLM Fine-tuning and Serving
arxiv.org·1d
🏗️MLIR
Flag this post
My C++ lockless-ish task scheduler project ive been working on (first real project, also first time using threads) tell me what you think (BSD license) currentl...
🔄Nanopass
Flag this post
Understanding Code Agent Behaviour: An Empirical Study of Success and Failure Trajectories
arxiv.org·1d
📦Dependency Analysis
Flag this post
QuantumBench: A Benchmark for Quantum Problem Solving
arxiv.org·1d
🏁Language Benchmarks
Flag this post
Imperfect Language, Artificial Intelligence, and the Human Mind: An Interdisciplinary Approach to Linguistic Errors in Native Spanish Speakers
arxiv.org·1d
✅Type Checking
Flag this post
Sable and Able: A Tale of Two ASIs
lesswrong.com·3h
🏰Capability Machines
Flag this post
PlotCraft: Pushing the Limits of LLMs for Complex and Interactive Data Visualization
arxiv.org·1d
🌊Dataflow Languages
Flag this post
Probing Knowledge Holes in Unlearned LLMs
arxiv.org·1d
🪜Recursive Descent
Flag this post
Loading...Loading more...