What is the computational substance of the axiom of choice?
This post is also available on my Substack.I feel like online discussions of the axiom of choice either get impenetrably technical, or uselessly vague. Through realizability…
Full feed
Feed 28,133 posts
Every story across every category, newest first. Each card links to the original publisher; daily-brief posts open as editorial pages.
Talos-XII: hand-written autograd + small RL/MLP stack in Rust, applied to gacha probability modeling (no tch-rs/ndarray/PyTorch) — looking for benchmark help on ARM/AVX-512/GPU [P]
What it is Talos-XII is a CLI simulator for the gacha system in Arknights: Endfield. Rather than sampling from a static probability table, it trains a…
It all comes together in 10 minutes. http://openai.com/live
It all comes together in 10 minutes.http://openai.com/live
This is tremendous progress from AI-2027. That one was "total burger victory" or "total burger victory with extra steps". AI 2040 signals Acceptance. …
This is tremendous progress from AI-2027. That one was "total burger victory" or "total burger victory with extra steps". AI 2040 signals Acceptance. The endorsed default…
Show HN: Devthropology – Better Insights for GitHub Repos
Devthropology is a passion project built on top of GitHub pull data. The name is a play on developer anthropology. Pull request data can be cut…
RT Lisan al Gaib: what a nice and comforting message "you non-american subhumans get 1/1000th of the average american you are trash and don't deserve …
RT Lisan al Gaibwhat a nice and comforting message"you non-american subhumans get 1/1000th of the average americanyou are trash and don't deserve anything"but it's for the…
Aurora 1.5: Extending open foundation models for weather and Earth-system applications
Aurora 1.5 adds 22 more variables, hourly temporal resolution, and probabilistic ensemble forecasting to the Aurora foundation model, making it more useful for real-world weather, climate,…
Consistent with the simulation hypothesis. Like a video game, objects are randomly generated, with positional certainty only when observed.
Consistent with the simulation hypothesis. Like a video game, objects are randomly generated, with positional certainty only when observed.
OpenAI’s GPT-5.6 Sol, Terra, and Luna are now available in GitHub Copilot
OpenAI’s GPT-5.6 family is now rolling out in GitHub Copilot. GPT-5.6 comes in three variants, Sol, Terra, and Luna, so you can match the model to…
MCP tool design: Practical approaches and tradeoffs
In this post, we show where MCP tool design goes wrong and how to fix it with practical context engineering approaches.
Skeptical of the TESCREAL Acronym? Read This.
Cross-posting from here.Party Night in SVImagine attending a party in Silicon Valley full of people in the tech industry. You get to talking with a guy…
Enhancing enterprise inference on Amazon SageMaker HyperPod with data capture, Hugging Face, NVMe, and Route 53 integration
In this post, we walk through five capabilities now available in SageMaker HyperPod inference: multi-tier data capture for auditing and model improvement, direct deployment from Hugging…
Our Long-Term Benefit Trust has appointed Dr. Ben Bernanke as its newest member. Read more: https://www.anthropic.com/news/ben-bernanke
Our Long-Term Benefit Trust has appointed Dr. Ben Bernanke as its newest member. Read more: https://www.anthropic.com/news/ben-bernanke
one thing that really pisses me off about DeepSeek is how cowardly and lazy it is by modern standards. "the file will be le big!" and procrastination …
one thing that really pisses me off about DeepSeek is how cowardly and lazy it is by modern standards. "the file will be le big!" and…
molten salt not really a solar plant solution at all, these are two separate systems of very different capacity. A reasonable alternative to batteries…
molten saltnot really a solar plant solution at all, these are two separate systems of very different capacity. A reasonable alternative to batteries is Pumped Thermal…
AI 2040: Plan A
For the past year, we at the AI Futures Project have been sinking most of our time into our next big scenario. Now it’s done! It’s…
How big is the Sun? How could you figure it out?
I’m a few chapters into Our Mathematical Universe by Max Tegmark. By this point he’s covered the ingenuities of the ancient Greeks, taking my knowledge of…
Introducing Muse Spark 1.1
Introducing Muse Spark 1.1 Following Muse Spark in April, here's Muse Spark 1.1 - the first Spark model to offer an API. Meta claim significant improvements…
RT OpenAI: Today. 10am PT.
RT OpenAIToday. 10am PT.
AI 2040: Plan A
Article URL: https://ai-2040.com/ Comments URL: https://news.ycombinator.com/item?id=48848425 Points: 264 # Comments: 276
Interesting comparison of Grok & Opus 1M+ context window coming soon
Interesting comparison of Grok & Opus1M+ context window coming soon
RT Daniel Jeffries: Open source powers everything in America. We must fight any and all attempts to restrict it in the age of AI. We must never surren…
RT Daniel JeffriesOpen source powers everything in America. We must fight any and all attempts to restrict it in the age of AI. We must never…
RT X Freeze: The upcoming wave of SpaceXAI Grok updates is insane Grok 4.5: The 1.5T foundation model is being refined almost daily, and its context w…
RT X FreezeThe upcoming wave of SpaceXAI Grok updates is insaneGrok 4.5:The 1.5T foundation model is being refined almost daily, and its context window is expected…
This is important because 1) Kazakhstan is the global uranium powerhouse 2) China needs ALOT of uranium 3) KZ has joined Pax Silica I expect China to …
This is important because 1) Kazakhstan is the global uranium powerhouse2) China needs ALOT of uranium3) KZ has joined Pax SilicaI expect China to unwind some…