derdi

11 ms·

151.
by derdi 1y ago
I wasn't able to cram all hunting propaganda tropes into one post, but you are right that "when we kill for fun, its actually an important service we provide to society, and you should show some gratitude!!" is right up there
152.
by derdi 1y ago
> the train that leaves first gets there first I understand this is what motivates people, and I also understand that, when asked, they would claim that this is in their rational self-interest. As I also wrote elsewhere, I tend to disagr
153.
by derdi 1y ago
No, it's running at 3-5 minutes at peak times. But bunching significantly shortens the interval between the delayed, overcrowded train and the empty one right behind it.
154.
by derdi 1y ago
I'd argue that that's not bunching, it's the entire system being overloaded. A characteristic of bunching is that you have a pair of vehicles which together carry an average manageable load of passengers, but that load is une
155.
by derdi 1y ago
The wait for the next train is one factor, the overcrowding is another one. I'm usually not in such a hurry that a minute's wait would make a difference. But the next train is very likely to be much less crowded and much more comf
156.
by derdi 1y ago
Many subway systems have displays showing that the next train is right behind the current one, and yet many people still insist on getting on the current overcrowded one.
157.
by derdi 1y ago
Bunching also happens on things like subway lines that have no other traffic. Many passengers are irrational about forcing their way onto already overcrowded trains.
158.
by derdi 1y ago
That last suggestion makes a lot of sense. It makes a lot of sense specifically because it is the opposite of what you suggested above: > The entire purpose of a parser for addresses is to reject invalid addresses, so if your parser tole
159.
by derdi 1y ago
dest/src order is not a big deal in absolute terms: The ISA designer picks an order, documents it, everyone follows their documentation, done. Intel picks one order for programming Intel, DEC picks another order for programming the VAX
160.
by derdi 1y ago
Big props for the website footer: "Only essential cookies here - no tracking, no popups, just focus-friendly computing the Commodore way."
161.
by derdi 1y ago
I know that you are equating things that are not equatable, since I have personally been affected by businesses relying on "datasets" to claim that my real world address, which definitely existed, did not exist. Data is not the
162.
by derdi 1y ago
> real world [...] dataset You are equating two things that are not equatable.
163.
by derdi 1y ago
> So you aren't shipping your product to some place that doesn't exist. But businesses can't usually verify whether a place exists. The best they can usually do is to verify whether a place has an entry in their database o
164.
by derdi 1y ago
> Anybody who has tried to verify addresses Why would one try to "verify" addresses that one knows nothing about? > because the mailman "just knows" The mailman does "just know", and the mailman is who
165.
by derdi 1y ago
> A fast dynamic language, with a day-one concurrency story That's pretty much what Erlang claims to be. Of course people will always quibble with "fast".
166.
by derdi 1y ago
> For UINT_MAX, the algorithm would need to be reconsidered, though, since it's written with signed integers in mind. The algorithm is written assuming that unary - produces the additive inverse. That is also true for C's unsig
167.
by derdi 1y ago
He may be very happy just being a spoiler candidate that sucks off enough Republican votes to make them lose the next election.
168.
by derdi 1y ago
Someone else filed the application for him, and that application includes a fresh email address for this purpose. There is no reason to deduce from this that Musk had anything to do with choosing Protonmail, that he intends to read the mail
169.
by derdi 2y ago
Nice game. Tedious to use on a laptop with a trackpad. You should allow keyboard input. Managing accounts is a huge headache both for yourself and for your users. It's a bunch of code and responsibility for you to manage people's
170.
by derdi 2y ago
Yes, enumerating all predicates in the system and meta-interpreting all control structures seems unrealistic to me. In the sense that no Prolog application developer (as opposed to a Prolog system implementor) would want to do it. Except ma
171.
by derdi 2y ago
I really don't care what you "admit". Now you're saying that it doesn't matter whether Prolog has predicates as first-class values, and yet you keep arguing that it does have them. I don't think you're h
172.
by derdi 2y ago
> Any syntactically valid construct in (ISO-conforming) Prolog is "first class" First class data, yes. First class predicate, no. > Predicates (and only predicates) can be called with `call/N` Some class of things that
173.
by derdi 2y ago
> Predicates are trivially called, even as variables, with the `call/N` metapredicate. Yes, that is the definition of "predicates are not first class values". Some things can be called without call/N. Other things can
174.
by derdi 2y ago
> What if I wanted this system to expose authorization as an HTTP endpoint with REST semantics, and store authorization rules on disk? Would this be straightforward, involved, or impossible? Straightforward. Prolog supports self-modifyin
175.
by derdi 2y ago
> I wish not every Prolog discussion had a top comment about Mercury, Curry, Minikanren, et al Absolutely. Datalog too. > but I think you missed the end of my comment where I recommended SWI over Scryer for most people I did not miss
176.
by derdi 2y ago
> [...] might [...] might [...] might [...] might [...] might [...] All of what you say is true, and yet practical applications that did break are somehow not talked about quite as much as hypothetical applications that might have br
177.
by derdi 2y ago
> Prolog has poor features for abstraction That's actually what this article presents as its strength and simplicity. The straightforward choice in Prolog is to use global "who may do what" tables. In contrast, the author
178.
by derdi 2y ago
No built-in is needed for an efficient reverse. It's just one or two lines longer because you need to write a tail-recursive helper with an accumulator, same as in functional languages: https://stackoverflow.com/a/
179.
by derdi 2y ago
> I absolutely refuse to go to Twitter links anymore; why bother, they don't usually work unless you're logged in. Replace "x.com" by "xcancel.com" (or some other still working Nitter instance) and you'
180.
A Case for Feminism in Programming Language Design(dl.acm.org)
4 points by derdi 2y ago|4 comments

More ›