Kamado

Technological advances are not invented. They are needed.

[Kamado @kamado_663]

@dingyi 都是一代移民，卷的东西差不多：房子票子孩子。

[Kamado @kamado_663]

@dingyi screen studio 到现在都不支持插入文字，这点我是没想到。

[Kamado @kamado_663]

@aiandcloud https://t.co/53wVMAo4Ms

可以和这个产品放一起看。

[Cheng Lou @_chenglou]

My dear UI developers, ML practitioners, and fans of programming language:

Many months & billions of tokens later, I’m proud to present to you the first step in our long, long collective journey to turn vibe coding onto proof engineering, starting with: making user interfaces verifiable.

Introducing: Freerange, a zero-API tool that automatically deduces your code’s numerical ranges. By doing so, Freerange is able to prove that e.g.:
- your TS layouts obey your specified sizing
- that they’re free of NaNs and Infinity
- that your array indices stay within bounds

All of that, done statically. No browser, no running code, droppable into any codebase, and for the ML folks: RL-friendly

[Kamado @kamado_663]

@_chenglou Really excited to see that you are stepping into the game of formal verification!

[Kamado @kamado_663]

@llamaonthebrink Circle gains traction b/c defi.

[Kamado @kamado_663]

@trq212 huh that sounds exactly like how big corps are running these days.

[Kamado @kamado_663]

@LorenzoARK Reminds me of NCN. https://t.co/PRNKjSIL1T

[Kamado @kamado_663]

@mranti 反讽啦。这头像都是 AI 生成的。

[Kamado @kamado_663]

@whyeszhu 可以试试看这个最新的 https://t.co/h2dOXXdJ1E

[Kamado @kamado_663]

@Livid Users who get the 1k token late will spend more money than the old ones, which is not good UX for onboarding, as we have the assumption that the mariginal cost of internet services is basically 0.

[Kamado @kamado_663]

@JesusFerna7026 SC reminds me of Chinese making vaccine back in covid. I guess bureaucracy is one of the reason that "世界是个巨大的草台班子".

[Kamado @kamado_663]

@kepano Was blown away that I can get all the desktop functionality on my phone.

Your great work would kill a bunch of subscriptions for good ser.

[Kamado @kamado_663]

We haven't waited for something for a long time. The only thing that we were waiting for the last 2,000 years was the return of Jesus. Suddenly we have 2 more, AGI and Q-day.

And the wait becomes very different. It happens in public, at mass scale, with price tied to it.

[Kamado @kamado_663]

Blockchain makes receiving money 100x easier. Sending wise, not that much.

[Kamado @kamado_663]

@mranti https://t.co/sqGKoTQ3i4

[Kamado @kamado_663]

@dingyi 感觉是致敬 teenage engineering 的录音机 https://t.co/567grcbJtr

[Kamado @kamado_663]

@dingyi 我现在最喜欢和 claude 聊我的项目，比聊其他的东西有意思多了。

[Kamado @kamado_663]

@riverleaf88 @mranti 自媒体渴望素材，就像鱼渴望水。

[Kamado @kamado_663]

@dingyi 哈哈这个的离谱程度还好。半年前看到安然团队说做了一个可控核聚变装置给家里供能。