You Don't Know Jack About Formal Verification
Article URL: https://queue.acm.org/detail.cfm?id=3819084 Comments URL: https://news.ycombinator.com/item?id=48719521 Points: 14 # Comments: 0
Full feed
Feed 5,496 posts
Every story across every category, newest first. Each card links to the original publisher; daily-brief posts open as editorial pages.
RT Ben Burtenshaw: before model distillation was an attack vector. it was. pretty handy way of improving model performance on a task you care about. e…
RT Ben Burtenshawbefore model distillation was an attack vector. it was. pretty handy way of improving model performance on a task you care about. especially if…
RocketLab Acquires Iridium
Article URL: https://investors.rocketlabcorp.com/news-releases/news-release-details/rocket-lab-acquire-iridium-historic-deal-creating-fully Comments URL: https://news.ycombinator.com/item?id=48719485 Points: 7 # Comments: 1
DocumentDB – a MongoDB compatible open-source database
Article URL: https://documentdb.io/ Comments URL: https://news.ycombinator.com/item?id=48719483 Points: 10 # Comments: 5
Parallel Rollout Approximation for Pixel-Space Autoregressive Image Generation
Pixel-space continuous-token autoregressive (AR) generation directly models images as sequences of raw pixel patches, avoiding discrete tokenization or a separately pretrained tokenizer. However, it faces coupled…
RT ZUBY:: I'm from the UK… And besides that, more Europeans die from heat every year than Americans die from guns, even including suicides. Use AC.
RT ZUBY:I'm from the UK... And besides that, more Europeans die from heat every year than Americans die from guns, even including suicides.Use AC.Adriana: @ZubyMusic Man,…
RT Federalist Society: One vote stood between America and independence. The man who had to cast it was 80 miles away, battling cancer, as a violent th…
RT Federalist SocietyOne vote stood between America and independence. The man who had to cast it was 80 miles away, battling cancer, as a violent thunderstorm…
Robot hand company settles Tesla trade secret suit and announces $11M raise
Jay Li doesn’t recommend getting sued by Tesla if you’re trying to get a startup off the ground. But he does think his company, Proception, might…
CachyOS June 2026 Release
Article URL: https://cachyos.org/blog/2606-june-release/ Comments URL: https://news.ycombinator.com/item?id=48719361 Points: 33 # Comments: 8
RT Tesla AI: v14 Lite Release Notes: – Distilled the intelligence from HW4 V14 into HW3. This allows HW3 to directly learn how to handle scenarios us…
RT Tesla AIv14 Lite Release Notes:– Distilled the intelligence from HW4 V14 into HW3. This allows HW3 to directly learn how to handle scenarios using HW4…
Anyone else end up building a web access layer for local AI agents?
I've been running local models for most of my experiments, and I kept running into the same issue. The model lives locally, but everything it needs…
RT Igor Kotenkov: This is exciting and all, but the most interesting part for me is this: Auto Research, powered by @cursor_ai agent. The AI agent ind…
RT Igor KotenkovThis is exciting and all, but the most interesting part for me is this: Auto Research, powered by @cursor_ai agent.The AI agent independently wrote…
Mellum2 local deployments
Hey local community, I work at JetBrains with the team that trained Mellum2 models — 12B-2.5A LLMs. Those models are trained completely from scratch, targeting fast…
NASA testing local LLM inference for future space missions
Red Hat published a blog post last week about an initiative I supported with NASA researchers at Johnson Space Center building a medical AI assistant. It's…
oh yeah great WESTERN UNIVERSITIES (NORMAL ONES!!) they laugh at test scores (or Olympiads in this case) rewarding INSIGHT, far beyond Russian (Asiati…
oh yeahgreat WESTERN UNIVERSITIES (NORMAL ONES!!)they laugh at test scores (or Olympiads in this case)rewarding INSIGHT, far beyond Russian (Asiatic really!) grind… the provincial stench is…
Instagram is incorporating users' photos in ads for Mera Glasses
Article URL: https://twitter.com/i/status/2071277885646868536 Comments URL: https://news.ycombinator.com/item?id=48719027 Points: 22 # Comments: 0
Building Principia for Windows XP
Article URL: https://voxelmanip.se/2026/06/28/building-principia-for-windows-xp/ Comments URL: https://news.ycombinator.com/item?id=48718995 Points: 10 # Comments: 1
RT NASA Administrator Jared Isaacman: As we celebrate America's 250th birthday with @Freedom250, we're reminded that our nation's story has always bee…
RT NASA Administrator Jared IsaacmanAs we celebrate America's 250th birthday with @Freedom250, we're reminded that our nation's story has always been defined by people willing to…
Counterexamples in type systems (2021)
Article URL: https://counterexamples.org/ Comments URL: https://news.ycombinator.com/item?id=48718972 Points: 36 # Comments: 1
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