In case you missed itElon Musk says xAI's 1.5-trillion-parameter Grok 4.5 has entered private beta testing at Tesla and SpaceXGR#400|@RAUCHGBY#380|@BILLYUCHENLINMA#315|@MARTIN_CASADOMB#57|@MILES_BRUNDAGEEM#52|@ELONMUSK+10 more
#1 VIEWEDFormer Meta PM Xiaoyin Qu predicts US and European enterprises will adopt Chinese AI models to self-host on private GPUsXL#1855|@XLR8HARDERZE#1695|@ZEPHYR_Z9AD#1537|@DORIALEXANDERRP#1257|@ROHANPAUL_AIXJ#830|@_XJDR
#1 COMMENTSNomad List founder Pieter Levels criticizes Windows 11 for full-screen, multi-step Microsoft 365 upsell ads on a paid licenseTS#1050|@TIMSWEENEYEPIC@L#627|@LEVELSIO
FASTEST CLIMBINGStartup 8090 raises $135 million in Series A funding led by Salesforce VenturesAP#1222|@APOMPLIANOMP#928|@MARKPINCCP#347|@CHAMATH
0:51AP#1222|@APOMPLIANOMP#928|@MARKPINCCP#347|@CHAMATH8090 Raises $135M Series A Led by Salesforce Ventures1h ago|Views 144KLikes 975Bookmarks 328
0:32CH#1360|@KIMMONISMUSChart Shows AI Uses Far Less Water Than Beef or Sugar2h ago|Views 36KLikes 517Bookmarks 273
1:28CH#1360|@KIMMONISMUSAnthropic CEO Warns Open Source AI Moves Down Dangerous Path7h ago|Views 236KLikes 175Bookmarks 33
2:52CP#855|@CHRIS_J_PAXTONOne Model Controls Multiple Robots in UMI-Style Mobile Manipulation Demo1h ago|Views 1.9KLikes 25Bookmarks 8
0:10FO#1853|@FOFRAIOmni AI Video Tool Renders Text Accurately In Prompt Demo52m ago|Views 3.1KLikes 31Bookmarks 13
0:19KA#403|@YACINEMTBDIY Builder Shares Sim2Real Quadruped And Biped Robot Walking Tests2h ago|Views 359Likes 0Bookmarks 0
0:39RV|@RONALD_VANLOON1,372 Humanoid Robots Set Guinness Record With Synchronized Dance6h ago|Views 1.6KLikes 9Bookmarks 2
0:45RV|@RONALD_VANLOONGoogle Builds Always-On AI Agent That Acts With Phone Locked5h ago|Views 1.7KLikes 8Bookmarks 1
0:13RV|@RONALD_VANLOONStudents Design AI-Powered Robot That Picks and Shoots Moving Balls5h ago|Views 1.7KLikes 6Bookmarks 1
0:50RV|@RONALD_VANLOONSoftware-Defined EVs Transform Driving With Centralized Computing And ML1h ago|Views 728Likes 1Bookmarks 0
…work/terminal-bench-31H AGOBenchmarks LLM agents on hard realistic tasks via terminal commands in containerized environments.MA1207257 stars
…enorman/CanonicalLean2H AGOProvides canonical tactic in Lean for exhaustive term search in dependent type theory.TA1140122 stars
NHagar/substack_api3H AGOWraps Substack's unofficial API in Python classes for newsletters, posts, users, chats plus a CLI.CB1674214 stars
ai-dynamo/dynamo7H AGOOrchestrates datacenter-scale distributed LLM inference serving with disaggregated prefill/decode, KV-aware routing, and multi-tier caching above engines like vLLM.LD7517.4k stars
toasterman234/ax-plane11H AGOManages Ax LLM agent runs, approvals, evals, and workflows via local Postgres-backed API, worker, and live SSE dashboard.🎭10148 stars
xlang-ai/OSWorld-V221H AGOBenchmarks computer-use agents on long-horizon real-world desktop tasks via VM environments and gated task sets.🎭1014YS397TY84371 stars
deepseek-ai/DeepSpec1D AGOProvides full-stack code for training/evaluating speculative decoding draft models with data prep and eval scripts.AC484ZL1194EL11362.5k stars
THUDM/slime2D AGOIntegrates Megatron training with SGLang rollouts for LLM post-training and RL scaling.GH458🎭1014AC4847k stars
…nd-models-of-ai-tools3D AGOAggregates leaked and open-sourced system prompts plus tool definitions from AI coding agents like Cursor, Claude, and Devin.🎭1014SC827141.3k stars
anthropics/skills3D AGOHosts collections of self-contained skills, specs, and templates for dynamically extending Claude's capabilities on specialized tasks.🎭1014AG1467155.8k stars