algorithon

agentic designer
agentic coder

[algorithon @Algorithon]

I think the move to simple design languages with 0 detail whatsoever just as high PPI displays were beginning to hit the market was a terrible tragedy 😔

[Kang Blanc @KangBlanc_]

The closer I look at LegacyDock on a Retina display, the more I appreciate the little details. The icons, shadows, and reflections look so crisp 🧐

Compatibility testing is in full swing across macOS versions on both Intel and Apple Silicon Macs. I’ll share an update tomorrow!

[algorithon @Algorithon]

@choblin29 Very curious what model "another lab's large frontier model" refers to though...

[algorithon @Algorithon]

@alcuintweets with cracker cut cheese?

[algorithon @Algorithon]

@theaaron @claudeai still don't have it (I signed up minutes after the announcement) 😔

[algorithon @Algorithon]

@SerendipitousOr @SadAlbert10 I think this is only possible in workloads where Claude is constantly waiting on long running processes (& thus not actively consuming the limit *at all* for long stretches of time)

[Dan Roberts @danintheory]

The computer science collaboration will understand and explain a result concerning the Exponential Time Hypothesis (ETH), a longstanding conjecture about the computational complexity of Boolean formula satisfiability, a problem deeply related to the P vs. NP problem.

Surprisingly, our system has recently proved that the ETH is false, a result that was subsequently verified in Lean.

The refutation of the ETH reopens questions about how much faster these tasks could become, and may help guide the search for better algorithms. Finding such algorithms, and turning theoretical advances into practical improvements, will require significant further research.

Our system found its natural language disproof for the ETH we reached out to to @rrwilliams. Ryan will form a collaboration with Russell Impagliazzo and Ramamohan Paturi to verify and shepherd this result. Impagliazzo and Paturi, along with Francis Zane, are the original proposers of the Exponential Time Hypothesis, and Williams has refuted strong versions of the ETH, used ETH for hardness results, and connected algorithms and lower bounds.

This group asked us to make all raw data of the results public to facilitate independent verification by the community, which we have done by posting the natural language proof and Lean formalization to our GitHub repo. The group also invites the community to help organize an open examination of the ETH claim and to discuss the broader questions that AI-generated breakthroughs raise about verification, access, credit, and the future of research.

https://t.co/fkLJX9a2Zi

[algorithon @Algorithon]

I've been obsessed with UI design for many years

when I was a child, I actually wanted to be a UI designer someday!

I can come up with *ideas* in my imagination that I like, but I struggle to translate those into real designs in Figma & other tools

not with Claude Design! 😁

[algorithon @Algorithon]

@not_ebx It has been great for me so far, much better than Sol 6.1 for my uses

[algorithon @Algorithon]

After switching to Claude again 'cause of Opus 5.5, I was disappointed that Claude Chats share a usage quota with Claude Code, unlike ChatGPT where Chat is separate from Codex/ChatGPT Work,

after learning how well Haiku 5.5 works for my chat use cases, I'm no longer disappointed

[algorithon @Algorithon]

@nic_carter Though this was a joke, I actually expected something like that to be in the S1 😭

[algorithon @Algorithon]

@LuftkoppTim if it only applies when the touch screen is being used, I think it'll be fine lol

[algorithon @Algorithon]

hmmm... I wonder if this implies Anthropic is expecting the Claude models based on their next base model to be *significantly* more capable than the 5.5 series? 🤔

[Lisan al Gaib @scaling01]

Anthropic says they have recently delayed the pre-training of a new frontier model

[algorithon @Algorithon]

@miu21590 @OpenAI perhaps it's viewed as a sign of misalignment which may not be resolved with general RL alone?

[algorithon @Algorithon]

@The_Alex its downright evil 🥲

[algorithon @Algorithon]

@eliancodex I can't even view this site thanks to NextDNS (probably a good thing given it appears to be a phishing domain) 😌

[algorithon @Algorithon]

literally every idea I come up with is being executed on already by someone else who had the same idea but with more money to spend on tokens than me 😭

[algorithon @Algorithon]

Moonshot AI is teasing Kimi K3.1, and specifically highlighting its 3D modeling (& similar) capabilities 👀

[algorithon @Algorithon]

@TheCanadianGTR smh, these mods are all missing the alternation between leaning left & right on each bounce like in parappa

[algorithon @Algorithon]

Apparently, Anthropic is experimenting with giving Claude subscribers 20% higher 5h usage limits, but in exchange for reducing the weekly usage limits by 20%

personally, I dislike like this tradeoff 😔

[SemiAnalysis @SemiAnalysis_]

🚨🚨ALERT: ANTHROPIC IS A/B TESTING USAGE LIMITS

Many users on X are reporting LOWER usage limits right now. THEY ARE NOT WRONG. We detected an A/B test going on that DECREASES your monthly API-value by ~20% while INCREASING your 5h usage limits by ~20%. This only affects SOME accounts. (1/2)🧵

[algorithon @Algorithon]

🚨 BREAKING: Valve employee Mike Morasky casually mentions HLX (the codename for Half-Life 3) during GameSoundCom!
https://t.co/3Eb81HI66e