LogoThread Easy
  • 発見
  • スレッド作成
LogoThread Easy

Twitter スレッドの万能パートナー

© 2025 Thread Easy All Rights Reserved.

探索

Newest first — browse tweet threads

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

Feels good getting your first payment. 🥳

Happy to be the first sub of Matt's newsletter. He's been sending an email daily for 46 days! 

I want to see how far this goes for him ☺️

Feels good getting your first payment. 🥳 Happy to be the first sub of Matt's newsletter. He's been sending an email daily for 46 days! I want to see how far this goes for him ☺️

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

avatar for Florin Pop 👨🏻‍💻
Florin Pop 👨🏻‍💻
Mon Nov 03 12:31:10
RT @indie_maker_fox: payload cms已经可以一键部署到cloudflare了,你应该知道了吧

而且,它们还出了payload sdk,类rest api形式,这样的话,前后端分离,这系统不就好写了吗?以后哪还需要写复杂的后台管理系统了?

这多有意…

RT @indie_maker_fox: payload cms已经可以一键部署到cloudflare了,你应该知道了吧 而且,它们还出了payload sdk,类rest api形式,这样的话,前后端分离,这系统不就好写了吗?以后哪还需要写复杂的后台管理系统了? 这多有意…

🚀 The best AI SaaS boilerplate - https://t.co/VyNtTs0jSX 🔥 The best directory boilerplate with AI - https://t.co/wEvJ1Dd8aR 🎉 https://t.co/zubXJCoY92 & https://t.co/tfQf8T7gGF & https://t.co/TqRkfQj41f

avatar for Fox@MkSaaS.com
Fox@MkSaaS.com
Mon Nov 03 12:30:06
Kudos to everyone building and shipping, to everyone who's still at it and going through it... it really really isn't easy. IT'S HARD.

Kudos to everyone building and shipping, to everyone who's still at it and going through it... it really really isn't easy. IT'S HARD.

CEO @Plutio_app - Shaping the future of freelance work with Super AI. Acquired in a $10M talent deal. Ex–Head of Brand @ClickUp.

avatar for Leo Bassam 🤌🏼
Leo Bassam 🤌🏼
Mon Nov 03 12:28:21
...

HVM4 now includes a general method to compile Interaction Calculus functions to zero-overhead machine code, including functions with superpositions.

Note that HVM2 (which Bend used originally) always relied on an interpreter. We promised we'd eventually compile it. HVM3 compiled Haskell-like functions only, getting a 100x+ boost in these cases, but still needed to fall back to the "interpreter" when superpositions were involved. Finally, for the first time ever, HVM4 is now capable of running Interaction Calculus functions, even these with superpositions, in full compiled mode, with no overhead.

It is weird how we're pushing Interaction Nets beyond anything that has ever been done before, to the point we don't even have anyone to communicate the progress. The field is all but nonexistent, there are no papers, no conventions, no community. My tweets are basically pushing the edge of what humanity knows about this paradigm. That feels really awkward, and I think this is mostly attributable to it being genuinely unintuitive.

In any case, below is a lazy commit message explaining the last case of this algorithm: how to deal with applying a static (compiled) superposition to a dynamic argument...

... HVM4 now includes a general method to compile Interaction Calculus functions to zero-overhead machine code, including functions with superpositions. Note that HVM2 (which Bend used originally) always relied on an interpreter. We promised we'd eventually compile it. HVM3 compiled Haskell-like functions only, getting a 100x+ boost in these cases, but still needed to fall back to the "interpreter" when superpositions were involved. Finally, for the first time ever, HVM4 is now capable of running Interaction Calculus functions, even these with superpositions, in full compiled mode, with no overhead. It is weird how we're pushing Interaction Nets beyond anything that has ever been done before, to the point we don't even have anyone to communicate the progress. The field is all but nonexistent, there are no papers, no conventions, no community. My tweets are basically pushing the edge of what humanity knows about this paradigm. That feels really awkward, and I think this is mostly attributable to it being genuinely unintuitive. In any case, below is a lazy commit message explaining the last case of this algorithm: how to deal with applying a static (compiled) superposition to a dynamic argument...

Kind / Bend / HVM / INets / λCalculus

avatar for Taelin
Taelin
Mon Nov 03 12:17:01
OpenAI could have done better here

was definitely expecting a cool mug

OpenAI could have done better here was definitely expecting a cool mug

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
Mon Nov 03 12:16:48
dumb question, how do you cool a datacenter in a vacuum?

also H100s are already nearly obsolete oops gotta send a datacenter sysadmin astronaut out there to swap in B200s

dumb question, how do you cool a datacenter in a vacuum? also H100s are already nearly obsolete oops gotta send a datacenter sysadmin astronaut out there to swap in B200s

research @cornell // language models, information theory, science of AI

avatar for Jack Morris
Jack Morris
Mon Nov 03 12:12:26
  • Previous
  • 1
  • More pages
  • 1203
  • 1204
  • 1205
  • More pages
  • 2111
  • Next