@dimpase.mathstodon.xyz.ap.brid.gy
https://mathoverflow.net/users/11100/dima-pasechnik USSR->Australia (Perth)->Netherlands->Germany->Netherlands->Singapore->Oxford (UK)->Evanston, Illinois […] [bridged from https://mathstodon.xyz/@dimpase on the fediverse by https://fed.brid.gy/ ]
Well fuck... (This is two different things within 24 hours, one in Rotterdam, one in Amsterdam):
Rotterdam:
https://nltimes.nl/2026/03/13/rotterdam-synagogue-arson-shocking-says-mayor-minister-jewish-community
Amsterdam […]
@vicgrinberg also
https://nos.nl/artikel/2605612-explosie-bij-synagoge-luik-gewelddadige-daad-van-antisemitisme
😠
@dpiponi nowadays people orchestrate stuff using CI tools, e.g. GitHub Actions. They remind me how one programmed IBM mainframes...
expect? sure, pexpect is alive and well, if one needs to talk to an ancient CLI code from Python, it's there, roaring it's unpretty head
@chris__martin it's editing some files in /etc
@chris__martin I don't know, but it seem like every USian says "so what?" upon hearing that Puerto Rico, with its over 3 million US citizens, has no representation in Congress.
"Stop spending money on Claude Code. Chipotle's support bot is free."
www.linkedin.com/feed/update/...
@chris__martin Except Puerto Rico and DC 🙂
@christianp Michaelmas, Hilary, Trinity, I presume? (/me adjusts the monocle)
Because I have poor self control, I made a thing to avoid looking at those increasingly terrible ACM Digital Library pages. Introducing Analog Library: https://al.radbox.org
Proof assistants are real pieces of software, running practical languages; from time to time they have bugs that can affect their core purpose, which is certifying a result as correctly proved. Getting a proof of 'false is highly undesirable, but usually not seen in usual applications. But now […]
@tomkalei "Magnus, du saugt!", oder?
@julesh Sandwich stole the concept from the Dutch (he visited the country at least once), obviously, who were eating boterhams already in 16th century if not earlier :P
@minrk in Russian, which adopted the French word for the instrument, is does start with 'h' 🙂
@dpiponi I happened to know Kibrik(s) - we lived on the same floor as Kibriks in a Stalin-times high rise - the younger one, also a linguist, is just a few years older than me... small world.
@ddrake either "trash Apple" or "Apple trash" might not be welcome subjects 🙂
I am lately on a quest to fix OpenMP handling for @sagemath on macOS, and, oh boy, it involves patching GNU libtool, autoconf, and what not 🙂
@ddrake if you use native macOS make, it's an ancient GNU make v.3.81 from 2006. Go figure.
AFAIK, "trash" is a relatively new native macOS command, I have no idea about its Linux counterpart.
@jesusmargar that's what you pay for doing nothing, when a less powerful country tried to do the same in 2014,
sending thoughts and prayers instead of fighter jets,
and then 2022, again, next to nothing.
And for being naive/lazy/corrupt/greedy peaceniks/realpolitik mensch, allowing being […]
@ddrake Haskell has no dependent types!
You might try agda, which is close to Haskell, and does have dependent types.
I'm interested in learning about formal methods and zero-knowledge proofs, particularly for their use in verifying software. I know very, very little about this, but it would be very useful if I knew more.
What are some good basic introductions?
I'm going to poke around a bit with Lean and […]
@ddrake try https://softwarefoundations.cis.upenn.edu/ ?
as to dinner type level dependent types - imagine you can at compile time check and set sizes of matrices used in your code (without agonising pain of C++ templates :-))
@chris__martin oops, sorry, I meant to say gcc has a COBOL frontend now. One can compile and run these mysterious COBOL programs on a Linux PC.
https://gcc.gnu.org/onlinedocs/gcc-15.1.0/gcobol/gcobol.html
@chris__martin I know a professional writer who earns most of her living by maintaining COBOL code for Airbus.
Airbus uses it to get aircraft package lists/manifests/whatever this is called.
Why would one want to rewrite it? It works, hardware is available, what's the point? And, ghm, in Java […]
As I just got a patch for GNU libtool accepted, I suppose I can call myself a grey beard.
(and because it's actually macOS-specific, Apple should send few grand my way...)
https://cgit.git.savannah.gnu.org/cgit/libtool.git/commit/?h=development&id=fa18359d6011eb986951915ffcd37b4289281b53
@ionica ik weet niet of de grafiek echt klopt, want de premiers veel sneller dan gewone mensen ouder worden
a drawing of remorseful Pilate about to kill himself
@vicgrinberg the first known in history pilate could not bear being one, apparently
@julesh dawggy style codin'
![Incomplete Open Platonic Solids
Mikael Vejdemo-Johansson
[Draft as of February 25, 2026]
Abstract
Sol Le Witt famously enumerated all the incomplete open cubes, finding 122 of these connected, non-planar subsets
of the edges of the cube. Since then, while several projects have revisited the cube enumeration, no such enumeration
has been published for any other interesting solid.
In this paper we present work on enumerating all the incomplete open platonic solids, finding 6 tetrahedra, 122 cubes
(just like LeWitt), 185 octahedra, 2 423 206 dodecahedra and 16 096 166 icosahedra.](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:nhakixcsmdow4avnqxtfy6c6/bafkreiagqqac2isnm5jpt7hbqly2vobk3mdewnu5iy5xjj2g6zfikleiuu)
Incomplete Open Platonic Solids Mikael Vejdemo-Johansson [Draft as of February 25, 2026] Abstract Sol Le Witt famously enumerated all the incomplete open cubes, finding 122 of these connected, non-planar subsets of the edges of the cube. Since then, while several projects have revisited the cube enumeration, no such enumeration has been published for any other interesting solid. In this paper we present work on enumerating all the incomplete open platonic solids, finding 6 tetrahedra, 122 cubes (just like LeWitt), 185 octahedra, 2 423 206 dodecahedra and 16 096 166 icosahedra.
“In this paper we present work on enumerating all the incomplete open platonic solids, finding 6 tetrahedra, 122 cubes (just like LeWitt), 185 octahedra, 2,423,206 dodecahedra and 16,096,166 icosahedra.”
https://arxiv.org/abs/2602.20425
patching GNU libtool, because Apple 🤡 does not want you to use OpenMP 🤦♂️
https://github.com/sagemath/sage/pull/41626/changes/89f072d31747daca6d81d3cb0f45202a5e9fed23
https://fireborn.mataroa.blog/blog/the-slow-death-of-the-power-user/
thought-provoking.
h/t @dougmerritt
@chris__martin I'd gladly swap the part of my brain which knows how to write autoconf scripts for something scientific ...