YouAreGreat

8 ms·

31.
by YouAreGreat 8y ago
> could have been avoided if the streamer had hedged just a bit better If you find a live claymore in the middle of the company meeting room, exploding it can be avoided by circumspect behavior. If that's all you do about it, you mi
32.
by YouAreGreat 8y ago
It's about Israelis killing scientists and engineers, hitting dangerously close to home on a technology first board.
33.
by YouAreGreat 8y ago
The problem as I see it is the type for lst. Common Lisp has a (CONS α β) type for cons cells with member types α and β, but its LIST type is defined as (OR (CONS T T) NULL), basically more of a binary tree type, where T is the Common Lisp
34.
by YouAreGreat 8y ago
Are you saying that the happy path of SBCL static typing—given you also want to use lists, and also not be inundated with spurious warnings—is to declare everything to be of type T?
35.
by YouAreGreat 8y ago
You didn't answer the question if SBCL infers specialized list types. I'll assume the answer is "no". In that case, everything extracted from a list is T and you'd have to get that warning you mentioned above. S
36.
by YouAreGreat 8y ago
Whoa. Will SBCL emit false-positive warnings all the time when you dare to use lists in a Lisp, or does it at least try hard to infer specialized list types, going above what's expressible using the standard LIST type?
37.
by YouAreGreat 8y ago
A sound type system would have guaranteed that no program execution ever calls your function foo with the wrong type of argument. SBCL doesn't offer any such guarantee. If some part of your program extracts values from a heterogeneou
38.
by YouAreGreat 8y ago
> what Common Lisp offers, especially SBCL: optional static typing Common Lisp offers optionally unsound static typing. (SBCL doesn't change that, that's why it inserts runtime checks.)
39.
by YouAreGreat 8y ago
Here's an observation from Benjamin Pierce, static typing guru: > Complex definitions tend to be wrong when first written down. In fact, not only wrong but nonsensical. Most programming errors are not subtle! Static type systems w
40.
by YouAreGreat 8y ago
Same incentive as for tax evasion.
41.
by YouAreGreat 8y ago
> Question for conservatives Are you sure UBI would actually be against "conservative" interests? With UBI, it's hard to justify salaries for much of the redistributive bureaucracy. With UBI, it's hard to have open
42.
by YouAreGreat 8y ago
> what social services people already depend on will you get rid of? Most of them, that's one of the major reasons you'd want to do it. The means-testing bureaucracy being so expensive all by itself, you might as well give ever
43.
by YouAreGreat 8y ago
> the objective function ... is: maximize the time people spend watching stuff Sure, but the real problem is how well it works. Humans eagerly eat it up because their behavioral heuristics aren't adapted and get gamed. Humans want
44.
by YouAreGreat 8y ago
From the other submitted link[1], we learn that yes, there was a warrant, but limitations were boldly ignored: > The warrant lists specific items. This was not respected. Assuming that fact, was it legal? [1] https://blog.tors
45.
She Has Her Mother’s Laugh – A Review(quillette.com)
1 points by YouAreGreat 8y ago|0 comments
46.
by YouAreGreat 8y ago
> Have we really not understood OO at all The problem is that whenever we think OO, visions of Alan Kay and Smalltalk float into our heads and suddenly Everything Is An Object . Numbers "know" how to add themselves to other nu
47.
by YouAreGreat 8y ago
> bad-faith downvotes that cannot be backed up with argument Would forcing them to make bad-faith arguments really improve the place?
48.
by YouAreGreat 8y ago
> They are the ones who get to decide Once upon a time, the late musician Prince decided to change his name. Turns out that no, you don't always "get to decide" and even fans don't follow your every whim: Most ignor
49.
by YouAreGreat 8y ago
Not necessarily. In an ideal world psychology could be scientific. In this world, however, we observe that the Behaviorists, who were uniquely concerned with holding psychology to strict scientific standards, where ganged up upon and ho
50.
by YouAreGreat 8y ago
> fanatical about disputing Zimbardo's conclusions What you're misrepresenting as "fanaticism" is simply a strong but justified emotional reaction to what the debunking of Zimbardo implies. An emotional reaction trigg
51.
by YouAreGreat 8y ago
> shareholders should be liable when they break laws and kill people Shareholders shouldn't (unless there's clear mens rea, such as when they set up the corporation in order to break laws) but officers of the corporation shou
52.
by YouAreGreat 8y ago
> conforming implementations cannot transform code on the basis that some behavior left undefined by the standard is impossible You may have misunderstood how rogue optimizers obtain their license to miscompile. It is not by assuming t
53.
by YouAreGreat 8y ago
> disable HT outright That would describe it if they...disabled it outright. But they made HT user configurable, just like any other performance tuning knob.
54.
by YouAreGreat 8y ago
The author observes that self-driven students of very selective parts of Music History are "driven by emotion rather than obligation" and usually start from a passion for some current music. This seems true enough. The next st
55.
by YouAreGreat 8y ago
... is an Einstein
56.
by YouAreGreat 8y ago
The way I remember it, Pascal enums were useless. Regarding nil safety, did Pascal allow something along the line of the following? var x: ^int; ... x^ := nil; Swap(x^, y)
57.
by YouAreGreat 8y ago
let a:[Int] = [1] + [2] + [3] + [4] + [5] + [6] + [7] What's the reason, something like exponentially many candidates for overloading resolution? > here is very little to no evidence that static typing actually increases s
58.
by YouAreGreat 8y ago
> dangerous experiment It's also an easily reversed experiment, which suggests that the naysayers may fear success more than failure.
59.
by YouAreGreat 8y ago
Why do people think it makes so much of a difference if a happy new planetary order is initially installed by alphabet agencies or Alphabet companies?
60.
by YouAreGreat 8y ago
> what are developers going to do when Google inevitably acquires GitLab? There are downsides to MS owning Github, but Google is in a whole separate universe of Evil. So the answer is: Move out, don't hesitate, and if there's n

More ›