I kind of rabbit holed on optimizing this until I could get better than 1000 Mb/sec including the disk reads and writes.
www.argmin.net/p/staging-in...
www.argmin.net/p/staging-in...
Our new paper, accepted for #CHR2025 combines literary history and computational modeling to trace how the figure of the detective evolves across 150 years of French fiction.
arxiv.org/pdf/2511.00627
Our new paper, accepted for #CHR2025 combines literary history and computational modeling to trace how the figure of the detective evolves across 150 years of French fiction.
arxiv.org/pdf/2511.00627
With The Diplomat, Patriot, Lupin, Tokyo Vice, Killing Eve, Minx, you’re consistently drawn to:
“people with skills navigating systems — stylishly, emotionally, and intelligently.”
Now Watching:
With The Diplomat, Patriot, Lupin, Tokyo Vice, Killing Eve, Minx, you’re consistently drawn to:
“people with skills navigating systems — stylishly, emotionally, and intelligently.”
Now Watching:
Fortunately it’s not allowed to automatically change .proj files so I can just say don’t make a layer violation and it fixes it.
Fortunately it’s not allowed to automatically change .proj files so I can just say don’t make a layer violation and it fixes it.
Claude Code: “Yes that’s ass backwards”
Claude Code: “Yes that’s ass backwards”
For no reason at all: arstechnica.com/science/2023...
For no reason at all: arstechnica.com/science/2023...
saxon.me/blog/2025/co...
saxon.me/blog/2025/co...
This is a bad metaphor in a different direction.
‘Brew an AI’ vs ‘Bake an AI’ provides a more informative pair of metaphors about what’s happening.
This is a bad metaphor in a different direction.
‘Brew an AI’ vs ‘Bake an AI’ provides a more informative pair of metaphors about what’s happening.
Ha! No, “truthical” is not a word - you’ve caught me in an inconsistency! I was being overly prescriptive about “dynamical” vs “dynamic”:
“Dynamical systems” is indeed the standard term in mathematics
But it’s not because there’s some ironclad rule that “-al” makes things more technical
Ha! No, “truthical” is not a word - you’ve caught me in an inconsistency! I was being overly prescriptive about “dynamical” vs “dynamic”:
“Dynamical systems” is indeed the standard term in mathematics
But it’s not because there’s some ironclad rule that “-al” makes things more technical
"let me propose a more efficient approach: git reset HEAD"
"let me propose a more efficient approach: git reset HEAD"
github.com/oOo0oOo/lean...
github.com/oOo0oOo/lean...
youtu.be/K5w7VS2sxD0?...
youtu.be/K5w7VS2sxD0?...
These findings establish robust evidence that viable microbes (or at least their DNA / reproductive capacity) can exist in upper-atmospheric aerosols. A domain we might call the “aerobiome.”
It’s an open question if these microbes merely survive or actively live at altitude.
These findings establish robust evidence that viable microbes (or at least their DNA / reproductive capacity) can exist in upper-atmospheric aerosols. A domain we might call the “aerobiome.”
It’s an open question if these microbes merely survive or actively live at altitude.
Claude my friend - What happened to the thing we were supposed to be doing?
"Root Cause: Vocabulary Shift
Phase 1 uses proof vocabulary
Phase 2.3 uses testing vocabulary
The WU1.8 task document diverged from it during the Phase 2 detailed planning."
Claude my friend - What happened to the thing we were supposed to be doing?
"Root Cause: Vocabulary Shift
Phase 1 uses proof vocabulary
Phase 2.3 uses testing vocabulary
The WU1.8 task document diverged from it during the Phase 2 detailed planning."
Made some Lean 4 proofs before asking Claude Code to build the implementation in rust.
The rust toolchain was not having this Greek symbol in source code malarky -
let θ = test_thresholds();
Made some Lean 4 proofs before asking Claude Code to build the implementation in rust.
The rust toolchain was not having this Greek symbol in source code malarky -
let θ = test_thresholds();
This new paper is a collaboration. The norms model in it also sounds interesting.
www.full-stack-alignment.ai/paper
This new paper is a collaboration. The norms model in it also sounds interesting.
www.full-stack-alignment.ai/paper
Pluralism as a core principle in social design, thick models of value, multipolar traps, moral graph elicitation, starting with membranes, Moloch-free zones, co-optation risks, & more.
Pluralism as a core principle in social design, thick models of value, multipolar traps, moral graph elicitation, starting with membranes, Moloch-free zones, co-optation risks, & more.