a self that touches all edges
San Francisco, CA
Joined May 2023
- Tweets680
- Following1.5K
- Followers1.1K
- Likes49.6K
Fool that I am, expecting the sfo yoga room to be anything but packed to the gills with people actually doing yoga on this beautiful Saturday morning
maggie retweeted
We’re tracking live the conversation around @nickcammarata's field-overturning findings in mechanistic interpretability. The debate on its implications is moving fast — use our tool to explore the opinions and rebuttals of top researchers to develop your own intuition.
Where do you stand on AI's biggest questions, and who agrees with you?
Worldview's interview finds your position, then places you on a map of researchers, forecasters and lab leaders, built from what they've actually said on the record.
worldview.mts.now
So here’s the major cruxes we’ve found from @nickcammarata’s Already Clean post. Trying to develop the best resource for myself as a mech interp lurker :^) Explore it at worldview.mts.now
maggie retweeted
The interview helps you calibrate your opinion about the major questions in AI and helps us map the space better
Where do you stand on AI's biggest questions, and who agrees with you?
Worldview's interview finds your position, then places you on a map of researchers, forecasters and lab leaders, built from what they've actually said on the record.
worldview.mts.now
Thank you so much to @netcapgirl @schisofrenia for working with me on this, girl powerrr
X is a firehose of takes. I’ve always wanted an easy way of making them less slippery and understanding where people are coming from or what arguments they’ve considered.
I think this is a fun first step to understand how discourse evolves. Excited to see how this can grow!
Where do you stand on AI's biggest questions, and who agrees with you?
Worldview's interview finds your position, then places you on a map of researchers, forecasters and lab leaders, built from what they've actually said on the record.
worldview.mts.now
maggie retweeted
Where do you stand on AI's biggest questions, and who agrees with you?
Worldview's interview finds your position, then places you on a map of researchers, forecasters and lab leaders, built from what they've actually said on the record.
worldview.mts.now
hey I made this! check it out tell me how cool it is
Where do you stand on AI's biggest questions, and who agrees with you?
Worldview's interview finds your position, then places you on a map of researchers, forecasters and lab leaders, built from what they've actually said on the record.
worldview.mts.now
People get sad and unmotivated because a future model may one shot your idea, so why spend time on it now? Reality is chaotic and memories are short. I think there's a lot of things that will never exist after you fail to make them in the moment.
maggie retweeted
Let's verify all the software -- finally published a botec on how much it might cost. Some headline numbers and estimates:
- ≈$400M: all of nixpkgs in ≈5 yr on a $100M/yr budget, if AI capability keeps doubling every 8 months
- ≈$134M: 95% of the code by end of 2027, if we speed that up 4× for verification
- program size is heavy-tailed, most software is small; the median binary is about 30 KB, and verifying just 9 MB is enough to cover all deps of ⅔ of all code
- verification of Linux+Firecracker would cost ≈$1M
theorem.dev/blog/verified-so…
maggie retweeted
hello, we're doing a security moonshot!
We now have a verified seccomp-style lightweight sandbox on top of xv6, thanks to Nickolai Zeldovich
github.com/mit-pdos/xv6iris/…