are-dependent-types-actually-erased
💻Tech
Flag this post
From Vibe Coding to Informed Development: How Codalio PRD Transforms Your Cursor Workflow
🛠️Developer Tools
Flag this post
Gated DeltaNet (Linear Attention variant in Qwen3-Next and Kimi Linear)
⚡LLM Optimization
Flag this post
Gamma convergence for a phase-field cohesive energy
arxiv.org·1d
⚡LLM Optimization
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.org·8h
⚡LLM Optimization
Flag this post
NOWS: Neural Operator Warm Starts for Accelerating Iterative Solvers
arxiv.org·8h
⚡LLM Optimization
Flag this post
Code execution with MCP: Building more efficient agents
simonwillison.net·13h
🛠️Developer Tools
Flag this post
Deep Learning Approach to Anomaly Detection in Enterprise ETL Processes with Autoencoders
arxiv.org·1d
⚡LLM Optimization
Flag this post
Day 2 of building Secrin
📊Data Visualization
Flag this post
Loading...Loading more...