If i could game in Omarchy i’d have 0 reasons to use Windows phone 💯

what is the novice explanation? i’m also confused

what about xitter.cf/theozero/status/211090…

chatting and reading are very slow I wanna have a voice conversation and get interactive diagrams (a way to compact information and utilise our image recognition for optimum bandwidth) (transcripts/logs collapsed by default but always accesible)

this is so cool, it is only in-person? do they have online sessions too? would love to participate in an international CT bookclub

i did years ago and just before the hype, because codex couldn’t keep the whole context of problems at hand. mostly to replace the “markdown spec”

It had several rounds of Rust optimizations and a single round of ASM pull the increase, and no one is reading the Rust anyways, so “raw performance” both on the system and the dev loop is outstanding.

me neither and the trend is that no one is reviewing code either, so why would an AI choose a PL for humans? it makes 0 sense to me in the long run. if there is no human supervision in the gap between AI and deterministic executable, just bypass the 1000s abstractions (?)

Do you have any advice on better ideas to explore? My only goal is in replacing the slop wall of text in markdown “spec” while working with agents. I’ve found modelling with TLA+ to be a much better “spec transport” than markdown.

difference blending, i’d say it is a featur not a bug (?) i’d bet pretty much on purpose

Top of the list & seen all your videos 🫰

Which makes it perfect to interact with agents, I don’t think more people actually want to write “proofs” but to have more trust and better DX working with agents

that’s amazing! hahaha omg there is a new world

except for throttle and debounce fns 🤣

I think is is the time of year to remove that point btw xitter.cf/codingedgar/status/210…

Let's surf the wave and add a proof system while we are at it 🙊 The lack of a strong type system keeps plenty of smart people outside of the ecosystem.

The sooner we replace the whole wall of text in markdown the sooner we can stop looking at code reliably

im using TLA+ precisely because it models async event-driver behaviour with temporal logic, why do you say is impractical or impossible? On the rest I agree, yet the goal isn’t to use 1 tool to “proof” a whole app & bail on other solutions. but X% of proof is better than 0%, no?

My timeline is on fire, all my favourite creators talking about tech and new/old ideas! Wonder if TypeScript will get something good out of the whole discussion, some proof system or (test) integrations… 🤞