News for hackers. Stuff that matters.

lairv

lairv on Hacker News

Re:Certified State Reductions and Semantics of Conjecture-Checking Tur... on Thursday October 15, 2026 @06:10AM (#50101558)
Context: DeepMind released Turing machines for which the termination is equivalent to various conjectures being true/false. The equivalence is certified in Lean, and they also improved the minimum number of states required to encode certain theorems, e.g. Goldbach is now down to 21!!

Very relevant to the discussion people had a few days ago on why busy beaver numbers are interesting https://news.ycombinator.com/item?id=50070741

Re:Creating a Garmin "MCP" on Thursday October 15, 2026 @05:30AM (#50101258)
I would like the reverse of an MCP, a protocol so that everyday apps can push notify (given my authorization) my agents on specific events

For example after I complete a run on Strava I want my agents to know about it, they already have all the context, they know what weekly volume I'm aiming for and what I'm training for

Re:World Labs Is Joining AMD on Monday September 28, 2026 @05:31PM (#49884684)
WL was probably mostly using NVIDIA compute though?
Re:Flux 3 X Mimic: The Next Generation of Video-Action Models on Friday July 24, 2026 @10:40AM (#49036410)
FYI several other video labs are getting into robotics

Luma Labs https://lumalabs.ai/news/luma-open-physical-ai-lab

Runway https://runway.com/product/robotics

Re:Printing Gaussian Splats on Wednesday June 24, 2026 @11:23AM (#48661358)
Not exactly what you describe but this project [0] did it with cubes.

The cube is filled with splats. Each face reveals a different picture when viewed from a perpendicular angle

[0] https://www.3dpoint.art/

Re:Khronos Announces glTF Gaussian Splatting Extension on Wednesday June 10, 2026 @10:24PM (#48485539)
This is "old" news from February but somehow hasn't been discussed here
Re:Higher usage limits for Claude and a compute deal with SpaceX on Wednesday May 06, 2026 @01:18PM (#48038810)
For a space that supposedly had "no moat", the number of players still competing for frontier models seems to be shrinking pretty fast
Re:YouTube now world's largest media company, topping Disney on Thursday April 16, 2026 @11:14AM (#47794420)
Wikipedia says there's 14.8 billion videos currently uploaded to YouTube, it seems technically easy to index that amount of title+description?

The more likely explanation is that Google doesn't want YouTube to be crawled, which gives them a massive moat for AI training

Re:YouTube now world's largest media company, topping Disney on Tuesday April 14, 2026 @08:00PM (#47773031)
Worth noting that most of youtube videos can no longer be discovered through search. Search results can now only be sorted by "Relevance" and "Popularity" while you used to be able to sort by release date

Search results are also non-exhaustive and biased towards recent videos as noted in this study https://arxiv.org/abs/2506.11727

Basically many videos can no longer be discovered if you don't have a url to the video or the channel, and the algorithm doesn't recommend it

Re:Muse Spark: Scaling Towards Personal Superintelligence on Wednesday April 08, 2026 @01:04PM (#47693049)
If the model is truly on par with Opus 4.6/Gemini 3.1/GPT 5.4 (beyond benchmarks) this still puts MSL in the frontier lab category, which is no small feat given that they pretty much rebooted last year

Many labs aren't able to keep up with the frontier, xAI, Mistral

Re:From 0% to 36% on Day 1 of ARC-AGI-3 on Thursday March 26, 2026 @09:32PM (#47538079)
Note that this uses a harness so it doesn't qualify for the official ARC-AGI-3 leaderboard

According to the authors the harness isn't ARC-AGI specific though https://x.com/agenticasdk/status/2037335806264971461

Re:OpenCode – The open source AI coding agent on Friday March 20, 2026 @07:23PM (#47462197)
Blank screen, and it's referenced in the official docs as potentially a Wayland issue https://opencode.ai/docs/troubleshooting/#linux-wayland--x11...

I didn't dig further

Seems like there's many github issues about this actually

https://github.com/anomalyco/opencode/issues/14336

https://github.com/anomalyco/opencode/issues/14636

https://github.com/anomalyco/opencode/issues/14335

Re:OpenCode – The open source AI coding agent on Friday March 20, 2026 @07:20PM (#47462161)
This issue: https://github.com/anomalyco/opencode/issues/9505

And then the official docs: https://opencode.ai/docs/troubleshooting/#linux-wayland--x11...

> Linux: Wayland / X11 issues

> On Linux, some Wayland setups can cause blank windows or compositor errors.

> If you’re on Wayland and the app is blank/crashing, try launching with OC_ALLOW_WAYLAND=1.

> If that makes things worse, remove it and try launching under an X11 session instead.

OC_ALLOW_WAYLAND=1 didn't work for me (Ubuntu 24.04)

Suggesting to use a different display server to use a TUI (!!) seems a bit wild to me. I didn't put a lot of time into investigating this so maybe there is another reason than Wayland. Anyway I'm using Pi now

Re:OpenCode – The open source AI coding agent on Friday March 20, 2026 @06:32PM (#47461613)
I tried to use it but OpenCode won't even open for me on Wayland (Ubuntu 24.04), whichever terminal emulator I use. I wasn't even aware TUI could have compatibility issues with Wayland
Re:Yann LeCun's AI startup raises $1B in Europe's largest ever seed round on Tuesday March 10, 2026 @09:00AM (#47322688)
https://cims.nyu.edu/dynamic/news/1441/

This is just the official name of a chair at NYU. I'm not even sure Jacob T. Schwartz is more well known than Yann LeCun

Re:Ggml.ai joins Hugging Face to ensure the long-term progress of Loca... on Friday February 20, 2026 @09:22AM (#47088382)
Truly amazing that they've managed to build an open and profitable platform without shady practices

Older »