The Nyquist-Shannon-Kotelnikov-Chebotarev sampling theorem was discovered independently by four different people.
I wonder if there were already practical problems that group theory could solve in the early 19th century, Galois also would be one of four, rather than a misunderstood genius.
His real genius is in having found a solution to a whole bunch of problems no one even thought of at the time.
My first PR to the OCaml compiler repo has been merged. https://github.com/ocaml/ocaml/commit/f3ff6892a7d42bada92fa03e1c5a7691e4fbf03d
Countries that have Internet censorship often block addresses and whole networks that were tangentially related to a service they wanted to ban, and they aren't on hurry to remove addresses from blocklists if censored service no longer uses them.
One non-obvious reason to use small, independent hosting companies over AWS et al. is that their networks are much less likely to suffer from that kind of collateral damage.
https://soupault.neocities.org/tips-and-tricks/comparison/ if you are wondering how #soupault compares to other static site generators, here's an obviously biased comparison table.
https://soupault.neocities.org/blog/soupault-2.1.0-release/ #soupault 2.1.0 is released.
Now you can tell it to use a non-empty page as a template and replace its content, give it a few selector options to try inserting a file into, and more.
The free culture OCaml book finally has next/previous chapter navigation menus: https://ocamlbook.org/preface/
Automatically generated from a JSON file with chapter ordering data: https://github.com/dmbaturin/ocaml-book/commit/e70bb9bc51a306f2357e66ce389493ecf7eba5b2
It's now possible to add section links for headings that aren't included in the ToC in #soupault using the new max_heading_link_level option.
I don't think the popular "just use cmdliner" is the ultimate answer to the legacy Arg module problem.
Nothing against its users, but there needs to be a modern "non-insasive" argument parsing library—one that doesn't want to take over your control flow and _just_ lets you extract information from CLI arguments and use it however you want.
Is there one?
The visual packet size/tunnel MTU calculator (https://baturin.org/tools/encapcalc) is now a "progressive web app" that can be installed ("add to home screen") and used offline on mobile devices.
There's now a sample #soupault site repo that you can use for a one-click deploy to Netlify: https://app.netlify.com/start/deploy?repository=https://github.com/dmbaturin/soupault-sample-blog
I sent a PR to staticgen.com
The Netlify part is optional, https://github.com/dmbaturin/soupault-sample-blog is good as a generic blog template to learn from.
https://soupault.neocities.org/blog/soupault-2.0.0-release/ Soupault 2.0.0 is now officially released. New features include site metadata accessible to Lua plugins, new built-in template processor (Jingoo) and more.
Let me know if you run into any bugs.
Server run by the main developers of the project It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!