ideal

[ideal @one_line_proof]

@__alpoge__ Cheaper per token, but not per task...

[ideal @one_line_proof]

@alexandr_wang Quite impressive. Are you also working on a router so my task automatically gets the right model?

[ideal @one_line_proof]

@poteto @alexandr_wang - check it out too!

[ideal @one_line_proof]

@alexandr_wang @poteto @thsottiaux the battle continues

[ideal @one_line_proof]

@joshwoodward Just updated the IDE - now Argon is there!

[ideal @one_line_proof]

@joshwoodward Argon is not even available in Antigravity IDE (it is in App ). Can you please add it?

[ideal @one_line_proof]

@poteto @thsottiaux Get https://t.co/wseVQ6aJcq

[ideal @one_line_proof]

@MatthewBerman Curious to see if Claude's watermarks are in there. Did anyone check?

[ideal @one_line_proof]

@woodhaus2 Floatster

[ideal @one_line_proof]

@Tesla Corrected link: https://t.co/r87JiJ7jbR

[ideal @one_line_proof]

@OwenSparks AI:

55 mph is the iconic national speed limit mocked in Back to the Future ("I Can't Drive 55") vs. the 88 mph needed for time travel. Even better, in 24-hour military time, 7:55 PM is 19:55—a direct callback to 1955, the year Marty McFly travels back to in the first movie.

[ideal @one_line_proof]

@davidmbudden @ctjlewis @ojoshe @kleddamag @wand_125 @guzhou0806 @ManassehA06 This looks pretty cool - looks way less random!!!

[ideal @one_line_proof]

@theo Can you make a video comparing Grok Bot, Muse and Dots? Would appreciate your honest criticism.

[ideal @one_line_proof]

@NASAAdmin wait, you still fly jets at airshows? Amazing!

[ideal @one_line_proof]

@wtgowers Can you imagine a scenario where someone finishes a thesis and then OpenAI says: 'we proved your results 2 months ago'? So I tend to agree with Kevin - better to publish the findings and move on.

[ideal @one_line_proof]

@chribjel They might have found another hack...

[ideal @one_line_proof]

@MatthewBerman @pitdesi The only thing missing is an option to talk to the car (grok) and influence the driving so it behaves like a real taxi.

Example: 'just park now, 'park in the left spot in the garage' etc.

[ideal @one_line_proof]

@davidmbudden Heuristically. Here is a p with p+2 prime with 1038 digits as an apology:
p = 11111....111110814467 (1031 ones)

The whole number did not fit in my margin.

[ideal @one_line_proof]

@davidmbudden If p is prime, than p+2 is prime with probability ~0.573/d where d is the number of digits of p. PNT gives chance of prime itself.
Basically, trying ~4M random 1038 digit numbers (with polynomial time primality testing) should give you your twin primes.

[ideal @one_line_proof]

@davidmbudden I accept a human written proof too.