Jordan triple system
ncatlab.org·2d
🔗Category Theory
Flag this post
Federico Biancuzzi, Shane Warden, & Anders Hejlsberg
deprogrammaticaipsum.com·5h
📖Literate Programming
Flag this post
Roadmap for Improving the Type Checker
✅Type Checking
Flag this post
My first fifteen compilers (2019)
🔬Nanopasses
Flag this post
Superhuman AI for Multiplayer Poker
🐹Minimal Go
Flag this post
StreetMath: Study of LLMs' Approximation Behaviors
arxiv.org·3d
🌱Minimal ML
Flag this post
**Adaptive Algorithmic Profiling & Resource Allocation via Dynamic Markov Chain Optimization**
⚡Partial Evaluation
Flag this post
A Quantitative Framework to Predict Wait-Time Impacts Due to AI-Triage Devices in a Multi-AI, Multi-Disease Workflow
arxiv.org·3h
📋Task Queues
Flag this post
InertialAR: Autoregressive 3D Molecule Generation with Inertial Frames
arxiv.org·3h
✨Effect Inference
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·3d
🔗Category Theory
Flag this post
RegionRAG: Region-level Retrieval-Augumented Generation for Visually-Rich Documents
arxiv.org·3h
⚖️Weighted Automata
Flag this post
Enhanced Slater Determinant Calculation via Hybrid Tensor Decomposition & Adaptive Mesh Refinement
🧩Constraint Solvers
Flag this post
Rasterizer Project - Part 3: Geometry
🔀SIMD Programming
Flag this post
Developing a Multi-task Ensemble Geometric Deep Network for Supply Chain Sustainability and Risk Management
arxiv.org·3d
🪜Recursive Descent
Flag this post
Dataset Creation and Baseline Models for Sexism Detection in Hausa
arxiv.org·3h
🌱Minimal ML
Flag this post
Identifying the Periodicity of Information in Natural Language
arxiv.org·3h
⚖️Weighted Automata
Flag this post
A Hybrid Deep Learning and Forensic Approach for Robust Deepfake Detection
arxiv.org·3h
🔍Lens Libraries
Flag this post
Loading...Loading more...