Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
YouAreGreat
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
12 ms
·
61.
▲
by
YouAreGreat
8y ago
> Windows 7 is the new XP Win7 is a focal point of some importance: It's where developers who don't want to be pushed into app store indentured servitude join up with the Windows compatible systems, Wine and ReactOS. Everything
62.
▲
by
YouAreGreat
8y ago
> on Windows 10, CreateFileFromApp() and CreateFile2FromApp() should be used instead, otherwise the application won't run from the store. So? If you dislike the app store monopolies, it's stupid to herd your users into the stor
63.
▲
by
YouAreGreat
8y ago
> Are you saying that every new black hat is immediately a professional To a degree that's what I'm saying. Sentencing for "computer crimes" when perpetrated by non-corporate entities has reached epic levels. I'm
64.
▲
by
YouAreGreat
8y ago
> The first internet worm spreading via flawed docker images? Good question, why don't we see exploits of all that implicit trust to the degree that, eg, the DOS shareware scene gave your PC visible virus infection, or the early i
65.
▲
Data reveals what Europeans think are the most important issues facing the EU
(yougov.co.uk)
2 points
by
YouAreGreat
8y ago
|
0 comments
66.
▲
by
YouAreGreat
8y ago
As someone who's not into real-time or zero-overhead, this is still interesting: Is it feasible to restrict exceptions to throwing a single simple "error code" type without losing much of value?
67.
▲
by
YouAreGreat
8y ago
> points free style will be a daily desire Not...really.
68.
▲
Partisanship at Eurovision is becoming more blatant
(economist.com)
44 points
by
YouAreGreat
8y ago
|
55 comments
69.
▲
by
YouAreGreat
8y ago
If you re-read everything in this subthread, you'll find a lot of argument from seasoned lispers that I can and should ignore the fact that type declarations are unsafe even at the highest safety settings because of "what implem
70.
▲
by
YouAreGreat
8y ago
> An assertion isn't any behavior It is. For example, a failed assertion inhibits effects that should have occurred before the "actual" type error happens. The only reason SBCL is able to insert assertions into safe code w
71.
▲
by
YouAreGreat
8y ago
Violation of a type declaration is UB in safe code. SBCL obviously makes use of that fact when inserting assertions.
72.
▲
by
YouAreGreat
8y ago
> Type declarations in Common Lisp support (safety <n>) and (speed <n>) syntax To be pedantic, those aren't type declarations. More importantly, the (un)safety of a type declaration isn't predicated on any specific
73.
▲
by
YouAreGreat
8y ago
You are right, I misjudged the inflammatory power of my choice of phrasing.
74.
▲
by
YouAreGreat
8y ago
You skipped the important part: > If the point was to mine assertions for type information, they could have encouraged the use of assertions. With that in mind: > Some will add more runtime checks when types are declare. Thus the code
75.
▲
by
YouAreGreat
8y ago
Thanks. Seems my assessment and SBCL's self-description match perfectly, as they explicitly aim to "reward the use of type declarations throughout development" and exhort users to "always declare the types of function
76.
▲
by
YouAreGreat
8y ago
Type declarations in Common Lisp are unsafe. Violating a declaration at runtime is UB. What SBCL is doing to Common Lisp is similar to what C compiler vendors did to C. In order to win at benchmarks, C compiler vendors started to use UB as
77.
▲
by
YouAreGreat
8y ago
Mathematical structures are hypothetical, e.g. given a structure that is a group, here's a book full of properties it will have. To get concrete, if our universe happens to be finite (which I suspect is true), a lot of mathematics
78.
▲
by
YouAreGreat
9y ago
Did you mean to suss out dog whistlers or are you just trying to divert attention from globalists? #notyourshield
79.
▲
by
YouAreGreat
9y ago
Half-seriously—but could it actually be true? Because by using a high level language most of the time, you will miss the practice it takes to effortlessly program manually what these languages automate. Between "GC, full numeric towe
80.
▲
Review: The Way We Die Now
(analyzethedatanotthedrivel.org)
1 points
by
YouAreGreat
9y ago
|
0 comments
81.
▲
by
YouAreGreat
9y ago
No. It's true that democracy was weakened when the early "wild west" internet interfered with broadcast media's ability to steer public conversation. The temporary result was a rise of anti-democratic populism in the wes
82.
▲
by
YouAreGreat
9y ago
> It was often said of Friends that it was written as if for six old Jews Not wrong—for a lot more of it than just Friends . Adolescent sexual themes, adolescent preoccupation with what the rules are and how to subvert them, but all of
83.
▲
by
YouAreGreat
9y ago
> of the 16 Wilson-Patterson items, gay marriage is the only issue that is significantly related (p<.05) to electrodermal response My emphasis. Alternative headline: "People less likely to stick to an individual party line item
84.
▲
by
YouAreGreat
9y ago
Natural monopolist Google enjoys a "competitive moat" and collects monopoly rent. The combination allows for a lot of unpunished "inefficiency". And scare quotes around "inefficiency" because I'm not convi
85.
▲
by
YouAreGreat
9y ago
> The whole point was to make an individual or a small group very productive and let them manage high complexity. And I think it was very impressive. In contrast, nowadays we seem to get most interest and discussion here for projects tha
86.
▲
by
YouAreGreat
9y ago
Having called the result of Lisp standardization ANSI Common Lisp instead of just ANSI Lisp doesn't change the fact that the whole effort was all about standardizing Lisp. Moreover, why not just say Scheme or Clojure when talking a
87.
▲
Appetitive Aggression in Women: Comparing Male and Female War Combatants (2016)
(frontiersin.org)
2 points
by
YouAreGreat
9y ago
|
0 comments
88.
▲
Making quantum computers reliable
(economist.com)
4 points
by
YouAreGreat
9y ago
|
0 comments
89.
▲
Go east, young founder: Chinese cities are competing to woo entrepreneurs
(economist.com)
2 points
by
YouAreGreat
9y ago
|
0 comments
90.
▲
Are Monads a Waste of Time?
(lambda-the-ultimate.org)
177 points
by
YouAreGreat
9y ago
|
270 comments
More ›