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.

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 : https://inkscape.org/release/inkscape-1.1/

https://twitter.com/inkscape/status/1396951322180657152

I've spent another couple of hours playing with Lean, following @XenaProject's Formalising Mathematics course (https://github.com/ImperialCollegeLondon/formalising-mathematics)

I think the hardest part for me is remembering what each notation really represents, like ¬ P is really (P → false)

Which \(n\times n\times n\) grids have Hamiltonian cycles that turn at every step? https://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.

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 ...

https://joindiaspora.com/posts/b596219086b1013991d8002590d8e506

Couple more links: department reaction https://cse.umn.edu/cs/statement-cse-linux-kernel-research-april-21-2021, MF discussion https://www.metafilter.com/191207/How-to-get-your-University-banned-in-1-easy-step

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: https://lore.kernel.org/linux-nfs/YH+zwQgBBGUJdiVK@unreal/, https://lore.kernel.org/linux-nfs/YH%2FfM%2FTsbmcZzwnX@kroah.com/, via https://lobste.rs/s/3qgyzp/they_introduce_kernel_bugs_on_purpose

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

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 😉

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

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.

https://www.simonandschuster.com/books/Jackpot/Michael-Mechanic/9781982127213

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/

Continuing gender bias in who sees job-opening ads on Facebook (https://www.technologyreview.com/2021/04/09/1022217/facebook-ad-algorithm-sex-discrimination): 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 https://news.ycombinator.com/item?id=26760790 but (as usual for that site) don't read the comments.

Sometimes I remember that this exists.

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.

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.

https://github.com/jasperla/openbsd-wip/commit/1f27a75c416e67ddc4053b1142a73f5393fbf37e

Hilbert’s Tenth Again: https://rjlipton.wordpress.com/2021/03/13/hilberts-tenth-again/

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.

Joined Feb 2019