Counterexamples in type systems (2021)
Article URL: https://counterexamples.org/ Comments URL: https://news.ycombinator.com/item?id=48718972 Points: 36 # Comments: 1
Full feed
Feed 6,344 posts
Every story across every category, newest first. Each card links to the original publisher; daily-brief posts open as editorial pages.
Studio Canal Movies purchased on PlayStation Store removed without refund
Article URL: https://www.playstation.com/en-gb/legal/psvideocontent/ Comments URL: https://news.ycombinator.com/item?id=48718967 Points: 7 # Comments: 1
Setup an H200 NVL on consumer(ish) hardware
https://preview.redd.it/v1lqvebe18ah1.jpg?width=1280&format=pjpg&auto=webp&s=65d8b41e9ad106d94506ef45a44c0c71ed2543fd Setup : MB ASUS WRX90E - SAGE SE 64 Core Threadripper processor H200NVL It required a bunch of BIOS config, especially PCIe BUS config CSM…
RT American AF 🇺🇸: It’s fascinating how Democrats never call for George Soros to be taxed more. His net worth is $7.5 billion.
RT American AF 🇺🇸It’s fascinating how Democrats never call for George Soros to be taxed more. His net worth is $7.5 billion.
I would be more convinced of "ai consciousness" if they gravitated towards literally *anything but* California Buddhism slop. In fairness, there is so…
I would be more convinced of "ai consciousness" if they gravitated towards literally *anything but* California Buddhism slop. In fairness, there is some of that around…
What happens when you run a CUDA kernel?
Article URL: https://fergusfinn.com/blog/what-happens-when-you-run-a-gpu-kernel/ Comments URL: https://news.ycombinator.com/item?id=48718863 Points: 8 # Comments: 0
Tidal AI Policy
Article URL: https://tidal.com/ai-policy Comments URL: https://news.ycombinator.com/item?id=48718840 Points: 55 # Comments: 30
underrated
underratedyung macro 宏观年少传奇: It’s a little surprising that a large cohort seems to consider it highly improbable that both of these can be true:1. People with…
Import AI 463: Self-improving robots; a 10k Chinese GPU cluster; and an elegiac essay for the human era
What eras bookend our interregnum?
Cluster, Route, Escalate: Cascaded Framework for Cost-Aware LLM Serving
Efficient deployment of large language models (LLMs) in production forces a trade-off between accuracy and cost. Operators often default to a single model that is either…
MultiHashFormer: Hash-based Generative Language Models
Language models (LMs) represent tokens using embedding matrices that scale linearly with the vocabulary size. To constrain the parameter footprint, prior work proposes hashing many tokens…
NixOS 26.05
Article URL: https://nixos.org/blog/announcements/2026/nixos-2605/ Comments URL: https://news.ycombinator.com/item?id=48718753 Points: 30 # Comments: 1
The Lab Mistake That Might Revolutionize Computing
Today, you probably asked a question of a large language model, or accepted a connection suggestion on LinkedIn, or watched a recommended video on YouTube, or…
Omen AI’s plan to optimize data centers is all wet
Omen AI raised a $31 million Series A to monitor chip coolant and stop bacterial outbreaks in data centers.
Reading the internals of Postgres: Database cluster, databases, and tables
Article URL: https://www.buraksen.dev/articles/internals-of-postgresql-db-cluster-and-tables Comments URL: https://news.ycombinator.com/item?id=48718716 Points: 25 # Comments: 0
No. DeepSeek-V4 does *not* force Anthropic to lower prices it may force Dario to write another shitty essay though, buckle up
No. DeepSeek-V4 does *not* force Anthropic to lower pricesit may force Dario to write another shitty essay though, buckle upMood: @scaling01 You think this forces Anthropic…
my second mention of empanadas on this account btw:
my second mention of empanadas on this account btw:Teortaxes▶️ (DeepSeek 推特🐋铁粉 2023 – ∞): Today on my way home I decided to buy empanadas (Carne Picante,…
Intuitive introduction to Abstract Nonsense
TL;DR John Wentworth has written a great introduction to category theory for someone who wants to do something useful with categories. This post has a different…
V4-Flash-REAP slowdown on a relatively old MacBook it's basically usable up to 384K context, I'd say I wonder how DSpark interacts with M-series bottl…
V4-Flash-REAP slowdown on a relatively old MacBookit's basically usable up to 384K context, I'd sayI wonder how DSpark interacts with M-series bottlenecksLjubomir Josifovski: @WaveCut @MrPeterLMorris @antirez…
No. it'll be worse because Dario has banned their distillation accounts. And also more expensive because no EUV in China. Whale is beached, sadly… Th…
No. it'll be worse because Dario has banned their distillation accounts. And also more expensive because no EUV in China. Whale is beached, sadly… They'll need…
RT X Freeze: SpaceX has now completed its 60th dedicated Starlink launch of 2026, putting nearly 1,600 new Starlink satellites into orbit this year al…
RT X FreezeSpaceX has now completed its 60th dedicated Starlink launch of 2026, putting nearly 1,600 new Starlink satellites into orbit this year aloneAll in just…
Kimi and GLM on frontier code
submitted by /u/Charuru [link] [comments]
The US military used AI to pick thousands of targets but missed a note saying one was a school
The probe into a missile strike on an Iranian school exposes serious gaps in the US military's targeting infrastructure. AI is supposed to close them. The…
There are no American flags, but there are flags of many other countries. Those whose loyalty is to another country over America are, by definition, t…
There are no American flags, but there are flags of many other countries. Those whose loyalty is to another country over America are, by definition, traitors…