rntz

5 ms·

1.
Evaluation order and nontermination in query languages(rntz.net)
1 points by rntz 3mo ago|0 comments
2.
Deconstructing Datalog(rntz.net)
18 points by rntz 4mo ago|0 comments
3.
by rntz 8mo ago
why the sharp divide around december 2022, with almost none imported before that and plenty after?
4.
by rntz 3y ago
Is it ironic, though? "Right to repair" has to do with freedom, sure, but not free-as-in-beer. It doesn't mean "it costs me no money to repair things". It means "I am not prevented from repairing things".
5.
by rntz 3y ago
Have you tried writing with your non-dominant hand? I'm a righty and I find left-handed writing effectively impossible.
6.
by rntz 3y ago
With Talon on Mac I believe this is possible (Mac has surprisingly nice accessibility APIs), but I don't know whether Talon on X11 can do it. If it's possible it would probably(?) involve rolling your own at-spi stuff.
7.
by rntz 3y ago
Is this duplication the reason why the OP is flagged? Otherwise I'm flummoxed - it seems a perfectly reasonable/normal article.
8.
by rntz 3y ago
> (The same principle can be used to entice people to leave a crowded sauna — just pour water on the hot rocks to generate loyle.) I have never come across the word "loyle" before, and googling suggests it does not exist. Does
9.
by rntz 3y ago
I think that's actually IBM Selectric Script, not Scribe (the images are labelled at the bottom not the top). https://fontsinuse.com/typefaces/10922/script-ibm finds two uses of it.
10.
by rntz 3y ago
It turns out to be not that hard to just compute the language of the regex, if it is finite, and otherwise note that it is infinite: import Prelude hiding (null) import Data.Set (Set, toList, fromList, empty, singleton, isSubsetOf
11.
by rntz 3y ago
You're correct, and I don't see any good way to avoid this that doesn't involve enumerating the actual language (at least when the language is finite). Oof, my hubris.
12.
by rntz 3y ago
Here's a simple Haskell program to do it: (EDIT: this code is completely wrongheaded and does not work; it assumes that when sequencing regexes, you can take the product of their sizes to find the overall size. This is just not true. S
13.
by rntz 3y ago
This depends heavily on how repetition is implemented. With a backtracking-search implementation of regexes, bounded iteration is pretty easy. But the linked webpage appears to compile regexes to finite state machines (it shows you their fi
14.
by rntz 3y ago
^ and $ are a problem, although one with a workaround. The standard theory of regular expressions focuses entirely on regex matching, rather than searching. For matching, ^ and $ don't really mean anything. In particular, regexp theo
15.
by rntz 3y ago
title typo: "Purely Functional Data Structure" -> "Purely Functional Data Structures" (pluralization) reads a bit weird otherwise - sounds like it's discussing a particular purely functional data structure when i
16.
Who invented vector clocks?(decomposition.al)
125 points by rntz 3y ago|39 comments
17.
by rntz 3y ago
Corporations make profits if their products are worth it to people, true. But in a sufficiently unequal world, what's "worth it" to a rich person matters more in the market than what's "worth it" to a poor pers
18.
by rntz 3y ago
> All of these low-level concerns make working in AI feel like the candle that burns bright and short. I'm oscillating between the most motivated I've ever been and some of the closest to burnt-out I've ever felt. This w
19.
by rntz 4y ago
This is a great set of examples for showing off how current chatbot AIs have impressive capabilities but are also prone to getting important details wrong. For instance: 1. The description it gives of how to generate a Shepard tone is wrong
20.
by rntz 4y ago
> If you are hell-bent on using FixedBufferAllocator only and you want to avoid copies, there is a way. Using two buffers (and separate allocators backed by them), it is possible to keep swapping between them after every iteration. I fou
21.
by rntz 4y ago
One argument is: if font designers had to pick just one price, instead of charging a higher price to bigger customers and a lower price to smaller ones, they'd need to pick a higher price in order to recoup their costs. This would pric
22.
by rntz 4y ago
This situation is beginning to improve if you know where to look. There are several typeface designers who offer both low prices and reasonable licensing terms for their fonts; for instance, David Jonathan Ross ( https://djr.com&#
23.
by rntz 4y ago
Possibly a mistranslation? I can't read Khmer, but someone on twitter claims there were 12 contacts (rather than infected individuals) with the index case (the deceased girl, I assume) of which 4 report flu-like symptoms: https:&#x2
24.
by rntz 4y ago
It seems to me the author misses a purely practical reason to have respect for a variety of religions: peaceful and happy coexistence. Historically a lot of blood has been spilt over religious differences and a lot of people have suffered o
25.
by rntz 5y ago
The article appears to misrepresent the result of a study it links to. From the article: > A study conducted by researchers in Switzerland found that a wine labelled with a difficult-to-read script was liked more by drinkers than the sam
26.
Ink Traps and Pals(tosche.net)
3 points by rntz 5y ago|1 comments
27.
by rntz 6y ago
Objects, messages (OO, Smalltalk, Alan Kay) Function (lambda calculus, FP) String (shell, tcl, perl) Process, actor (the actor model, Carl Hewitt, Erlang) Value, immutable, pure (pure FP) Thunk, lazy (lazy FP, Haskell) File (Unix, plan 9) L
28.
by rntz 6y ago
Talon actually can work with Dragon; it started out requiring Dragon but has since grown its own voice recognition. Anecdotally, a lot of folks on the talon slack seem to be refugees from Dragon-based solutions, and a common observation is
29.
Covid vaccine passes phase 1 human trial(thelancet.com)
47 points by rntz 6y ago|21 comments
30.
by rntz 7y ago
> If we take 'specifications' one level further and actually want our algorithms to be proven correct, as in, by a proof assistant it is quite unclear that this possible or desirable. It is not only possible, it is how dependen

More ›