Brouwer was not convinced and, in particular, objected to the use of the law of excluded middle over infinite sets. Hilbert responded "Taking the Principle of the Excluded Middle from the mathematician... is the same as... prohibiting the boxer the use of his fists." en.wikipedia.org/wiki/Brouwer...

Why is it called Fourier analysis and not character development

Emacs and Org mode. Gorgeous. Great. Powerful. Flexible. Comprehensive. Customisable. But also it'll suck your time, break in weird ways, and Emacs developers in particular are very.. unappealing.

I'll be giving this talk tomorrow at APS in Denver, feel free to say hi! I'm always happy to talk about quantum error correction and/or emacs!

Shawn Geller@shawngeller.bsky.social · 5mo ago

Come hear @akira.social talk about novel QECCs for hybrid systems summit.aps.org/smt/2026/eve... Mon. March 16, 12:48 — 1:00 p.m. Mile High Ballroom 1E

The basic look of Wikipedia really hasn't fundamentally changed in 20 years, which really just goes to show how the ethos of the people behind a platform is always reflected in the UI wikipedia25.org/en/the-first...

It’s February in Colorado… and I just killed a mosquito flying around inside my car… this is not good

This is indeed pretty rad

Phoebe Barton 🚀🇺🇳@phoebebarton.bsky.social · 6mo ago

Though there is a reworked concept out there that *does* take heat into consideration, and is pretty rad

In emacs' lisp.h there's a FIXME from 2013 that ends "Maybe in the year 2016." Then in 2016 the it was updated to 2020, then in 2020 it was updated to 2025 😧 Hello #emacs, the year is now 2026, are u ok?

“clopen source”? 😁

tfw you just wanted to update your website and so started by updating emacs... but are now three days into trying to compile emacs to wasm

help! I'm trapped in a Grothendieck universe and can't get out

Peter Shor: we haven't found many new quantum algorithms, in part, because we need larger quantum devices for testing our heuristics. He gives several examples of algorithms that were discovered computationally, including turbo codes, @fermilab.bsky.social quantum symposium by the SQMS center.

“Some physicalists, such as Daniel Dennett, argue that philosophical zombies are logically incoherent…” yeah gotta be careful getting into arguments with philosophical zombies cause they’ll commit a lotta logical fallacies

from the “hard problem of consciousness” wikipedia. i think i found the philosophical zombies

Car Size xkcd.com/3167/

Also in thinking about the interpretation of wick rotation in the C^*-algebra case, does it seem sensible to say that derivations of the lie part give rise to unitary dynamics while derivations of the Jordan part give rise to non-unitary diffusive dynamics so wick rotation is just the intertwiner?

Just came across this insightful paper by @johncarlosbaez.bsky.social on "Getting to the Bottom of Noether's Theorem" arxiv.org/abs/2006.147...

Getting to the Bottom of Noether's Theorem

We examine the assumptions behind Noether's theorem connecting symmetries and conservation laws. To compare classical and quantum versions of this theorem, we take an algebraic approach. In both class...

arxiv.org

perhaps for the first time in my life I have achieved the perfect zero trifecta: zero emails in inbox, (approximately) zero open tabs, and zero files in downloads folder...

then in desperation this dev will convert to emacs where the truly endless configuration is a helluva coping mechanism

Rakhim Davletkali@rakhim.org · 10mo ago

Dev surprised his perfect vim/tmux/bash/xmonad setup doesn't alleviate existential crisis www.theolognion.com/p/dev-surpri...

"One of our original objectives for GATlab was to build an ML-inspired module system in Julia" Well why didn't you say so in your github readme? I guess its a classic case of RTFP: Read the Fucking Paper arxiv.org/abs/2404.04837

Looks like a tech bro saw “Her”, missed all the themes of human connection, and instead thought “bro why isn’t this a product yet?”

Omar Wasow@owasow.bsky.social · 10mo ago

The “Trailer” at friend.com feels more like the teaser for a sci-fi dystopia.

Part of me wants to blame the curators of "the English canon," who tend to look down their noses at genre novels. More science fiction and fantasy should be taught in schools Fantasy/sci-fi is about grappling with bizarre hypotheticals, a skill that is only getting more useful as reality weirds

Alexander Meiburg has been working on formal verification of results in quantum information. It's exciting to see a growing library of tools for formal proofs in QI github.com/Timeroot/Lea...

GitHub - Timeroot/Lean-QuantumInfo: Quantum information theory in Lean 4

Quantum information theory in Lean 4. Contribute to Timeroot/Lean-QuantumInfo development by creating an account on GitHub.

github.com

PSA for anyone who uses emacs as a pdf reader: add pdf-history-minor-mode to pdf-view-mode-hook and finally navigate PDF links with forward and backward history! #emacs

the transition from late-stage capitalism to technofeudalism is pretty wack

Kate Mackenzie@katemac.bsky.social · last yr.

This is so ugh

one abelian ring to rule them all

Forget the 10²⁵ years needed to simulate Google's Willow chip on world's fastest supercomputer. The most impressive number in quantum computing in this: It would take 3678 years for a quantum computing PhD student to earn the 103 million made by the IonQ CEO Niccolo de Masi in his first 90 days.

Dulwich Quantum Computing@dulwichquantum.bsky.social · last yr.

"IONQ CEO Niccolo de Masi sells $103 million in stock. SEC filing confirms full liquidation. Investors question timing. Pump-and-dump concerns rise." citizenwatchreport.com/ionq-ceo-nic...