Thomas Lince

Curious about too many things. Building Zeta Lab, a public verification workbench for mathematics and AI. Also music.

[Thomas Lince @tealsea90]

@UnitreeRobotics this is satire, right? this isn’t real. this can’t be real. what’s going on? 😂

[Thomas Lince @tealsea90]

ok so gpt live + hermes on sol fast + cua driver using your computer is some next level black magic fuckery 😮

[Thomas Lince @tealsea90]

@witcheer the computer use is insane. it’s like magic when it takes over yours

[Thomas Lince @tealsea90]

@nothingto12 yeap this is pretty much my experience too

[Thomas Lince @tealsea90]

@nothingto12 damn

[Thomas Lince @tealsea90]

@OverThePlaces doesn’t compile. line 28: type mismatch.

[Thomas Lince @tealsea90]

We took a small patch of the Riemann Hypothesis all the way through Lean’s kernel at Zeta Lab: up to height 50, exactly 10 zeros, all on the line, none missed. Even the numerical bounds are proved, not assumed. You can check the whole proof yourself.

https://t.co/zAXM8m3ksJ

[Thomas Lince @tealsea90]

@doodlestein did you really need the uncensored version for that?

i mean the regular version barely refuses as it is lol

[cheaty @cheatyyyy]

imagine this at offensive cybersecurity

im leaking

[Thomas Lince @tealsea90]

@emmjay_init Hermes has way too many levers and buttons allowing for virtually infinite different configurations for so many different use cases.

It really does depend on the setup

[Thomas Lince @tealsea90]

@sawyerhood even with the connectors missing and all

[Thomas Lince @tealsea90]

@yuhasbeentaken i’ve been finding deepseek on vercel token pass and on the experiential labs basic sub to be that fast most of the times

[Thomas Lince @tealsea90]

this shouldn’t give me the joy it does 🙃

[Thomas Lince @tealsea90]

At this point Cerebras makes absolutely no sense to a consumer needing fast inference.

Why would i get qwen 3.8 27b at 131k ctx and $1.50/M out when i can get deepseek just as fast, at 1M ctx and half the price?

makes no sense

[Thomas Lince @tealsea90]

@UnitreeRobotics this is satire, right? this isn’t real. this can’t be real. what’s going on? 😂

[Thomas Lince @tealsea90]

@BrianRoemmele where??

[Thomas Lince @tealsea90]

@MiaAI_lab 😮 what’s the throughput like?

[Thomas Lince @tealsea90]

vercel is totally cooking with the token pass

[Thomas Lince @tealsea90]

@gabriel1 funny, it does that to me too but at 1:00 PM and in the middle of an intense session

[Thomas Lince @tealsea90]

@rezoundous you can’t even have more than one dot 🙄

[Thomas Lince @tealsea90]

@HermesWatcher 3-4 on the app and 3-4 on discord