Tasos Sidiropoulos

Computer science professor at UIC. PhD @ MIT, theoretical computer science, algorithms, AI, permissionless systems, co-founder @ Determinant Technologies

[Tasos Sidiropoulos @sidiropo]

What it feels like doing mathematical research

[Tasos Sidiropoulos @sidiropo]

Hey @peterktodd any thoughts on this? @btcplusplus

[Tasos Sidiropoulos @sidiropo]

@peterktodd
Your argument that bitcoin needs tail emissions due to the instability of block rewards at the limit is incorrect. The instability can be avoided with a much less divisive protocol change: The miner gets 1/k of the reward of all of the last k blocks (say, for k=100). @btcplusplus

[Tasos Sidiropoulos @sidiropo]

@peterktodd
Your argument that bitcoin needs tail emissions due to the instability of block rewards at the limit is incorrect. The instability can be avoided with a much less divisive protocol change: The miner gets 1/k of the reward of all of the last k blocks (say, for k=100). @btcplusplus

[Tasos Sidiropoulos @sidiropo]

@bryan_johnson @OldeWorldTales How will a vegan survive in a forest?

[Tasos Sidiropoulos @sidiropo]

Excited to see Grady featured in Fortune with @edXOnline, @AnantAgarwal, and @DrDavidJoyner.
In edX’s Foundations of Generative AI, an AI professor teaches and Grady grades.
AI-powered teaching is here, democratizing learning worldwide.
https://t.co/sDKbhG9NeX

#AI #education

[anant agarwal @agarwaledu]

Can AI teach AI? 🎓

Launching a bold pilot today at @edXOnline with @GeorgiaTech's @DrDavidJoyner.

The course: Foundations of Generative AI — built WITH AI (HeyGen, GradyAI, and other tools) for lectures, quizzes, grading & support. The instructor stays in control of design & pedagogy.

The goal? Show how AI can be every educator’s “super-TA”, helping free up time for what really matters: mentoring, creativity, and connection.

Innovation through experimentation 🚀

https://t.co/GUbOsxgmPb

[Tasos Sidiropoulos @sidiropo]

Coding is dead. Long live vibe-coding.

[Tasos Sidiropoulos @sidiropo]

@roydanroy Congratulations, Dan!

[Tasos Sidiropoulos @sidiropo]

@sarielhp You don’t want the sticker?

[Tasos Sidiropoulos @sidiropo]

@SBakerMD Spinach

[Tasos Sidiropoulos @sidiropo]

#ChatGPT still struggles to invent correct proofs, but it excels at writing detailed proofs from a high-level description.

[Tasos Sidiropoulos @sidiropo]

@alexbosworth The real cost is acquiring incoming liquidity.

[Tasos Sidiropoulos @sidiropo]

@adam3us @salvatoshi @robin_linus False

[Tasos Sidiropoulos @sidiropo]

@robin_linus ASI could change that.

[Tasos Sidiropoulos @sidiropo]

@AmmousMD Garbage in, garbage out

[Tasos Sidiropoulos @sidiropo]

The OCR capabilities of Kimi K2 seem subpar.

[Tasos Sidiropoulos @sidiropo]

Does anyone understand why LLMs tend to reverse the order of mathematical inequalities?

[Tasos Sidiropoulos @sidiropo]

@robin_linus As in EIP-1599?

[Tasos Sidiropoulos @sidiropo]

@tdietterich This work on goal-oriented communication seems relevant: https://t.co/EU6OZHdUKJ

[Tasos Sidiropoulos @sidiropo]

People fear LLMs might awaken a daemon. A scarier proposition is that daemon has been inside our heads all along.