Viewing profile — throwaw12

not related to your question directly, but noticed you mentioned oh-my-pi, can you share little bit more why you went with oh-my-pi and not install your own set of extensions? (ask…

If you lost your only 2 Senior Fellows, you deserve to be replaced yesterday

Is Jeff also leaving Google? I am sure VCs are fighting to invest and they will get 4B investment immediately with this team

This move was expected when Google shifted focus to Gemini-only.

I would have enforced different laws if necessary for such companies to tax them properly, because they are getting rich using my populations money, they should contribute back acc…

Depends on the process: * if fully automated agentic delivery was pushed by C-levels to save eng cost - they must be responsible * if code was written with AI assisted tools, then …

> From the ceo on ... Yeah sure, have you been in incidents costing millions of dollars because CEO pushed something to deliver fast and same CEO sitting on incident meeting and sh…

This proves solving open problems in Mathematics were a search problem. But it might be not good for human brains, because we trained our brains with these problems and our brain o…

That's great news for Clickhouse and for Andy I guess, they are both obsessed with databases and are at the cutting edge.

Qwen3.8-Max is the first in Qwen-Max series to be open-weight as well. Kimi K3, GLM 5.2 and now Qwen3.8-Max - open weight models. DeepSeek V4 Flash outperforming Gemini 3.1 pro, pr…

If deepseek v4 flash is beating DeepSeek V4 Pro, can we expect new V4 Pro which is on par with Opus 5 in couple weeks (even better if it beats Opus)?

how different is their harness from Pi coding agent harness, is it possible to make an extension for Pi which can implement deepseek harness?

Open flash model is competing against OpenAI's 'Sonnet' model at the price of GPT 3, I am really excited about this release, hopefully it holds up in real work as well

these are impressive findings, I am curious what was your process to convert existing code to formal verification languages like TLA+. My basic understanding was to verify high lev…

Imagine you pass the interview and should work with these people. 1. Your life belongs to them 2. You must prioritize company over everything (according to their wishes), for excha…

idea looks nice, but can you share what's your workflow to push 90 commits/day? I understand each commit might have different size, but I am guessing your commits == Pull Request (…

> The US isn't Israel I am not sure about this anymore, for some time I got an impression that Israel became the capital of USA. > but you're linking primarily to a page about Isra…

thanks, its not about capabilities, but to respect the human reader who decides whether they should read the comment because its too long or to skip

> AI is not intentionally targeting schools the way Russia is in Ukraine. Are you sure? https://en.wikipedia.org/wiki/AI-assisted_targeting_in_the_G... They even have the cool one:…

So now you are using famous knife argument. In your argument have you considered: selling a knife knowingly to gang members just before they are going to another area to kill other…

If it wasn't intentional and accident, did anyone apologize for that mistake? Also the point is, you (Dario) can't claim morality, when he is fine doing business with entities lite…

If you are indeed a good guy, why don't you release Opus 4.8 as an open weight and we will test it for safety, if you yourself can oass tests demanding from others

(comment got too long, continuation) > All sufficiently capable models, open and closed, should go through mandatory safety testing Why? And how do you design those tests? For exam…

> My primary concern is the risk that authoritarian governments... Authoritarian government doesn't always mean bad - look at Singapore What's more dangerous is country with bunch …

> software and hardware are different No, because both can be banned using laws and Dario is against banning. It doesn't matter if you smuggle or not, law can outright ban it.