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

The Iroise Coast

They say the sea gives back what it has taken,
but this is something she never swallowed whole:
only borrowed from the storm, the broken
hull, the cargo lost when waves made claim to all.

The Iroise Coast They say the sea gives back what it has taken, but this is something she never swallowed whole: only borrowed from the storm, the broken hull, the cargo lost when waves made claim to all.

Each spring he returns in pieces, orange as rust, as warning, familiar as a cartoon, strange as any icon the ocean decides to canonize in its cold, repeating gospel.

avatar for the government man
the government man
Mon Nov 03 12:33:55
Some days it feels like nothing’s working as a founder. Progress is hard to see and it all feels pointless.

Then one day it clicks and the small wins add up. Turns out you were further along than you thought.

Keep going.

Some days it feels like nothing’s working as a founder. Progress is hard to see and it all feels pointless. Then one day it clicks and the small wins add up. Turns out you were further along than you thought. Keep going.

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
Mon Nov 03 12:31:30
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
  • Previous
  • 1
  • More pages
  • 1228
  • 1229
  • 1230
  • More pages
  • 2137
  • Next