It's an interesting shift. A loss, I think.
7,839 karma · joined September 28, 2009
You can email me at hackernews@blahedo.org.
It's an interesting shift. A loss, I think.
- I had to go down to the OCaml implementation to work out what the small-step semantics were saying, in part because I couldn't see what the underlying tree structure was. In each of the four-element reductions in the definition, put parentheses around the first three to see what is applying to what. Also I think the right-hand sides are under-parenthesised. So:
(t (t) a) b -> a (1)
(t (t a) b) c -> (a c) (b c) (2)
(t (t a b) c) t -> a (3a)
(t (t a b) c) (t u) -> b u (3b)
(t (t a b) c) (t u v) -> (c u) v (3c)
Relatedly, the table is missing some cases because (I think) the authors see them as "obviously" falling out from the associativity of the written syntax, but I think it's helpful to add: t a -> (t a) (0a)
(t a) b -> (t a b) (0b)
Now you can look at an expression with the syntax E E and more cleanly apply these semantic reductions to them.- So wtf is all this doing? In the same way that working out the lambda calculus is frequently about bundling a lambda to "choose" between two options, this tree calculus is built to "choose" between three options based on whether it's presented with a node that is a leaf, a "stem" (one child), or a "fork" (two children). This is the core of rules 3a, 3b, 3c. If the "function" being applied is a fork whose left child is a fork, we think of the left-left grandchild as A, the left-right grandchild as B, and the right child as C; and if applied to a leaf, we use A, if applied to a stem we apply B to the stem's sole child, and if applied to a fork we apply C to the fork's two children. That three-way "choosing" is going to be how the system builds up the rest of the things you can do with it.
I don't think I ever tried "123.5", actually.
So if all of the handful of fragments have marks that look like actual alphabetic symbols that were actually used in that area (later), that's substantially stronger evidence than you're giving credit for.
On the other hand, when I've gone to that clinic with urgent issues, they see me the same day.
I gather it is much the same in systems with decent healthcare systems; just much, much, much less likely to bankrupt you just for being sick.
"On two occasions I have been asked [by members of Parliament!], `Pray, Mr. Babbage, if you put into the machine wrong figures, will the right answers come out?' I am not able rightly to apprehend the kind of confusion of ideas that could provoke such a question." --Charles Babbage
Yes, because (at least for me) the thought went "well that's cyan, it's not really blue but if forced to pick, cyan is more like blue so I'll click that". It's like rounding up at 0.5.
Well, we saw this play out in the last couple years in Texas—they set up their laws so that abortion enforcement was performed by civilians (i.e. not cops, not the government), specifically to throw sand in the gears of any countervailing judicial efforts (i.e. making it impossible to sue anyone to force them to stop it, because it's just a game of whack-a-mole at that point).
I'm hoping that behind the scenes they really are looking at a better plan than just "work around it", but the workaround can buy them time; and if their operations plan is strong, they'll be able to roll it out very slowly in parallel while all their back-end stuff gets upgraded. (This would require some aspect of the new system to make it immediately distinguishable from the old one, e.g. three-letter airlines or whatever, but that's a minor detail compared to all the other stuff they'd have to work out.) Bonus points if knowing the "old" number lets you algorithmically derive the new one somehow, and vice versa, to make the transition period easier. :)
What are you even talking about? My mother's parents were 74 and 76 when I was born and they were routinely my caregivers several times a week (while my parents were working) until I was about 6, and occasionally after that. That wouldn't work in every family, but the idea that "a 65 yr old is a dependent" is utterly unfounded as a general rule.
The point of writing (and working with) linked list implementations in a CS2 course is not because linked lists are something you'll have to implement yourself later (although there are certain areas of systems programming where return values of various system calls are, effectively, linked lists).
The point of working with LLs in CS2 is because they are an extremely simple data structure that you can inspect the entire implementation of; and their use of references/pointers gives practice with that concept before upgrading to the concepts of trees and (linked) graphs; and their fundamental structure and properties are so different from array-type list implementations that they provide a good first example of two different implementation strategies that can produce exactly the same output/result but with different space and time usage properties; and the parallel implementations are also a motivation for abstracting interface away from implementation and keeping data private and interface public.
So, that's why I teach linked lists in CS2. I try to be very up-front with my students about that; sorry to hear that your professors maybe weren't. I pretty solidly agree that a LinkedList per se is not particularly useful to a working software engineer; but that's not why we teach them.
...does that make me more morally qualified to complain than other people? Why?
> Spivak pronouns
Yes, also formative (I was extremely comfortable with gender-neutral pronouns by the time they went a bit more mainstream).
> Kelly ... inherited the perl scripts from
It was indeed! And we're still in touch—she got married to Lee (also from Agora) and both of them are still working doing tech stuff. Probably not many perl scripts though. :D
Agora still seems to be alive and well, though, and coming up on 30 years old, at agoranomic.org .
> We tell customers to wash their outerwear, regardless of whether it has PFAS or not, after every three to five significant uses and to re-waterproof every three to five washes.
Their outerwear? So we're not talking about inner layers here. All of them? Every three to five uses?? I have jackets and coats that are decades old, in active (seasonal) use for the whole time, that I have never washed. Is this unusual? How would you even wash them? For some of them, it seems like just throwing them in a washing machine would damage the surface layers, make the lining lumpy, shrink them, or do some other problematic thing to them.