Viewing profile — linguaz

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…

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, impera…

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

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

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-mathem…

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

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 thou…

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 instrum…

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…

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, $h…

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

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 functio…

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 l…

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 a…

> 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, hopefu…

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…

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 fo…

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 an…

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/ http://www.kiwix.org/w…

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…

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 t…

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 pho…