Tomasz Kolinko (@kolinko) 's Twitter Profile
Tomasz Kolinko

@kolinko

Effort - kolinko.github.io/effort/ - an llm inference algorithm , previously eveem.org - decompiler for Ethereum smart contracts.

ID: 21565953

linkhttps://kolinko.github.io/effort/index.html calendar_today22-02-2009 13:54:46

1,1K Tweet

3,3K Takipçi

553 Takip Edilen

Tomasz Kolinko (@kolinko) 's Twitter Profile Photo

Hey Duolingo - any chance for a Polish-Ukrainian course (and vice versa)? Many people would love to learn it now, and it would be easier than learning through english.

ETHWarsaw 🧜‍♀️🇵🇱 (@ethwarsaw) 's Twitter Profile Photo

🧜‍♀️ETHWarsaw Agenda is here! We have 4 days full of amazing content: 👨‍🏫Talks from the top Web3 projects 👨‍💻Workshops with Web3 devs (noobs welcome) 🙋‍♀️Discussion panels ⛏Overnight hacking sessions 🥂Side events 🗓Agenda➡️bit.ly/ethwarsawagenda 🎟Tickets:ethwarsaw.dev

Tomasz Kolinko (@kolinko) 's Twitter Profile Photo

Just spent the last few days working with this - awesome way to get to understand how LLaMA and attention mechanisms work intimately :) Thanks, Remco :D

Tomasz Kolinko (@kolinko) 's Twitter Profile Photo

A fun project I built at a hackathon - kolinko.github.io/herald - a tabloid paper auto-generated from new stories on Hacker News :)

A fun project I built at a hackathon - kolinko.github.io/herald - a tabloid paper auto-generated from new stories on Hacker News :)
Tomasz Kolinko (@kolinko) 's Twitter Profile Photo

ChatGPT predicting what would happen if it rained on Burning Man and the resulting media coverage 😀 Totally missed on what Chris Rock and Diplo would do, got most of everything right otherwise 😀 chat.openai.com/share/3107fcd6…

Tomasz Kolinko (@kolinko) 's Twitter Profile Photo

People complain about "poisioning the well" with AI feeding on AI-generated replies on StackOverflow etc. I just had a random experience showing how it will be non-issue in the future. I asked ChatGPT to write code using a certain library. It hallucinated a method that doesn't

People complain about "poisioning the well" with AI feeding on AI-generated replies on StackOverflow etc.

I just had a random experience showing how it will be non-issue in the future.

I asked ChatGPT to write code using a certain library. It hallucinated a method that doesn't
Tomasz Kolinko (@kolinko) 's Twitter Profile Photo

Tl;dr; getting LLM to guess solutions, verifying their correctness using symbolic methods, and possibly a first result of an actual mathematical discovery using LLMs :) nature.com/articles/s4158…

Tomasz Kolinko (@kolinko) 's Twitter Profile Photo

On GPUs, is x += b as fast as x += b*c? Bc I think I figured out how to do matrix multiplications without multiplications :D - as crazy as it seems. But the question is whether it will result in an actual speedup.

Tomasz Kolinko (@kolinko) 's Twitter Profile Photo

Anyone from the bay area/SF willing to meet up and talk LLM math and algorithms in the upcoming week? Would love to grab a coffee, or doing a micro-meetup.

Tomasz Kolinko (@kolinko) 's Twitter Profile Photo

gpt-4o - nice, I wonder if this premiere is related to Apple’s WWDC next month and rumors of Apple working on a deal to integrate gpt with Siri