Can LLMs subtract numbers?
arxiv.org·5h
📝Parsing
Flag this post
Minimalistic CLAUDE.md for new projects: Follow SOLID, DRY, YAGNI, KISS
🔨Incremental Compilation
Flag this post
Going From Reactive to Predictive Incident Response with AIOps
hackernoon.com·13h
⚡Performance Engineering
Flag this post
Geonum – geometric number library for unlimited dimensions with O(1) complexity
📏Linear Types
Flag this post
PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·22h
🔤Language Design
Flag this post
Iterative Cut-Based PWA Approximation of Multi-Dimensional Nonlinear Systems
arxiv.org·1d
📐Linear Algebra
Flag this post
flowengineR: A Modular and Extensible Framework for Fair and Reproducible Workflow Design in R
arxiv.org·1d
🔧Data Engineering
Flag this post
Readable Code Is Unreadable
🏭Code Generation
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.org·5h
🧮SMT Solvers
Flag this post
My dumb prompts that worked better
blog.nilenso.com·1d
💬Prompt Engineering
Flag this post
Loading...Loading more...