HNHacker News
TopNewBestAskShowJobs

baq

21,631 karma · joined November 21, 2009

submissionscomments
baq··on AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura
I see not only me tried to give astra insufficiently described tasks
baq··on We're releasing the weights of Mistral Large 4
Token providers in aggregate work a bit like airlines so the end pricing should also work a bit like airlines; expect budget tokens, fast boarding tokens, window seat tokens, last minute tokens, miles for tokens, … and naturally prices fluctuating by the hour.
baq··on Claude Duet is the first personal-assistant-type harness that feels useful
I disagree. I would gladly hear why they think there are no privacy concerns or why they don’t care about their privacy so much. I find it hard to understand.
baq··on Gemini 4 Carbon
The fact that it made the browser itself impossible to monetize to fund development was a part of it. They were an antitrust insurance to Google and tried lots of stuff to improve its position. Granted they failed, sometimes quite spectacularly, but I still drive Firefox for personal use.
baq··on Gemini 4 Carbon
It was the rare confluence of people needing the same thing the megacorp showing them ads needed. We all benefited, no hard feelings, but always remember to look at where the puck is going.
baq··on Qwenputer: A functioning, deterministic RISC-V CPU inside Qwen3.5
Not too far fetched to say this potentially solves continual learning, which is a scary prospect. Wonder what ram and disk prices will go to once every model needs its own long term memory capacity and not just weights and cache.

I had an idea of splicing a z3 solver into the weights of a sufficiently smart model after the first chatgpt release in what feels like a glaciation event ago so the things could do logic and literally make no mistakes. Was never in a position to follow up. We’re almost here now.

baq··on Gemini 4 Carbon
Haven’t tried opus 5, sol 6 or haiku 4.5 I see
baq··on The Exponential Time Hypothesis Is False [pdf]
millenium? they'll be solved by then; but hopefully there are some unsolved ones left
baq··on Early progress on accelerating drug development with Claude
'biology moves at the speed of life' is a fantastic quote that should ground everyone's expectations - unless there's a revolutionary advancement in simming life, do not think that we'll see the same pace of progress as we've seen in software engineering or maths.
baq··on The Exponential Time Hypothesis Is False [pdf]
Dropping ultra hard problems on those things and giving them reward when lean accepts the proof sound like an obvious RL environment tbh
baq··on Three new discoveries in mathematics, computer science, and physics
What a time to be alive honestly. Can’t know what one will wake up to
baq··on Anthropic S-1
Why? Whatever's vested is yours.
baq··on Anthropic S-1
Yes, I'm buying. Alphabet.
baq··on Anthropic S-1
S-1 states directly that some of the shares sold in the IPO are sold by current shareholders.

Employees are a different matter, lockouts are for them not quitting immediately. My bet is that a few of high profile departures recently is exactly for this reason: no lockout if you aren't employed anymore.

baq··on Anthropic S-1
Now, hence IPO.
baq··on Anthropic S-1
Amount of early money waiting to exit is absolutely staggering, wonder if there’s enough retail to buy the leftovers without crashing the price. Reminder everyone with money who wanted in before IPO got in!
baq··on OpenAI and Anthropic cut their LLM prices by up to 80% within a few months. Why?
Let’s not forget that Luna max is actually extremely capable for the price, you can get a lot done on the $20 sub.

Haven’t tried haiku 5.5, I expect it to simply run out too fast, but they did change the price below 100k tokens recently; perhaps I should check it out.

baq··on The Goose Programming Language
with programming languages which just rehash ideas (not saying it's a bad thing mind you! a good mix is better than a sum of its parts) you can nowadays get literally years of work in a week. truly novel stuff like bend2 takes longer (ask Victor), but I expect the next generation of models to compress those timelines, too (if the next generation is allowed to be released, since the security brouhaha going on now is seriously concerning)
baq··on We should be more ambitious with the software we build
‘Having to work for money’ beats ‘having to hunt and farm for food’ and it’s technically a small step away.

‘Not having to work and being warm and fed’ is called being a pet. Some cats and dogs enjoy this life greatly. I’ve been thinking about this a lot recently.

baq··on We should be more ambitious with the software we build
Rewrite X in Y is an ideal RL task given you have X as an oracle trivially.
baq··on No signs of AI payoff outside the tech sector
most lawyers haven't tried fable and astra ultrafast yet.

those who did are rather convinced it's over, for juniors at least.

baq··on FreeDNS
and it's so fast. clicks respond instantaneously even though the whole page has to be fetched and re-rendered.

we lost so much with SPAs and js everywhere.

htmx will save us!

baq··on FreeDNS
Happy freeloader for something like 15 years, can recommend
baq··on Kimi K3.1 Pro and K3.1 Pro Highspeed
Read this as ‘dear government we can train a cyberweapon if you pay us’ assuming they wouldn’t say anything if they were already paid to do that
baq··on UUIDv7 doesn't have the properties you think it does
It’s much easier if you can simply not coordinate. Bonus points if that doesn’t mean you need an atomic clock in your rack
baq··on Today, we hacked what we'd set out to hack: the iPhone
guess who put themselves on the must-hack list of every single national intelligence agency
baq··on Disney Raising Prices Days After Confirming Ads Will Now Show Up on Every Tier
I’ll cancel the moment I see the first ad. I’m likely not alone, but under no illusion that there are a lot of people like me, either.
baq··on Patch the Planet: global response coordination as agents uncover vulnerabilities
Not sure what is there to debate about. The vulns were there, that is a fact. There’s nonzero chance NSA, Mossad, FSB, PLA, MSS, RGB, MI6 etc. knew about some of them and used them for more or less nefarious things which you don’t want to be on the other side of. Normal criminals stealing stuff for money as a matter of course is not great obviously, but IMHO much better than the alternative.
baq··on Muse exposes users' personal and business secrets when they share conversations
If the user agrees it’s fine, GDPR is really not the biggest concern in this case since the user should express consent anyway.
baq··on Tsrs: A Port of TypeScript to Rust
Oh boy that’s about the most off the mark car analogy I’ve ever seen and I’ve seen some
Page 1 of 34Next →