Try https://paulina.toolforge.org or https://openartbrowser.org
https://nixmultiverse.com
Having played the video game, yeah that's how the level went, and it kinda sucked.[1] It's a looping circular river (physics be damned), and I recall having to do many loops before I got 100%, since moving targets are…
For anyone interested in getting "more 9s" from the heuristics and then building something useful with it, come join us at https://www.wikifunctions.org/wiki/Z32314
a.k.a. "hard attack". There's a nice video on the subject by linguist Geoff Lindsey: https://youtu.be/nCe7Fj8-ZnQ
The tools that exist for fuzzing speedruns (TASers call it "botting") are fairly primitive, excluding a few game-specific ones. Because of that, there really aren't that many TASes where a distributed randomised search…
From the article: https://mathlib.org Also https://1000-plus.github.io and https://us.metamath.org
This same idea as a Wikidata query: https://w.wiki/SV9k (something something everything is a nail)
PuTTY is (or was, in the years before WSL) the go-to SSH client for Windows. If you're a Windows user getting onboarded at a job / uni class which uses Linux machines, installing it is the first thing you'd be told. The…
Great, now someone can backport it to one of the good versions. Maybe Mojang's implementation is better than the Nvidium mod. (For those OOTL, Mojang prohibits mods which backport preview/experimental features to stable…
Does that make this a list of lists of lists of lists? https://www.wikidata.org/wiki/Q957#sitelinks-wikipedia
The original reCAPTCHA which was used to train OCR came out back when Google was at least pretending to not be evil, hence the favourable coverage about old books. Now that the challenges are used to train Waymo cars…
For JPEG compression: https://parametric.press/issue-01/unraveling-the-jpeg/#param... (anchor doesn't work for me, but it's the one with the caption "Move slider to adjust the amount of subsampling applied." which made…
There is of course a FOSS rewrite https://mathics.org
The repo (it looks like ~500 LOC of C# in a single file with no deps, cool): https://github.com/joshkartz/Fixed-Gear-Goldbach-Engine
File > Overwrite
.NET (C#) is getting there with Vector<T>.
The .NET Core Runtime works great on Linux, but it can't run .NET Framework apps, hence wine-mono.
wine-mono for one. It's also used for some desktop apps, crucially for those built with the WinForms framework, since the newer, .NET Core versions of that are Windows-only.
Look at the release history and you'll see it was already on life support. MS stopped adding new features to .NET Framework with 4.8 but Mono has yet to reach parity with that.
The thing the .NET team maintains is (a fork of) the Mono Runtime/JIT. Mono's implementation of the .NET Framework BCL (= stdlib) isn't part of modern .NET.
> Is there somewhere where someone new to the ecosystem can get a simple introduction to all of these different terms and which ones are still relevant today? Not really. It's legacy cruft all the way down. But the good…
In this case you don't have to find and sideload an .apk though, it's available in the main F-Droid repo. I'd argue that it would be safer than the Play Store version because F-Droid builds are at least reproducible,…
Don't be obtuse. That is obviously not a genuine bug/vuln disclosure.
ZFC is dead, long live NF..? As an amateur mathematician whose use of sets is mostly as a lingua franca for describing other things, it's not clear to me what implications this has for the wider mathematical field,…
Try https://paulina.toolforge.org or https://openartbrowser.org
https://nixmultiverse.com
Having played the video game, yeah that's how the level went, and it kinda sucked.[1] It's a looping circular river (physics be damned), and I recall having to do many loops before I got 100%, since moving targets are…
For anyone interested in getting "more 9s" from the heuristics and then building something useful with it, come join us at https://www.wikifunctions.org/wiki/Z32314
a.k.a. "hard attack". There's a nice video on the subject by linguist Geoff Lindsey: https://youtu.be/nCe7Fj8-ZnQ
The tools that exist for fuzzing speedruns (TASers call it "botting") are fairly primitive, excluding a few game-specific ones. Because of that, there really aren't that many TASes where a distributed randomised search…
From the article: https://mathlib.org Also https://1000-plus.github.io and https://us.metamath.org
This same idea as a Wikidata query: https://w.wiki/SV9k (something something everything is a nail)
PuTTY is (or was, in the years before WSL) the go-to SSH client for Windows. If you're a Windows user getting onboarded at a job / uni class which uses Linux machines, installing it is the first thing you'd be told. The…
Great, now someone can backport it to one of the good versions. Maybe Mojang's implementation is better than the Nvidium mod. (For those OOTL, Mojang prohibits mods which backport preview/experimental features to stable…
Does that make this a list of lists of lists of lists? https://www.wikidata.org/wiki/Q957#sitelinks-wikipedia
The original reCAPTCHA which was used to train OCR came out back when Google was at least pretending to not be evil, hence the favourable coverage about old books. Now that the challenges are used to train Waymo cars…
For JPEG compression: https://parametric.press/issue-01/unraveling-the-jpeg/#param... (anchor doesn't work for me, but it's the one with the caption "Move slider to adjust the amount of subsampling applied." which made…
There is of course a FOSS rewrite https://mathics.org
The repo (it looks like ~500 LOC of C# in a single file with no deps, cool): https://github.com/joshkartz/Fixed-Gear-Goldbach-Engine
File > Overwrite
.NET (C#) is getting there with Vector<T>.
The .NET Core Runtime works great on Linux, but it can't run .NET Framework apps, hence wine-mono.
wine-mono for one. It's also used for some desktop apps, crucially for those built with the WinForms framework, since the newer, .NET Core versions of that are Windows-only.
Look at the release history and you'll see it was already on life support. MS stopped adding new features to .NET Framework with 4.8 but Mono has yet to reach parity with that.
The thing the .NET team maintains is (a fork of) the Mono Runtime/JIT. Mono's implementation of the .NET Framework BCL (= stdlib) isn't part of modern .NET.
> Is there somewhere where someone new to the ecosystem can get a simple introduction to all of these different terms and which ones are still relevant today? Not really. It's legacy cruft all the way down. But the good…
In this case you don't have to find and sideload an .apk though, it's available in the main F-Droid repo. I'd argue that it would be safer than the Play Store version because F-Droid builds are at least reproducible,…
Don't be obtuse. That is obviously not a genuine bug/vuln disclosure.
ZFC is dead, long live NF..? As an amateur mathematician whose use of sets is mostly as a lingua franca for describing other things, it's not clear to me what implications this has for the wider mathematical field,…