linguaz
Joined 16 years ago
Joined 16 years ago
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.
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. ...
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://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.
Could you please share the title of this book?
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
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.
> 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.
"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."
https://github.com/SystemsApproach/book
There are instructions in the README to build epub, html and other formats (including a giant manpage).
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})">|' 'x($1/10)|eg;
}
return $html;
}Apparently this is the manufacturer: https://www.metaalspecials.nl/
[1] Limit how your files are shared https://support.google.com/docs/answer/2494893
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 recorded. Provide some sort of navigable tree / searchable database. Should be able to easily scale to tens / hundreds of millions of URLs across decades.
If the URL is visited by manually inputting that URL, provide option to type into a field something like "heard this on the radio in a show about xyz..." or "so-and-so told me about this on 2-28-2020 at lunch".
Provide option (when viewing page or drilling into history tree) to:
- paste in a paragraph or two of text from the page to associate for context
- save the entire page in WARC or similar
- rate / star / tag that page
Provide option to delete pages from history -- either entirely, or "scratched out" (maybe with a comment) so one can remember which branches of the tree are not worth following again.
Provide Fuzzy matching as-you-type search across selectable metadata fields
Search all content with regex.
This would likely involve a browser plugin I guess, but it'd be nice to have a browser-independent way of doing this to facilitate multiple browsers on multiple machines. Also, would be good to avoid "extensions no longer supported after browser update" situations.
In the time it took me to get around to typing this up I see there are a lot of other interesting suggestions here...will have to sit down & read through them (and the Linkalot docs) more closely when I've some free time.
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 is something I appreciate about mailing lists and Usenet -- being widely distributed & redundant minimizes the chance of important content getting lost to the sands of time. Also allows for reading offline in situations where internet access might not always be available.
I see there are RSS feeds for individual discussions, but on a quick look through a few of those it wasn't clear to me how well this would capture threaded conversations, if it would require continually adding additional feeds for newly spawning discussions, etc. Maybe db dumps could be utilized similar to how Kiwix creates an offline Wikipedia?
Anyhow, great idea, I hope to be able to contribute.
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 interested to follow any progress you make on this front if there's a code repo / link you could point to, or maybe message me (contact info is in my profile).