kevin joo (@entropybender) header
kevin joo (@entropybender) profile picture

https://teapawt.org/t.co/h8xtEP2LPG | YC W20 | hopkins BCI & bioinformatics

New York, NY
Joined August 2017
Photo by kevin joo (@entropybender)Photo by kevin joo (@entropybender)Photo by kevin joo (@entropybender)Photo by kevin joo (@entropybender)Photo by kevin joo (@entropybender)Photo by kevin joo (@entropybender)Photo by kevin joo (@entropybender)Photo by kevin joo (@entropybender)Photo by kevin joo (@entropybender)Photo by kevin joo (@entropybender)
doing the contrarian thing and building a Worse Slack
15
1,222
KOSPI these days
*S. KOREA'S KOSPI TRADING HALTED FOR 20 MINUTES AFTER 8% DROP
3
236
this datacenter bearish sentiment is foolish mamdani has already broken ground on the first Data Mosque in NYC. all GPUs used are 100% halal certified
🤖 Made with AI
4
204
im willing to tank hits to my datacenters if we get zirp and stimmy again
67
analytically, the sun is still setting at 6pm
72
kevin joo retweeted
I'm excited to announce zdn: github.com/jonwalch/zdn zdn is a command line tool that lets you easily create new private Zcash dev networks in your AWS account. Try it out!
9
3
41
6,353
they're calling it the Fall Formal
Vas is right. Stay tuned... our fall season of formalization has only just begun.
3
3
492
kevin joo retweeted
Congratulations to the Axiom team on this expansive undertaking.
The largest math proof in human history is now computer-verified. Today, Axiom announces a complete Lean auto-formalization of the Classification of Finite Simple Groups, the "periodic table of symmetry." About 15,000 pages, built by over 100 mathematicians across generations.
9
26
1
271
10,906
at the same time here is my non tech friend to this day there are people without personal websites or even notion users but there are many with them too. wordpress, wix, shopify, squarespace, notion + fruition, on and on
i showed my non-tech friend codex and how you can make anything and ask it to do anything for you on your computer and he literally did not gaf
2
1
153
tylers-cellar.tyler-huang-19… this recent narrative as we reach flatter growth is missing the fact that the hype simply outran the adoption. but the adoption will come
1
66
at this point just halt in premarket
Three hours until Korea is halted seconds after the open
1
85
is it just me or is @GoogleResearch casually dropping a breakthrough a day
2
93
future shape of harnesses/agents: - research - development this is it. "coding agents" is not going to be a thing. you simply come up with higher order thoughts, spawn 10000 hypotheses, and throw it into an agentic framework that tests it
We are still so early in the adoption of research agents Research agents are currently where coding agents were 12-18 months ago: most researchers only like giving agents individual, narrowly scoped tasks & model usage is dominated by a handful of closed, frontier models. However, like coding, the landscape of autoresearch agents will change. Most researchers will soon let agents to explore lines of experimentation end-to-end and open-source models will become competitive alternatives. Watch the the autoresearch revolution unfold at openresearch.sh/rankings
1
127
pretty soon, all coding agents and harnesses will just become research agents/harnesses "plan mode" was the mvp
1
65
guy who was an AI bear for 3 years straight thinks he is winning today -10% on a 100x is a 90x return. 100x if you hedged on obvious signs being dogmatic is such a human trait and it is why traders lose money, every time
54
everyone who wants to get into the data selling/brokering/RL game needs to watch War Dogs
Three reasons why the data industry is dominated by young people (<28), even more so than other large AI markets: 1. We are at the beginning of a supercycle and young people are unburdened by priors of what durable equity value looks like 2. Young people have time and energy, and data is intense (part of what makes it hard) 3. AI researchers and adjacent lab employees also skew young, and these relationships matter a lot
1
115
broke: trying to join frontier lab for the money woke: joining bc you know they'll turn off good model access and feed you scraps within a year how do you justify $1T val with limited compute? better to solve millenium prizes or cancer than vibecoding
1
2
234
$TMO up from 640 to 690 thank you former employer
joining the Muse money challenge with options trading goal is to turn $100 into $1000 with minimal effort on my part first play being analyzed is $TMO
108
drop ur battletags below (for longevity)
After 30 hours of playing a strategy video game (StarCraft II), adults showed a ~3-year drop in EEG-estimated brain age
70
wake up babe new benchmark dropped
We discovered a sophisticated recording device that was hidden inside one of our offices. We used our models to understand the device and where it had come from, identifying that a specific employee had planted it a few days earlier. We referred the matter to the FBI, and we’re grateful to the agents and prosecutors who moved quickly to make an arrest. The FBI’s investigation is ongoing and we will continue to support their work. At this time, we have no indications of this individual inappropriately accessing or exfiltrating model weights, source code, or customer data. The employee was terminated. We take protecting our technology, data, and people seriously, and as a matter of national importance. Our security program is designed to protect against a wide range of threat actors, from insider risks to cybercriminals to nation states, and this case is an example of how AI can help address these sophisticated security threats.
1
96