drawnwren (u/drawnwren)

drawnwren commented on Gemini 3 Flash: Frontier intelligence built for speed blog.google/products/gemi... · Posted by u/meetpateltech

avazhi · 13 hours ago

"At this point in time I start to believe OAI is very much behind on the models race and it can't be reversed"

This has been true for at least 4 months and yeah, based on how these things scale and also Google's capital + in-house hardware advantages, it's probably insurmountable.

drawnwren · 12 hours ago

OAI also got talent mined. Their top intellectual leaders left after fight with sama, then Meta took a bunch of their mid-senior talent, and Google had the opposite. They brought Noam and Sergey back.

drawnwren commented on GPT Image 1.5 openai.com/index/new-chat... · Posted by u/charlierguo

dzonga · a day ago

we seriously can't be burning GW of energy just to have sama in a GPT-Shirt Ad generated by A.I

impressive stuff though - as you can give it a base image + prompt.

drawnwren · a day ago

counterpoint: we should make energy abundant enough that it really doesn't matter if sama wants to generate gpt-shirt ads or not.

we have the capability, we just stopped making power more abundant.

drawnwren commented on Framework Raises DDR5 Memory Prices by 50% for DIY Laptops phoronix.com/news/Framewo... · Posted by u/mikece

theyeenzbeanz · 6 days ago

This is the fault of manufacturers fixing supply, especially in the case of micron, one of only 3 memory chip manufacturers, deciding to flip the bird to the non-AI consumer market.

drawnwren · 6 days ago

Is this the "fault" or is it just the result of rational economic actors?

drawnwren commented on DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning [pdf] github.com/deepseek-ai/De... · Posted by u/fspeech

JacobiX · 20 days ago

I think that mathematical proofs, as they are actually written, rely on natural language and on a large amount of implicit shared knowledge. They are not formalized in the Principia Mathematica sense, and they are even further from the syntax required by modern theorem provers. Even the most rigorous proofs such as those in Bourbaki are not directly translatable into a fully formal system.

drawnwren · 20 days ago

If you don't mind stretching your brain a bit, Wittgenstein was obsessed with this notion. https://www.bu.edu/wcp/Papers/Educ/EducMaru.htm#:~:text=Witt...

drawnwren commented on Starship's Tenth Flight Test spacex.com/... · Posted by u/metalman

avar · 4 months ago

If "rapid reusability" was a proxy goal for maintaining a given launch pace we wouldn't need any of this.

We could just construct 200 Space Shuttles and spend months refurbishing them after every flight, and still send one up every week.

The goal is to drive down launch costs, time is money, and a system that requires time consuming refurbishments is more expensive.

drawnwren · 4 months ago

Mars transit takes far longer than one week. And their plan is in orbit refueling so getting a single starship to Mars takes more than one ship.

drawnwren commented on Launch HN: Golpo (YC S25) – AI-generated explainer videos video.golpoai.com/... · Posted by u/skar01

drawnwren · 4 months ago

I'm sure someone else has mentioned this but your video on the main page correctly has GRPO the first time it's introduced but then every time you mention it after that -- you've swapped it to GPRO.

drawnwren commented on Hyatt Hotels are using algorithmic Rest “smoking detectors” twitter.com/_ZachGriff/st... · Posted by u/RebeccaTheDev

satellite2 · 5 months ago

Using an ozone generator you can remove all odors in a medium sized room in less than 30min. Only poorly organized cleaning staff would have this issue.

drawnwren · 5 months ago

Which makes me ask why we even need smoking fees then?

drawnwren commented on Delta moves to eliminate set prices, use AI to set your personal ticket price fortune.com/2025/07/16/de... · Posted by u/toss1

drawnwren · 5 months ago

AI may actually be the death of capitalism. Markets are no longer efficient when pricing models are opaque and personalized.

drawnwren commented on Kimi K2 is a state-of-the-art mixture-of-experts (MoE) language model twitter.com/Kimi_Moonshot... · Posted by u/c4pt0r

satvikpendem · 5 months ago

This is not open source, they have a "modified MIT license" where they have other restrictions on users over a certain threshold.

    Our only modification part is that, if the Software (or any derivative works
    thereof) is used for any of your commercial products or services that have
    more than 100 million monthly active users, or more than 20 million US dollars
    (or equivalent in other currencies) in monthly revenue, you shall prominently
    display "Kimi K2" on the user interface of such product or service.

drawnwren · 5 months ago

It's silly, but in the LLM world - "open source" is usually used to mean "weights are published". This is not to be confused with the software licensing meaning of "open source".

drawnwren commented on Tracking Copilot vs. Codex vs. Cursor vs. Devin PR Performance aavetis.github.io/ai-pr-w... · Posted by u/HiPHInch

ambicapter · 6 months ago

Do people where you work spend time reviewing draft PRs? I wouldn’t do that unless asked to by the author.

drawnwren · 6 months ago

It’s hard enough for me to get time to review actual PRs, who are these engineers trawling through the drafts?

u/drawnwren

KarmaCake day1387January 30, 2016View Original