Wondering if something like this could be implemented on tangled with public-inbox:

https://public-inbox.org/README.html

> public-inbox implements the sharing of an email inbox via git to complement or replace traditional mailing lists. Readers may read via NNTP, IMAP, POP3, Atom feeds or HTML archives.

> public-inbox stores mail in git repositories as documented in https://public-inbox.org/public-inbox-v2-format.txt and https://public-inbox.org/public-inbox-v1-format.txt

> By storing (and optionally) exposing an inbox via git, it is fast and efficient to host and mirror public-inboxes.

Interesting post about Picat:

Planner programming blows my mind

https://www.hillelwayne.com/post/picat/

> Picat is a research language intended to combine logic programming, imperative programming, and constraint solving. I originally learned it to help with vacation scheduling but soon discovered its planner module, which is one of the most fascinating programming models I’ve ever seen. ...

> ... the "Links" section was always a key part of any site. After spending time on a site, a visitor could find links to other pages - some of them on the same topic, some of them simply enjoyed by the creator of the site they were on.

Don't know how useful these are, but here are some links pages on a couple of websites I put together a while ago:

https://b79.net/fields/about

https://earthdirections.org/links/

Just personal non-commercial handcrafted sites. One day I'd like to figure out some tooling to manage / prune / update links, etc.

> I was just reading a book that touched on Ancient Rome. The author tried to convey the significance of the Council of Nicaea by comparing it to the furor over Global Warming.

Could you please share the title of this book?

Such a wonderful piece. I'd not heard of Julia Robinson or Yuri Matiyasevich...what a touching story of two people forming a friendship across time, place and culture.

> Julia thought of mathematicians “as forming a nation of our own without distinctions of geographical origins, race, creed, sex, age, or even time (the mathematicians of the past and you of the future are our colleagues too) — all dedicated to the most beautiful of the arts and sciences.”

The mathematics is way over my head, but I find this inspiring & would love to see how we might discover/co-create realms beyond such distinctions in other endeavors.

I liked this quote too, though I wonder if it's not more out of necessity and the special nature of math than anything else.

Mathematicians speak languages non-math people can't grasp, so they gravitate toward and connect to one another.

Math simply doesn't advance without promiscuous sharing of ideas. Soviet censors notwithstanding, there's certainly a reason correspondence like this was permitted even during the Cold War.

You could say that the above is true of other sciences, but I imagine falsification of results in math is extremely difficult or just impossible. So math is mostly immune (I suggest) to the politics and protectionism that inevitably emerges around fuzzy and controversial scientific disciplines.

Just look at the good faith Julia has in her treatment of Chudnovsky's work. Even the skepticism is respectful.

> I imagine falsification of results in math is extremely difficult or just impossible.

Another quote I like from this piece: “No one can be a charlatan mathematician for long”.

If only that were true in certain other domains.

gregory chaitin has an accessible version of the math, if you’re interested. he builds a LISP with it.

Thanks for the pointer to Chaitin, his writing seems approachable:

https://link.springer.com/chapter/10.1007/978-1-4471-0307-3_...

https://inference-review.com/article/doing-mathematics-diffe...

> he builds a LISP with it

cool, just found these:

The Limits of Mathematics---Tutorial Version : https://arxiv.org/abs/chao-dyn/9509010

An implementation of his Lisp, written to explore the above Tutorial : https://github.com/poppingtonic/chaitin-ait

Wow, this is really cool! If I played a reed instrument I'd be tempted to pick one up...

https://glissonic.com/

"The main novelty is that it uses a longitudinal slot on the instrument’s tube instead of tone holes. The two sides of the slot are covered with a magnetic foil that attracts a magnetized ribbon on top. The ribbon is fixed on the upper end, stretched and lifted up from the lower end as a string on a violin. You can push down the ribbon anywhere, and it will seal up perfectly above it, so you can produce any note in the pitch continuum, resulting in a microtonal wind instrument. It can be played with eight fingers of the two hands or by sliding one finger up and down. The glissonic system can be used on various wind instruments: flute, recorder, clarinet, saxophone, tarogato, oboe, etc., or even the cornett."

It's available under the CC BY 4.0 license, you can find the source here:

https://github.com/SystemsApproach/book

There are instructions in the README to build epub, html and other formats (including a giant manpage).

I use ELinks, and with the following in my ~/.elinks/hooks.pl (& ELinks compiled with perl support), HN comment tree indentation looks fine:

  sub pre_format_html_hook {
    my ($url, $html) = (shift, shift);

    if ($url =~ m|news.ycombinator.com/item\?id=|) {
      $html =~ s|<img src="s.gif" height="1" width="([0-9]{1,3})">|'&nbsp;'x($1/10)|eg;
    }

    return $html;
  }

Wow, pretty cool. Seems it could be a great way for kids to get to & from school, all pedaling together. Longing for this sort of transportation option here in the Bay Area...

Apparently this is the manufacturer: https://www.metaalspecials.nl/

Thanks -- looks like a really useful document. Is there some way to download / save it locally? I'm not seeing a menu within the Google doc, so all I can try is the browser function (Firefox on Linux "Save Page As... Web Page complete"), but that doesn't really do it. Maybe the author did a "Disable options to download, print, and copy for commenters and viewers" [1]?

[1] Limit how your files are shared https://support.google.com/docs/answer/2494893

Menu > make available offline. Should now ahownin "offline" in your drive.