Functors, Natural Transformations, Monads, Type Theory, Abstract Algebra, Monoids, Algebraic Structures, Mathematical Structures

Microsoft siktar bortom AI โ€“ vill ta fram superintelligens
omni.seยท1d
๐Ÿค–AI Curation
Flag this post
What I Talk About When I Talk About Grading
unintendedconsequenc.esยท23h
๐Ÿ“šProof Pedagogy
Flag this post
Weekly Bookmarks
inkdroid.orgยท4d
๐Ÿ Homelab Archaeology
Flag this post
How Tiles Works โ€“ Tiles Privacy
blog.tiles.runยท1dยท
Discuss: Hacker News
๐Ÿ”HSM Integration
Flag this post
The Riemann zeta function and tuning
en.xen.wikiยท1dยท
Discuss: Hacker News
๐ŸŽผAudio Lambda Calculus
Flag this post
5 ways to make Gemini your everyday AI art teacher
techradar.comยท11h
๐Ÿ“Mathematical Art
Flag this post
Optimizing filtered vector queries from tens of seconds to single-digit milliseconds in PostgreSQL
clarvo.aiยท2dยท
Discuss: Hacker News
๐Ÿง Query Planners
Flag this post
Rain Launches Its Decentralized Prediction Markets Protocol, Anyone Can Create Their Own Market
hackernoon.comยท17h
๐Ÿ“กRSS Syndication
Flag this post
Java vs JavaScript vs Python: Which Is Best for Test Automation?
dev.toยท9hยท
Discuss: DEV
โšกProof Automation
Flag this post
The older I get, the better my code becomes
dev.toยท2dยท
Discuss: DEV
โš™๏ธBuild Archaeology
Flag this post
From the depths to discovery: Tiny limpet reveals big secrets of the deep sea
phys.orgยท1d
๐ŸฆดBinary Paleontology
Flag this post
Automated Prompt Generation for Code Intelligence: An Empirical study and Experience in WeChat
arxiv.orgยท1d
โšกProof Automation
Flag this post
The Orchestrator Pattern: Routing Conversations to Specialized AI Agents
dev.toยท2dยท
Discuss: DEV
๐ŸŒProtocol Synthesis
Flag this post
Augmenting learning in neuro-embodied systems through neurobiological first principles
arxiv.orgยท3d
๐Ÿ”ฒCellular Automata
Flag this post
Learning a Distance for the Clustering of Patients with Amyotrophic Lateral Sclerosis
arxiv.orgยท2d
๐ŸงชData science
Flag this post
SAIL-RL: Guiding MLLMs in When and How to Think via Dual-Reward RL Tuning
arxiv.orgยท2d
๐Ÿ”ฒCellular Automata
Flag this post
Deciphering Human Language for Machines: A Developer's Guide to NLP
dev.toยท2dยท
Discuss: DEV
๐Ÿค–Grammar Induction
Flag this post
Levers of Power in the Field of AI
arxiv.orgยท16h
๐Ÿค–AI Curation
Flag this post
Alternative Fairness and Accuracy Optimization in Criminal Justice
arxiv.orgยท16h
๐ŸŽฏArithmetic Coding Theory
Flag this post