LogoThread Easy
  • Explorar
  • Componer hilo
LogoThread Easy

Tu compañero integral para hilos de Twitter

© 2025 Thread Easy All Rights Reserved.

Explorar

Newest first — browse tweet threads

Keep on to blur preview images; turn off to show them clearly

Nano  Banana Pro 超级提示词!

帮你做任何商品的购买决策,生成任何需要对比的产品类型的 4 象限图片

无论是饮品、电动车、自行车还是咖啡店,你可以直接化身这个品类的专家

话题度和热度拉满,每个品类都能出爆款

提示词放在下面👇:

Nano Banana Pro 超级提示词! 帮你做任何商品的购买决策,生成任何需要对比的产品类型的 4 象限图片 无论是饮品、电动车、自行车还是咖啡店,你可以直接化身这个品类的专家 话题度和热度拉满,每个品类都能出爆款 提示词放在下面👇:

国内咖啡的决策矩阵

avatar for 歸藏(guizang.ai)
歸藏(guizang.ai)
Sun Dec 07 16:33:45
RT @robj3d3: Just shipped the most insane feature of my career.

Demo coming tomorrow.

RT @robj3d3: Just shipped the most insane feature of my career. Demo coming tomorrow.

Built Tweet Hunter, Taplio (sold $8m) Growing https://t.co/OyNJ8ZUyOh - https://t.co/jS9GQJ5Ps8 - https://t.co/EFUcKeBbpU - https://t.co/JkVOl1O0S1 - https://t.co/KG9PgxJabg Sharing weekly tips about growth: https://t.co/ereQodN3Ov

avatar for Tibo
Tibo
Sun Dec 07 16:28:13
A banger portfolio listing drop on @acquiredotcom

B2B content + SEO automation tools.

> $252K TTM revenue
> $199K TTM profit
> 5,000+ customers
> Bootstrapped + lean

Full listing: https://t.co/3BF9S0E0dv

A banger portfolio listing drop on @acquiredotcom B2B content + SEO automation tools. > $252K TTM revenue > $199K TTM profit > 5,000+ customers > Bootstrapped + lean Full listing: https://t.co/3BF9S0E0dv

Founder and CEO of @acquiredotcom. https://t.co/wRMIssDmhl has helped 100s of startups get acquired and facilitated $500m+ in closed deals.

avatar for Andrew Gazdecki
Andrew Gazdecki
Sun Dec 07 16:27:59
I’m so looking forward to next year’s World Cup ⚽️ 

It’s going to be the biggest sports event of all time!

I’m so looking forward to next year’s World Cup ⚽️ It’s going to be the biggest sports event of all time!

I build stuff. On my way to making $1M 💰 My projects 👇

avatar for Florin Pop 👨🏻‍💻
Florin Pop 👨🏻‍💻
Sun Dec 07 16:26:13
还是炸了,今天我让它跑 i18n 任务。跑完之后我发现有一些小众语言的 i18n 文件,它会往里面掺中文😕。但是有趣的是,我从 glm-4.6 切到 glm-4.5 跑起来正常,所以 4.6 更新个啥?还是降智到 4.5 都不如?

还是炸了,今天我让它跑 i18n 任务。跑完之后我发现有一些小众语言的 i18n 文件,它会往里面掺中文😕。但是有趣的是,我从 glm-4.6 切到 glm-4.5 跑起来正常,所以 4.6 更新个啥?还是降智到 4.5 都不如?

脚踏实地做梦/独立开发/降临派/新手奶爸👨‍🍼

avatar for KIWI
KIWI
Sun Dec 07 16:24:36
this is the crazy part, Dario made a bold statement, and he was ✨right✨. he didn't say 90% of the *work* will be done by AI. he said 90% of *code* will be AI written. today, 90% of my own code is written by AI.

how is that not being right?

currently, on HVM4:
→ opus wrote 95% of the parser
→ opus wrote 95% of syntax sugars
→ opus wrote 80% of the interactions
→ opus wrote 70% of the auto-dup
→ opus wrote 100% of numeric ops (17)
→ opus wrote 80% of structural equality
→ opus wrote 100% of UTF-8 support
→ opus wrote 100% of module organization

and yes, the code is beautiful, fast, correct, hundreds of tests pass, and I'm using it daily, as we speak, to develop SupGen

don't believe? so I'll post HVM4's git log in the comments. it is claude all the way. see it with your own eyes!

so, what Opus *can't* do?

→ anything that is novel
→ anything that requires true insight
→ anything that demands long-term planning
→ whatever that is...

for example, the foundation, the initial files, the architecture, the design choices - all by me. it can't do that, because it can't read my mind, because it is a new thing, because it takes insight. even if it memorized HVM3, it still couldn't come up with the advances that led to HVM4. LLMs don't have what it takes to do that

a more recent example: the terminating recursion enumerator I posted earlier today. you can't find that algorithm online. not even Agda/Lean implements it the right way. it is not on "humanity's database". it requires actual intelligence, so, LLMs can't do that, because they're just glorified lookup tables

some of the things I do still take a LOT of time. thinking takes a lot of time, planning takes a lot of time. LLMs can't do any of that for me

but, Dario didn't say they would

he said it would be writing 90% of my code

and, well, it is...

this is the crazy part, Dario made a bold statement, and he was ✨right✨. he didn't say 90% of the *work* will be done by AI. he said 90% of *code* will be AI written. today, 90% of my own code is written by AI. how is that not being right? currently, on HVM4: → opus wrote 95% of the parser → opus wrote 95% of syntax sugars → opus wrote 80% of the interactions → opus wrote 70% of the auto-dup → opus wrote 100% of numeric ops (17) → opus wrote 80% of structural equality → opus wrote 100% of UTF-8 support → opus wrote 100% of module organization and yes, the code is beautiful, fast, correct, hundreds of tests pass, and I'm using it daily, as we speak, to develop SupGen don't believe? so I'll post HVM4's git log in the comments. it is claude all the way. see it with your own eyes! so, what Opus *can't* do? → anything that is novel → anything that requires true insight → anything that demands long-term planning → whatever that is... for example, the foundation, the initial files, the architecture, the design choices - all by me. it can't do that, because it can't read my mind, because it is a new thing, because it takes insight. even if it memorized HVM3, it still couldn't come up with the advances that led to HVM4. LLMs don't have what it takes to do that a more recent example: the terminating recursion enumerator I posted earlier today. you can't find that algorithm online. not even Agda/Lean implements it the right way. it is not on "humanity's database". it requires actual intelligence, so, LLMs can't do that, because they're just glorified lookup tables some of the things I do still take a LOT of time. thinking takes a lot of time, planning takes a lot of time. LLMs can't do any of that for me but, Dario didn't say they would he said it would be writing 90% of my code and, well, it is...

Kind / Bend / HVM / INets / λCalculus

avatar for Taelin
Taelin
Sun Dec 07 16:23:06
  • Previous
  • 1
  • More pages
  • 1344
  • 1345
  • 1346
  • More pages
  • 5634
  • Next