linguaz

6 ms·

1.
by linguaz 11mo ago
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 tradition
2.
by linguaz 1y ago
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 constra
3.
by linguaz 1y ago
> ... 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
4.
by linguaz 2y ago
> 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?
5.
by linguaz 2y ago
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.
6.
by linguaz 2y ago
> 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.
7.
by linguaz 2y ago
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 ow
8.
by linguaz 2y ago
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
9.
by linguaz 6y ago
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 manpa
10.
by linguaz 6y ago
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 =
11.
by linguaz 6y ago
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.
12.
by linguaz 6y ago
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
13.
by linguaz 7y ago
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 relationship
14.
by linguaz 7y ago
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 discussion threads? This i
15.
by linguaz 8y ago
> 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. I'd be
16.
by linguaz 8y ago
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 period, concerning sever
17.
by linguaz 8y ago
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 collect
18.
by linguaz 12y ago
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 on desktop PCs r
19.
by linguaz 13y ago
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/wiki/Tools/en#Generating_ZIM_Files_From... http://www.
20.
by linguaz 14y ago
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 the fly, but this [2]
21.
by linguaz 16y ago
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 camera pans over to
22.
by linguaz 16y ago
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 ... as the camera pans