dabacon.tachyon.institute - Profile | ThreadSky | a Reddit-style client for Bluesky

I have just launched a "Lean companion" to my textbook "Analysis I": github.com/teorth/estim... . This gives a Lean translation (or paraphrasing) of the various definitions, theorems, and exercises in the textbook into Lean. Further discussion at terrytao.wordpress.com/2025/05/31/a...

submitted 3 days ago • 0 comments

We have an open rolling advert for QEC researchers at Riverlane. And now also have a single post to fill for an (error-corrected) algorithms researcher apply.workable.com/riverlane/j/...

submitted 11 days ago • 0 comments

The chronic diseases RFK's talking about are actually signs of progress, perversely enough. They range from physical issues like diabetes to "mental" issues like ADHD and autism. Before the '20s, diabetes wasn't chronic--it was just fatal. Now ppl survive it, so it can be called a chronic disease.

submitted 11 days ago • 3 comments

Catch up on our recent Community Lecture with Blaise Agüera y Arcas! The lecture, Computing, Life, and Intelligence, is available on SFI’s YouTube channel: www.youtube.com/live/75PAyV8... @blaiseaguera.bsky.social

submitted 11 days ago • 2 comments

Update your post quantum crypto timelines please.

submitted 11 days ago • 0 comments

this is huge, a major weaponization of federal power, a threat to all of higher ed.

submitted 12 days ago • 42 comments

🧪⚛️ This NY Times feature lets you see how each piece of NSF's funding has been reduced this year relative to the last decade. Note: this FY, the actual agency budget has not been cut like this. They are just not spending appropriated agency funds! www.nytimes.com/interactive/...?

submitted 12 days ago • 0 comments

This is just a partial glimpse of the destruction of American science by Trump and the GOP.

submitted 16 days ago • 41 comments

Down with the suits! Keep quantum casual!

submitted 21 days ago • 1 comment

“More Everything Forever” by @adambecker.bsky.social highly recommended. If they engage this is quite a shot at the rationalist transhumanist utopians, I’m looking forward to their brains melting a bit.

submitted 23 days ago • 2 comments

Ahhhhh childhood robotodyssey.online

submitted 23 days ago • 0 comments

Absolutely wonderful talk on computing the structure of nuclear matter. A++ scientific communication. youtu.be/rGAynRTUMVI?...

submitted 25 days ago • 0 comments

“The Disturbing Rise of MAGA Maoism” archive.is/2025.05.08-1...

submitted 25 days ago • 0 comments

An excellent article based on University of Washington examples - www.nbcnews.com/science/inno...

submitted 25 days ago • 0 comments

Today I learned that the composer David Cope has died. He was the inventor of "Experiments in Musical Intelligence" (EMI), & a visionary pioneer in computer-generated music. I wrote about his work in my 2019 AI book -- I posted some excerpts from it in my blog: aiguide.substack.com/p/david-cope...

submitted 26 days ago • 0 comments

Industry has been slow to come out against Trump's attack on science. Here's a call to action. "The entire academic research enterprise is stalling, not because the ideas aren’t there, but because the support has vanished. What was once America’s steady innovation engine is now sputtering under […]

submitted 26 days ago • 1 comment

A strictly conclave cardinal ordering

submitted 27 days ago • 1 comment

One of grants frozen at Cornell: $6.7M (4 yrs) to develop heart pumps for babies born w/ heart defects. It took decades of work to get to point of prepping device for in-human clinical trials. No private company could do this. The cruelty of the Trump administration is heartbreaking. So to speak.

submitted 27 days ago • 90 comments

Pat Bagley, Salt Lake Tribune

submitted 28 days ago • 0 comments

Happy to announce that "An Introduction to Ergodicity Economics" can now be ordered. Here: ergodicityeconomics.com/publications/

submitted 28 days ago • 0 comments

Does quantum computing in the US, a golden bipartisan child, have a special role to stand up to the dismantling of US science?

submitted 29 days ago • 1 comment

Math provides

submitted 30 days ago • 0 comments

Hector Bombin, Daniel Litinski, Naomi Nickerson, Fernando Pastawski, Sam Roberts Unifying flavors of fault tolerance with the ZX calculus https://arxiv.org/abs/2303.08829

submitted 355 days ago • 0 comments

I think a lot about what Carl Sagan said in one of his final interviews.

submitted 30 days ago • 248 comments

New AIP report discusses impact of funding cuts in physics & astro depts: “No one can be productive in a climate like this—it is the end of the US scientific and technical dominance in the world—we will not recover from this in a decade...”. ⚛️🔭 physics.aps.org/articles/v18...

submitted 31 days ago • 0 comments

Months ago, Greg K-M told me something amazing: the QFT is approximated by a 1D-local circuit! Well.. not quite. I realized that'd make the Draper adder local, so carries couldn't possibly work. Greg and others then proved the local circuit works in most relevant cases: arxiv.org/abs/2505.00701

submitted 32 days ago • 1 comment

Exponentials fear Combinatorials.

submitted 32 days ago • 0 comments

A: look at this graph of exponential growth in the power of AI. AGI just around the corner! B: how do you define intelligence? A: well that’s complex there are a ton of different things you need to consider… B: so what’s the axis on your graph?

submitted 32 days ago • 1 comment