dmr_92

4 ms·

1.
by dmr_92 3y ago
I don't think this is correct . The name obj gets rebound, but the dictionary being traversed isn't mutated in any way.
2.
by dmr_92 3y ago
Can you explain why---what is it about this style that puts you off?
3.
by dmr_92 3y ago
Does your comment still ring true if you replace "snap" with "flatpak"? (What I'm getting at is: why does it make sense for Canonical to define its own sandboxed application format when another one already exists?)
4.
by dmr_92 4y ago
I got sniped by this. Normal jeans are homotopic to a cylinder with a point removed. Leg-sewn jeans are homotopic to a torus with a point removed. Both of these can be deformation retracted to a wedge of two circles (roughly: widen the pun
5.
by dmr_92 4y ago
I know the authors---it was a pleasent surprise to see them on HN this morning! The first two in particular have been working on computer-aided investigations in pure mathematics for a few years now.
6.
by dmr_92 4y ago
Are you sure the lockfiles are platform-specific? I spent a long time migrating a project to use poetry. One of the reasons I opted for poetry over others was that the lockfile retained all of the environment markers in the packaging metada
7.
by dmr_92 4y ago
That chimes with my experience in the UK. I personally call ( ) "round brackets" to try and be a bit more explicit about which kind of bracket I mean, but I don't think that's a very common turn of phrase. Similarly I&#x
8.
by dmr_92 4y ago
Bit of a brain dump here. Serre's Trees was pretty relevant to my studies, though left quite a few gaps for the reader to fill in. Meier's Groups, Graphs and Trees is much more accessible and visual. Strongly recommended! Knut
9.
by dmr_92 5y ago
https://www.thinking.withportals.com/ was (is?) the big community for this. I was part of it around the time Valve released their easy map editor (the "perpetual testing initiative")---more than a decade ago now.
10.
by dmr_92 5y ago
Don't know if you'd consider them giant, but a former colleague tells me that Pexip uses Gstreamer for video-wrangling. (Hearsay, admittedly)
11.
by dmr_92 5y ago
It's not a problem; it's an intense frustration. It is irritating to be told "here's a new message X" at your desk, only to see and hear the same notification "new message X" on a phone within a few second