dimpase boosted

Wow, after 25 years of Unix experience, I learned that you can filter output in #less.

Press ampersand (&) and enter a regex to show only lines matching the regex.

Press ampersand (&) and then exclamation mark (!) to apply an inverse filter.

dimpase boosted

I love when open source software projects thrive. Congrats to the @inkscape community!
---
RT @inkscape
Welcome to #Inkscape 1.1! We're excited to launch our latest version... with a Welcome dialog, Command Palette, revamped Dialog Docking System & searchable preference options, along with new exporting formats. Download for Linux, Windows or macOS : inkscape.org/release/inkscape-
twitter.com/inkscape/status/13

dimpase boosted

I've spent another couple of hours playing with Lean, following @XenaProject's Formalising Mathematics course (github.com/ImperialCollegeLond)
I think the hardest part for me is remembering what each notation really represents, like ¬ P is really (P → false)

dimpase boosted

Which \(n\times n\times n\) grids have Hamiltonian cycles that turn at every step? mathoverflow.net/q/391885/440

An answer has been given for odd \(n\) (not possible), for \(n=6\) (possible), and for \(n\) a power of two (always possible) but the remaining cases seem open.

dimpase boosted

There's a fine line between numerator and denominator (and it's called a 'vinculum').

dimpase boosted

Oh boy, I've been mispronouncing "Cholesky" all of my adult life. 😳

dimpase boosted

We’ve been thinking about it wrong: The norm has been Insecurity by obscurity

The Crypto AG CIA backdoor story (2020) clarifies to me much of the neverending flood of “outlaw strong crypto” thinkpieces and “lawful access” (a/k/a mandated backdoors) proposals.

I realised today that the whole #SecurityByObscurity discussion was missing a major insight: For much of the Cold War period, the operational standard has been instead #InsecurityByObscurity ...

joindiaspora.com/posts/b596219

dimpase boosted
dimpase boosted

so which researcher is going to analize @umn.edu's decline in commits across all free software? It's like a free paper, and no IRB even needed.

dimpase boosted

University of Minnesota assistant professor Kangjie Lu caught allegedly deliberately sending buggy patches to Linux kernel as some kind of breaching experiment, resulting in the whole university being banned from Linux kernel development: lore.kernel.org/linux-nfs/YH+z, lore.kernel.org/linux-nfs/YH%2, via lobste.rs/s/3qgyzp/they_introd

They claim to have been declared IRB-exempt but this appears to be a mistake by the IRB.

dimpase boosted

math, academic writing 

Found this at work just now:

But the $\mathbb{Z}$-linearity implies$$\begin{equation*} 1 = \mathcal{D}(2) = 2 \mathcal{D}(1) = 2 \cdot 0 = 0 . \ \ \ \ \ \ - \ \ \ \text{Contradiction.} \end{equation*}$$

Ignoring the horrific TeX hackery, I love that this (high level research) paper gives such a low-brow reductio ad absurdum. No "it's trivial to see" A first grader could understand it 😉

dimpase boosted

Does anyone know if there is a Scuttlebutt client that would work on a PinePhone running postmarketOS?

#Scuttlebutt #PinePhone #postmarketOS

dimpase boosted

I remember seeing a map of the world (or just Europe?) showing the standard form of the equation of a straight line in different countries.
I can't think what to put into google to find it again. Can anyone help me?

dimpase boosted

Jack Ma should launch a telecom company focused on p2p voice.

Ma Bell.

dimpase boosted

JACKPOT is the debut book-length work from Michael Mechanic, the senior editor at Mother Jones. It's a pitiless - but empathic - look at the lives of the (mostly) American super-rich.

simonandschuster.com/books/Jac

The sociology of wealth is an odd paradox. On the one hand, many of the wealthiest people are celebrities (both in the sense that celebrities are wealthy, and that wealth creates celebrity). On the other, plutes don't usually unburden themselves to social scientists.

1/

dimpase boosted

Continuing gender bias in who sees job-opening ads on Facebook (technologyreview.com/2021/04/0): if an employer or industry has historically skewed male or female, Facebook replicates that bias, even for pairs of ads with identical qualifications. This is illegal, but Facebook appears unable to find a technical fix and unwilling to apply the obvious fix of not targeting its ads even when that targeting is illegal. Via news.ycombinator.com/item?id=2 but (as usual for that site) don't read the comments.

dimpase boosted

Sometimes I remember that this exists.

horg.com/horg/

Someone went all out on a speculative biology writing/worldbuilding exercise to create a site for a research group that studies "occlupanids" a.k.a. those plastic bread bag clips, as if they were some family of organism with a multitude of species.

dimpase boosted
dimpase boosted

If you want to try #dlang on #OpenBSD, now you can. The WIP dmd port is in openbsd-wip.

There are some issues. I think some D code asks for way too large of a stack and OpenBSD (rightfully) says no way. Help to remedy this would be much appreciated.

You need a screaming new -current to use it. amd64 only for now.

github.com/jasperla/openbsd-wi

dimpase boosted

Hilbert’s Tenth Again: rjlipton.wordpress.com/2021/03

Matiyasevich famously proved undecidability of Diophantine equations over integers in the 1970s, but the same question over rationals remains open. A new paper by Prunescu makes progress by proving undecidability of exponential equations over rationals. As Richard Lipton explains in this blog post, a key step, parameterization by integers of rational solutions to \(x^y=y^x\), comes from a 30-year-old recreational-mathematics article by Márta Svéd.

Show older
Mathstodon

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!