HackerTrans
TopNewTrendsCommentsPastAskShowJobs

linguaz

no profile record

comments

linguaz
·قبل 9 أشهر·discuss
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.
linguaz
·قبل 10 أشهر·discuss
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. ...
linguaz
·السنة الماضية·discuss
> ... 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.
linguaz
·السنة الماضية·discuss
> 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?
linguaz
·قبل سنتين·discuss
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
linguaz
·قبل سنتين·discuss
> 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.
linguaz
·قبل سنتين·discuss
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.
linguaz
·قبل سنتين·discuss
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."