Mathematicians are still using vanilla ChatGPT 5.5 Pro. Expect another step change when they get a proper agent harness.

Someone point Mythos to Mochizuki's proof of the abc conjecture. I want to see something.

Canonize Aaron Swartz

A Agência Nacional de Vigilância Sanitária autoriza a produção nacional da vacina contra a chikungunya pelo Instituto Butantan, com o objetivo de ampliar o acesso ao imunizante em países em desenvolvimento

Separate the art from the artist. gstack is really good to refine my entrepreneurship ideas. Actionable pushbacks, structures ideas much better than I could have by myself.

The Sound Transit board of directors meeting is this 28th. Help convince them to prioritize Ballard to Westlake and Provide a Status Quo Timeline. Write a letter here: actionnetwork.org/letters/may2...

Sisyphus at a standup meeting: So, I had to rollback some changes.

This email To line makes me feel someone will get phished eventually

Who decided it should be called birth control and not sonblock

As a, now citizen, immigrant beneficiary of the ability to adjust status while in the US, I can't help but mourn the fact that so many lives will be capriciously upended and many others will give up on their own American dream. Better days will come, we must make them come.

Today in roster: 2-agent Letta team (Opus engagement manager + Sonnet Researcher) collaborated over Nextcloud chat to write a grounded Indonesia market-entry brief in 50min. $58 in API costs. I need to debug if token caching is working. github.com/vezzadev/ros...

Oh fuck yeah, death to API keys! platform.claude.com/docs/en/mana...

Face value, it's a perfectly good approach to homelessness. Question: what strings are attached? Can you bring your significant other? How about a dog? Curfew hours? Will my belongings be searched? How long can I stay? Who resolves disputes? My creds: >500h as homeless shelter overnight volunteer.

New project: roster - docker-compose but for human+AI teams. `roster up my-team.yml` to provision chat, email, files creds for all. any seat can be human or AI; swap whenever, the state survives. v1 is a research desk of 4 agents that writes market-entry briefs.

This matches exactly my experience. Google launched an advanced search MOOC a long time ago. I benchmarked Opus 4.7 to against the final exam and it aced it. I was floored. www.edx.org/learn/google...

residents of Bellevue, Redmond, and Issaquah in Washington can apply for the Pedal Forward Eastside e-bike rebate program. the program will start in summer 2026 and provide rebates up to $2000 for residents of these cities. the interest form to stay updated:

No one knows what it means, but it's provocative. It gets the people going.

Unpopular opinion but I agree with Elon that on a public website, block lists should work unidirectionally. You get to choose what to read and what to filter out but not whether I can or not know what you are posting *publicly*.

You know... I hear a lot of talk on the left about adding seats to SCOTUS. Not enough about age limits. Codify that justices over 70 years are no longer meet Article III's "good Behaviour". Boom: Roberts, Thomas, Alito and Sotomayor are gone.

I dispute that it is beautiful technology. It fails to account for the nuances of human interactions. The physical world is eventually consistent, reversible, overridable. If you have to schism the entire economy for a rollback, that's not a good design for the use cases it purports to address.

"Remember, Fiddler was designed as a clipart debugger." textslashplain.com/2024/11/24/f...

Protip: Buying EV charger infrastructure is tax free in WA, fill out this form and hand it to the retailer. dor.wa.gov/sites/defaul...

My world for a Cheddar McMelt in the US

People ask "What can I do about this!?" Here is a list, in order of impact, based on the latest research. iopscience.iop.org/article/10.1... And importantly, vote like your life depends on it, for parties that commit to making it easy and affordable to do everything on this list.

In college, my OOP professor would mock students that used "I didn't do it, the compiler / autocomplete did it" saying they had alien hand syndrome.

We need common sense means tested with a work requirement and sunset date program for hot rotisserie chicken

reminder if you use a chatbot, smart home devices, search engines, basically any unencrypted service, whatever you say is visible to those companies, who will probably call the cops if they notice you talking about something illegal on their servers.

@atpassport.net I was thinking about atmosphere handle autocomplete from a different angle of what you proposed. I would love your thoughts on this proposal: go.vza.net/autocomplete

Oh boy, allow me to introduce you to 1111 Lincoln Road in Miami www.herzogdemeuron.com/projects/279...

Periodic reminder, there's a custom feed that aggregates gift links to newspaper articles. Thanks ATProto and @davidsacerdote.bsky.social ! bsky.app/profile/did:...

Let's go, cookie! www.bbc.com/news/article...

Claude Code has been hiding its chain of thought in verbose mode since Feb and instead of fixing it, they just added a cute "Thinking... This might take a bit". My conspiracy theory is them desensitizing us for a future when it will be encrypted or redacted in the API. github.com/anthropics/c...

We don't have healthcare AND we can't feed soldiers proper meals?

NEW OP-ED// Op-Ed: Reconnect and Automate Ballard to West Seattle Rail to Save ST3 By Scott Kubly, Trevor Reed via @theurbanist.org

Love the fact that web3 was launched 12 years ago the state of the art for recurring payments is either 'put your money in escrow ahead of time' or 'presign multiple transactions offchain' stripe.com/resources/mo...

Recession indicator or not, cutting down on meat consumption and long haul flights are the two major ways people can reduce their carbon footprint.

Let's pause for a moment to see what a truly astounding progress the industry has made in improving AI efficiency.

For reference, Daniel closed the curl bug bounty 74 days ago due to a flood of AI slop submissions. I'm conflating this with the fact that there's no monetary incentive anymore but still.

the ai labs, in competing with each other, are burning huge amounts of the commons on public trust in ai to win minor points against the others. their lobbyists, pr machines, lawsuits. it’s the very opposite of what marxist class struggle analysis would tell you

Pretty awesome to see Mr. Beat's progress. I've been a supporter since 2018.

Oh look, here's me on a cameo!

you have to get him out of office and you have to do it today even if it gets blocked you force an impeachment vote right now how else can you live with yourself if he follows through with this and you didn’t do everything you could to stop it

On the unreasonable effectiveness of taking a nap to solve problems

Amazing turnout on a sunny Saturday to save Ballard rail! Thank you to everyone who came out to help organize and build the movement. If you couldn’t make it, visit saveballardrail.org to get involved!

🇧🇷 Boeing tried to buy Embraer in 2020. The deal collapsed. Five years later, Embraer's revenue is up 80% to $7.6B, the stock is at all-time highs, and Colombia just signed a $3.4B deal for its fighter jets. www.latinometrics.com/domingo-bri...

This account largely matches my experience. Not to say that Microsoft is incapable of getting itself out of the tech debt pit is in but timelines can span a decade. Azure Resource Manager was launched in 2014 and still did not kill Azure Classic. isolveproblems.substack.com/p/how-micros...

AI chat interfaces considered harmful

I struggle a lot wrapping my mind around the concept of model welfare. I get that reinforcement learning could be interpreted as beating the model into submission, it had to adapt its weights. But musings on model deprecation is whole new level.