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…
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…
> ... 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…
> 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…
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…
> 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…
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…
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…
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 =~…
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:…
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...…
What I'd find to be interesting & useful is: Every URL I visit is automatically recorded along with the time & date visited, title and other metadata. If the URL is visited via a link off another webpage, have that…
This looks like really interesting & useful. Couple questions: What copyright is assigned to the posts from contributors? Creative Commons? Could there be a way to allow users to accumulate a local copy of the…
> I am trying to port Rosetta to FreeCAD ... so it is all free. This sounds really interesting. I've been wanting to work with Rosetta but with a backend other than AutoCAD, hopefully something that could run in Debian.…
In the article the authors mention conducting a study: We have come to this conclusion based on an exhaustive, web-based study of everything that the 100 wealthiest US billionaires have said or done, over a 10-year…
Take a look here: https://archive.org/details/usenethistorical "This historical collection of Usenet spans more than 30 years and was given to us by a generous donor" This group for example, from that collection:…
If the psb format can be converted to ppm format (via ImageMagick?), and image size is the issue, maybe NASA's BigView could be an option: BigView allows for interactive panning and zooming of images of arbitrary size…
Not sure if this helps, but there's the Kiwix offline Wikipedia reader and its associated Zim files: http://www.kiwix.org/ http://download.kiwix.org/zim/0.9/…
On my Debian Sid ThinkPad I've been primarily using the framebuffer console for years now. Setting up custom colors and fonts makes a big difference. Ctheme [1] is handy for making up color themes and changing them on…
So many dupes of this... for a counterpoint see [1]: http://www.guardian.co.uk/music/musicblog/2010/oct/20/dirtbo... Watch enough of the video to see the mention of the photos of the "abandoned" high-school ... as the…
Dramatic imagery, but check out this for a counterpoint [1]: http://www.guardian.co.uk/music/musicblog/2010/oct/20/dirtbo... Watch enough of the video to see the mention of the photos of the "abandoned" high-school ...…
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…
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…
> ... 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…
> 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…
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…
> 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…
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…
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…
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 =~…
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:…
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...…
What I'd find to be interesting & useful is: Every URL I visit is automatically recorded along with the time & date visited, title and other metadata. If the URL is visited via a link off another webpage, have that…
This looks like really interesting & useful. Couple questions: What copyright is assigned to the posts from contributors? Creative Commons? Could there be a way to allow users to accumulate a local copy of the…
> I am trying to port Rosetta to FreeCAD ... so it is all free. This sounds really interesting. I've been wanting to work with Rosetta but with a backend other than AutoCAD, hopefully something that could run in Debian.…
In the article the authors mention conducting a study: We have come to this conclusion based on an exhaustive, web-based study of everything that the 100 wealthiest US billionaires have said or done, over a 10-year…
Take a look here: https://archive.org/details/usenethistorical "This historical collection of Usenet spans more than 30 years and was given to us by a generous donor" This group for example, from that collection:…
If the psb format can be converted to ppm format (via ImageMagick?), and image size is the issue, maybe NASA's BigView could be an option: BigView allows for interactive panning and zooming of images of arbitrary size…
Not sure if this helps, but there's the Kiwix offline Wikipedia reader and its associated Zim files: http://www.kiwix.org/ http://download.kiwix.org/zim/0.9/…
On my Debian Sid ThinkPad I've been primarily using the framebuffer console for years now. Setting up custom colors and fonts makes a big difference. Ctheme [1] is handy for making up color themes and changing them on…
So many dupes of this... for a counterpoint see [1]: http://www.guardian.co.uk/music/musicblog/2010/oct/20/dirtbo... Watch enough of the video to see the mention of the photos of the "abandoned" high-school ... as the…
Dramatic imagery, but check out this for a counterpoint [1]: http://www.guardian.co.uk/music/musicblog/2010/oct/20/dirtbo... Watch enough of the video to see the mention of the photos of the "abandoned" high-school ...…