brians

14 ms·

151.
by brians 7y ago
It requires significant math not available to most high schoolers or indeed most adults. Using it with adults with non-CS degrees, we ran into big problems with the symbolic algebra system that motivates the early chapters.
152.
by brians 7y ago
It covers unification in a first term class, plus functional, OO, and machine models of computation. I’ve used SICP as a student, and comparing it to HtDP, CTM, or some ad box stuff as an instructor—there’s no contest. Each of the others i
153.
by brians 7y ago
I’d start without the animations, in something like Inform 7: http://inform7.com/ It’s easy to learn small things, reasonable to scale to harder things, and the award winning games regularly publish their sources—so you can
154.
by brians 7y ago
We can’t tell whether non-China data goes to Tencent—intentionally or by some bug or adversarial problem.
155.
by brians 7y ago
That sounds rough! Those are the circumstances under which I learned to cook: garlic, vinegar, searing heat, beans, and eggs can combine to make the chicken and vegetables unrecognizable. And still healthy.
156.
by brians 7y ago
$1850 federal tax incentive, $1500 in my state. It doesn’t close the cost gap with ICE, but it sure is nice.
157.
by brians 7y ago
To be obvious that it’s nested, you need to know that < and > are used as approximations for ⟨ and ⟩. You need to know that they’re brackets, not operators. You need to know that “enum” means that commas in the next section are differ
158.
by brians 7y ago
You tell that to the geometers.
159.
by brians 7y ago
That’s not subjective; you just made it up. For one thing, B-52s seem to have substantial safety externalities for nearby cities.
160.
by brians 7y ago
Consider if we required colleges to guarantee student loans.
161.
by brians 7y ago
I'm pretty sure humans can take 1 g continuous.
162.
by brians 7y ago
The end is at that height. Its center of mass is much higher, and it's rigid enough to hold together. It's also not orbiting—its other end is nailed to the lunar surface.
163.
by brians 7y ago
Weddings: you pay the caterer directly, even if the facility dictates which caterer you use
164.
by brians 7y ago
Tor has some nice papers about what happens if you try that: the NSA and KGB each run a server and content themselves with getting a sample of the population.
165.
by brians 7y ago
It can charge on many, but not all, standard qi pads. I’d swear that launched years ago. I use one when car-camping.
166.
by brians 7y ago
I have a Series 0, and if I use it to track a bike ride, it won’t make it to bedtime. Maybe something about number of charge cycles and heaviness of use?
167.
by brians 7y ago
I found some Unicode bugs in porting—and I get continued free security updates. Seems fair to me, and certainly not “no benefit”. I can keep on 2.7 as long as I like; nobody’s forcing me to port. Compare the situation with Java!
168.
by brians 7y ago
Long ago? That is what enabled the original Mac GUI in the 1980s. I am having trouble understanding why anyone would have shipped anything else—what was missing in the time of earlier Firefox?
169.
by brians 7y ago
It may not have been speech, but Morse code. AM voice was understood in 1919, but certainly not practiced at scale.
170.
by brians 7y ago
You don’t need multiple to get improvement in one dimension: it’s moving. For something that will hold very still, you can wait for the next pass and synthesize.
171.
by brians 7y ago
Right. People near the center line are all guaranteed to get hit, and should prepare appropriately
172.
by brians 7y ago
Let's say yes. Can Amazon invent a better compression scheme that uses phonemes & UTF-8 text as a cue? Say, something that compactly expresses Neil Gaiman's voice, then just shows the text of Anansi Boys?
173.
by brians 7y ago
Common tasks for the web are easy in curl—though it will take me a long time to forget environment variables that could be set to false, true, or two. Httpie makes web apis easier, with better support for api keys and for hashing some heade
174.
by brians 7y ago
A possibility to displace C and Java. Features like Haskell—destructuring bind, useful type system. Performance like C, including no GC.
175.
by brians 7y ago
Lots of good advice here. Ergo keyboards (I like the kinesis advantage, and they last decades) and breaks worked for me. Dvorak is mostly useful because you have to relearn it, and might learn it without whatever broken ideas your body has
176.
by brians 7y ago
Fast growing matters. The ability to harvest them and have them regrow matters a lot too. That’s what makes bamboo so effective at carbon capture.
177.
by brians 7y ago
You can imagine it, but the person you’re replying to is closer. 1.3 is a ground-up redesign, packaged to not bother middleboxes that look for TLS 1.2. The handshake process and difference is complete.
178.
by brians 7y ago
That doesn’t sound quite right to me. server_name is sent in ClientHello (see https://tools.ietf.org/html/rfc8446#section-4.4.2.2 )
179.
by brians 7y ago
Yeah. Org-mode’s nature is pretty different from Emacs’. I don’t feel that way about Gnus, weirdly. I wonder if I’m missing something there. Helm, like org-mode, is from people getting something pretty different out of Emacs than I am. That
180.
by brians 7y ago
A huge amount is taking preweitten plugins—someone upthread said you should just learn your editor’s existing feature set, and this is true. But I use Emacs as a mail client—message mode is awesome—and extended it with a procedure to create

More ›