was curious what this test would be, but instead learned something about google... for some reason?

wait... if you're dilly dallying, and I'm dilly dallying... who the heck is writing the code right now?

Hello Mr. Bond...

waow the sf hackerspace is so much cooler than NYC's one; i've pitched so many meetups to crickets at resistor; fucking thing sucks

after digging into it, I'm actually starting to think that LLMs produce better code for Rust, not because of the type system, but because the sample of Rust code in their training corpus is of a higher quality... 🤔🤔🤔

procrastinating on my lit review??? nooooo, I'm doing classical grounded theory mom

I've been doing wayyyy too much travelling this month I am so fatigued oof SF this week, PLDI the week after next, ECOOP (Europe lol) the week after

Verifying a DNS server in Lean, my spec? The DNS RFC itself.

my fault for relying on the autism bot for dating advice

Beat BOTW! Final boss probably would have been a bunch easier if I didn't force link to wear the twink outfit with no defense for every battle

Ladies and gents, I present, the first instance of sloppification of human art

Just saw one of those robot demonstrations and the robot accidentally roundhouse kicks a nearby spectating child in the stomach (they seemed fine after) am I a bad person that I find these really funny lol

Of course, given their regularity and structure, silica and rocks can clearly think and result in conscious thought. But organic matter? dendrites and synapses? bah, jog on, I highly doubt that such primitive slop could ever produce complex thought, let alone consciousness

Put the money in the bag lil' sis

sent #rustlang mod team to consider adding "caste" in their code of conduct. rust-lang.org/policies/cod... currently does not include caste however latest contributor covenant has caste in it www.contributor-covenant.org/version/3/0/.... reposts appreciated.

here's my proof of P = NP no sorry := refl

"it can't be that big of a contribution, kiran did X and she was able to knock it out in a weekend" I was able to knock it out in a weekend because I'm a fucking god dimwit, don't use me as a measuring stick lol

"Single. No family. No dependents. If there is a cent in my account the day I die, that is a cent I have wasted" She muttered, punching her card details into the LLM token purchase screen.

asked the causal modellers at work to work on the ai 4 math grant without me and they reduced the rich tapestry of mathematics, one of humanities richest and oldest fields of intellectual study down to a supervised classification problem theorem provable? true false

y'know today I heard that token costs might go up. I'm optimistic, I assume they'll stay low, we'll get new technology that'll make it cheaper, but after reflecting on it, I guess I don't really care in fact, I might even look forward to lower token limits, I like coding (by hand), I can't wait!

can't wait for the CACM article

both UK and California are right next to the ocean, but California seems fucking idyllic and the UK is a dump. much to think about

Claude? formalise 25 textbooks for me. Make no mistakes. also, secure my login page so people can't have their accounts stolen.

Being in the bay, I feel like a fake woman like Elizabeth Holmes. The only difference is when she does the voice, her pitch goes down, and when I do it, mine goes up

NYC has got TOO WOKE for me!!!! Heading to SF for pride month to ESCAPE this madness!!!

Heloooooo Palo Alto

Gendered correctly in a hate comment #winning

When questioned about why the CACM had allowed such slop to be published, Moshe Vardi: "it is just a blog. Get over yourself" What a time to be alive!!!

In this week's blog post, CACM dares to consider a radical equation that has the potential to impact the future: P = NP + AI

7 hours, no Internet, no distractions. 1 category theory book. God, I think I'm in heaven.

Ofc by that I mean, doing Category theory!

What level of AI psychosis is this?

LLM killed the refinement types star

Flying to SF today

Type theorists will be like, oh, implementing the most widely used operating system in C? that pales in effectiveness to my strategy, writing all prod software in a dependently typed language" and then not write any usable software at all.

I hate seeing Pl*bbitors on yellow site. Get out peon.

heartbreaking, samsung flip 3 doesn't support custom coverscreen widgets... maybe it's finally time for me to upgrade my phone rip love ya sweetie

Suns out, guns out? ❌Nah! Suns out, morphisms out! ✅ 👏 NYC is. the. place. to. be. 👏this summer if you're interested in Category theory and running! Beautiful day, amazing vibes and even better conversations! What are finite products? monoidal functors? all this and more!

Ofc by that, I mean read some Category Theory!

Ladies and gents it is a beautiful day out here in Brooklyn NY today, go out! Enjoy the day! What a time. to. be. alive!!!

booked several flights and hotels for june oof that was a pain 1 hour of admin

blessings to deb and ian, though their love could not last, their operating system lives on

YOU'RE STEPPING ON MY DREAMS CLAUDE

waow

update: I'll be in menlo park, CA on monday-wed, any moots in the area hmu if you wanna meet!

lmaoooo this release has to be the funniest development in the AI4maths space recently lol everyones going into this space, meta feels left out, responds by releasing the "biggest autoformalisation to date". on closer inspection? it's a bunch of slop

I agree. Even in 2015 I was saying the ubiquity of micro$oft windows in trusted settings for a black box proprietary service is appalling... oh wait... this isn't about proprietary software is it

I kinda respect how Claude included a license (unprompted) when I asked it to make a fork of a project. Claude seemingly has a lot more respect for software licenses than many software engineers I know

some engineer must have rushed to put in a fix... or so they thought