Pool allocator in C++23 for simulations / game engines - faster than std::pmr
💾Memory Allocators
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.org·1d
🧮SMT Solvers
Flag this post
My query languages library pivot
🔥DataFusion
Flag this post
Enhanced Interoperability via Dynamic Semantic Alignment in Cross-Chain DeFi Protocols
💰TigerBeetle
Flag this post
About AI and context
💬Prompt Engineering
Flag this post
I've created a leetcode for system design
🎨Design Systems
Flag this post
AI-Driven Microfluidic Design Optimization via Hyperdimensional Feature Mapping & Reinforcement Learning
💬Prompt Engineering
Flag this post
Generative Hints
arxiv.org·13h
🔲Cellular Automata
Flag this post
DecompSR: A dataset for decomposed analyses of compositional multihop spatial reasoning
arxiv.org·1d
🌳Tree-sitter
Flag this post
Loading...Loading more...