Science history: Russian mathematician quietly publishes paper — and solves one of the most famous unsolved conjectures in mathematics — Nov. 11, 2002
🕸️Graph Theory
Flag this post
Accounting has only CRUD APIs
🔢Algebraic Data Types
Flag this post
Network and Risk Analysis of Surety Bonds
arxiv.org·1d
🕸️Graph Theory
Flag this post
I implemented init, add, commit, branch, checkout, and merge in Go!
🔄Reproducible Builds
Flag this post
Improving Asset Allocation in a Fast Moving Consumer Goods B2B Company: An Interpretable Machine Learning Framework for Commercial Cooler Assignment Based on Mu...
arxiv.org·1d
🔍CBMC
Flag this post
Classification of Microplastic Particles in Water using Polarized Light Scattering and Machine Learning Methods
arxiv.org·1d
🔢Matrix Decomposition
Flag this post
Learning Time-Varying Graph Signals via Koopman
arxiv.org·1d
🕸️Graph Theory
Flag this post
Making of DOGWALK - Blender Studio's game project (godotfest2025)
cdn.media.ccc.de·22h
🔲Cellular Automata
Flag this post
Building a Scalable, Real-Time Tech News System with Python, RabbitMQ, and Kubernetes.
🔧Microservices
Flag this post
Cracking the Code: Why AI Still Struggles with List Languages by Arvind Sundararajan
🔤Language Design
Flag this post
Steering LLMs toward Korean Local Speech: Iterative Refinement Framework for Faithful Dialect Translation
arxiv.org·1d
🧩Parser Combinators
Flag this post
SpatialThinker: Reinforcing 3D Reasoning in Multimodal LLMs via Spatial Rewards
arxiv.org·1d
🧩Separation Logic
Flag this post