@jabaman.bsky.social
To be fair, it seems the domestic plank of that is being dropped: ambition isn't exactly countering ambition right now.
January 7, 2026 at 2:15 PM
To be fair, it seems the domestic plank of that is being dropped: ambition isn't exactly countering ambition right now.
Yes, but the point is that barrel doesn't go to China. At least not without arriving at terms with the US. And the alternate seller won't be as willing to step in for fear of meeting a similar fate.
January 3, 2026 at 5:23 PM
Yes, but the point is that barrel doesn't go to China. At least not without arriving at terms with the US. And the alternate seller won't be as willing to step in for fear of meeting a similar fate.
Do you mean because of shale or solar? Either way, not sure there is such a thing as too much oil, if only because it gives you leverage over the buyers.
January 3, 2026 at 5:11 PM
Do you mean because of shale or solar? Either way, not sure there is such a thing as too much oil, if only because it gives you leverage over the buyers.
Not empire in decline: empire switching tools. The old ruleset can't guarantee subservience any more. Trump's people say: if we're losing at neoimperialism, why not revert to the classic version? Especially when violence remains a US competitive advantage? A grimly consistent worldview, seems to me.
January 3, 2026 at 2:44 PM
Not empire in decline: empire switching tools. The old ruleset can't guarantee subservience any more. Trump's people say: if we're losing at neoimperialism, why not revert to the classic version? Especially when violence remains a US competitive advantage? A grimly consistent worldview, seems to me.
I thought it was good, but surely a huge part of why it was so successful is that its narrative devices and structure were particularly amenable to the tools of a modern English lit department. He was trying to explain his society to Westerners, which is fine, but I get very little out of that.
January 2, 2026 at 3:20 PM
I thought it was good, but surely a huge part of why it was so successful is that its narrative devices and structure were particularly amenable to the tools of a modern English lit department. He was trying to explain his society to Westerners, which is fine, but I get very little out of that.
I've found this sufficient for me. YMMV. github.com/astoff/code-...
GitHub - astoff/code-cells.el: Emacs utilities for code split into cells, including Jupyter notebooks
Emacs utilities for code split into cells, including Jupyter notebooks - astoff/code-cells.el
github.com
December 29, 2025 at 9:57 AM
I've found this sufficient for me. YMMV. github.com/astoff/code-...
Dumb question, but why build verification tools on top of Rust at all? Rust's whole point was that you get very very strong correctness guarantees without having to bust out the theorem provers: if you plan on doing that anyway why not just write C and verify once?
December 25, 2025 at 2:29 AM
Dumb question, but why build verification tools on top of Rust at all? Rust's whole point was that you get very very strong correctness guarantees without having to bust out the theorem provers: if you plan on doing that anyway why not just write C and verify once?
An even more recent refutation would be George Eliot: Middlemarch is a very pointed conversation with Spinoza, whose work she translated.
December 16, 2025 at 9:03 AM
An even more recent refutation would be George Eliot: Middlemarch is a very pointed conversation with Spinoza, whose work she translated.
To be fair, if you find yourself in the Delian league, your best move probably is just to write 'big bouncy cheques' and hope they never get cashed.
December 15, 2025 at 12:50 AM
To be fair, if you find yourself in the Delian league, your best move probably is just to write 'big bouncy cheques' and hope they never get cashed.
Thanks! I'll try it over the weekend.
December 12, 2025 at 6:58 PM
Thanks! I'll try it over the weekend.
Could you show your setup? I mostly live in org mode and I'm so fed up with Latex's slowness that I am considering writing my thesis in Typst.
December 12, 2025 at 4:27 PM
Could you show your setup? I mostly live in org mode and I'm so fed up with Latex's slowness that I am considering writing my thesis in Typst.
You joke but my Rwandan Christian friends say the greatest thing about Kagame is that he teaches how to forgive one's enemies.
December 11, 2025 at 3:16 AM
You joke but my Rwandan Christian friends say the greatest thing about Kagame is that he teaches how to forgive one's enemies.
Definitely a thing github.com/Mic92/dotfil...
dotfiles/machines/eve/modules/home-assistant/bme680.nix at 393539385b0abfc3618e886cd0bf545ac24aeb67 · Mic92/dotfiles
My NixOS dotfiles. Contribute to Mic92/dotfiles development by creating an account on GitHub.
github.com
December 9, 2025 at 6:19 PM
Definitely a thing github.com/Mic92/dotfil...
Not impossible. They had the conics; if they asked for the area under a hyperbola, they'd run into it pretty much immediately. Archimedes had already answered the corresponding question for parabolas and ellipses.
December 8, 2025 at 7:51 PM
Not impossible. They had the conics; if they asked for the area under a hyperbola, they'd run into it pretty much immediately. Archimedes had already answered the corresponding question for parabolas and ellipses.
The situation isn't as bad as all that: correctly rounding algorithms for all elementary functions have been implemented independently multiple times, and it's even possible to generate and attach certificates verifiable by a proof assistant.
hal.science/hal-04474530v4
hal.science/hal-04474530v4
Correctly rounded evaluation of a function: why, how, and at what cost?
The goal of this article is to give a survey on the various computational and mathematical issues and progress related to the problem of providing efficient correctly rounded elementary functions in floating-point arithmetic. We also aim at convincing the reader that a future standard for floating-point arithmetic should require the availability of a correctly rounded version of a well-chosen core set of elementary functions. We discuss the interest and feasibility of this requirement.
hal.science
November 9, 2025 at 7:04 AM
The situation isn't as bad as all that: correctly rounding algorithms for all elementary functions have been implemented independently multiple times, and it's even possible to generate and attach certificates verifiable by a proof assistant.
hal.science/hal-04474530v4
hal.science/hal-04474530v4
Any reading recommendations?
November 2, 2025 at 6:38 AM
Any reading recommendations?
Sinuhe is basically the Odyssey, no?
October 24, 2025 at 3:07 AM
Sinuhe is basically the Odyssey, no?
At this point I'm more annoyed by governments that still have their heads in the sand about this.
October 24, 2025 at 2:34 AM
At this point I'm more annoyed by governments that still have their heads in the sand about this.
Not a Burke scholar, but I'd guess this is referring to his speeches on conciliation with America, where he suggests that faith in English government would weaken if it were to use force to suppress American colonists
October 22, 2025 at 7:01 PM
Not a Burke scholar, but I'd guess this is referring to his speeches on conciliation with America, where he suggests that faith in English government would weaken if it were to use force to suppress American colonists
Yes, my point was that liberation theology itself was a way to fold the more Marxist strands of criticism back into Catholicism, and to aid the Church in such an effort is likely to end badly.
October 11, 2025 at 5:28 PM
Yes, my point was that liberation theology itself was a way to fold the more Marxist strands of criticism back into Catholicism, and to aid the Church in such an effort is likely to end badly.
I’d call that him finding a way to establish ownership of critiques of the societies his church helped create.
October 11, 2025 at 9:16 AM
I’d call that him finding a way to establish ownership of critiques of the societies his church helped create.
Genuinely, though, why is that worth doing? Giving life to whatever liberatory potential remains in the Catholic church? Its history suggests any gains made that way will be short-term and brittle.
October 11, 2025 at 9:00 AM
Genuinely, though, why is that worth doing? Giving life to whatever liberatory potential remains in the Catholic church? Its history suggests any gains made that way will be short-term and brittle.
I’m not so sure. From their perspective, if they couldn’t wring out the emptiest concessions before the election why would they expect to be able to move Biden after he had no need of them? OTOH Trump was not ideologically precommitted to giving Netanyahu a free hand, which alone would be enough?
October 10, 2025 at 10:34 AM
I’m not so sure. From their perspective, if they couldn’t wring out the emptiest concessions before the election why would they expect to be able to move Biden after he had no need of them? OTOH Trump was not ideologically precommitted to giving Netanyahu a free hand, which alone would be enough?
How so? Biden wasn’t going to run again, would he do something even worse to Gazans if he won just out of spite?
October 10, 2025 at 10:12 AM
How so? Biden wasn’t going to run again, would he do something even worse to Gazans if he won just out of spite?