Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
wk_end
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
67 ms
·
961.
▲
by
wk_end
4y ago
I certainly wouldn't imply that it is! I think the read that you and some others are getting out of my post is that "the Western tradition is bad", which wasn't the intention - I repeatedly praised the works, after all!
962.
▲
by
wk_end
4y ago
Which "slavers" are you referring to? Almost all of the American Founding Fathers owned slaves, and they were of course very familiar with the tradition of liberal thought. I can't speak for Hitler's knowledge of the Gre
963.
▲
by
wk_end
4y ago
A former partner of mine was a St. John's alum (and champion), so I heard a lot about and thought a lot about their undergraduate program. Of course this is a wonderful list of brilliant works. I don't know if reading nothing but
964.
▲
by
wk_end
4y ago
The point of having a system-defined NULL dereference (or whatever else is UB) is predictability both at compile-time and at run-time - given a particular system and a piece of high-level code, you can infer roughly what the compiled low-le
965.
▲
by
wk_end
4y ago
Health care in Canada is a responsibility of the provinces, so the guy in Ottawa is to some extent irrelevant. Although in BC we've had an NDP government for five years and it's not like things are doing so hot.
966.
▲
by
wk_end
4y ago
Is Coalton industrial-grade? What does that mean? Is it used in industry? I'll note that the GitHub README says: > Coalton has not reached "1.0" yet. This means that, from time to time, you may have a substandard user expe
967.
▲
by
wk_end
4y ago
The basic idea of UBI is that everyone claims it. That's why it's universal!
968.
▲
by
wk_end
4y ago
> Emphasis on Tokyo, which was basically the only place in Japan that's still growing, until it too started shrinking during COVID. A few days ago I commented the opposite of this: most of Japan's major cities ("Osaka, Yok
969.
▲
by
wk_end
4y ago
I don't think I'm discounting that effort at all! To be honest, given that I mentioned both that they were exceptionally talented ("elite" and "hand-picked") and worked incredibly hard, I'm not sure where
970.
▲
by
wk_end
4y ago
The simple sad reality is that Apple's attention to detail was difficult-but-doable...in 1984, on lower resolution screens, in monochrome, on computers that did substantially less, when riding high off Apple ][ money, with radical visi
971.
▲
by
wk_end
4y ago
> I think now, after another documented murder-suicide, there's also been a change in regulations requiring at least 2 people to be in the cockpit at all times. This would help prevent a nefarious pilot from taking the plane down. A
972.
▲
by
wk_end
4y ago
> declining population has not reduced price of houses in the city Despite overall declining population, Japan's major urban centres are actually increasing their population. Tokyo, Osaka, Yokohama, Nagoya, Sapporo, Fukuoka, Hiroshi
973.
▲
by
wk_end
4y ago
No, that's not the case. The term "class" here isn't being used to describe OOP classes. You can read the article for more details, but "class" here is being used to describe something like a dynamically distin
974.
▲
by
wk_end
4y ago
typedfalse wrote "unityped", not "untyped" (note the "i"). When type system people talk about types they're implicitly talking about static types, rather than what Python might call a type. Robert Harper l
975.
▲
by
wk_end
4y ago
TBH I actually think the documentation for Idris is quite good, but your overall point is correct: it's definitely somewhere between "academic toy" and "serious language". It's not really usable for anything re
976.
▲
Interview with Sean Gugler, Chief Bug Wrangler of Ultima IV Remastered
(callapple.org)
1 points
by
wk_end
4y ago
|
0 comments
977.
▲
by
wk_end
4y ago
Out-of-order execution is a feature of the microarchitecture, not the ISA. That is, RISC-V is an instruction set - it defines the language you use to describe work to the processor. Any given RISC-V processor needs to understand that langua
978.
▲
by
wk_end
4y ago
Deprecating direct string indexing might have been the "right" move in some sense but it's hard to imagine it ever happening in Python; it's such a natural and frequently-used operation in the language that you would
979.
▲
by
wk_end
4y ago
Real World OCaml is available online for free [0] and should work pretty well. [0] https://dev.realworldocaml.org/
980.
▲
by
wk_end
4y ago
For anyone - anyone who's faffed around with JavaScript's spread syntax when working with nested immutable data, anyway - struggling to understand the general concept or utility of optics, I'd encourage looking into monocle-t
981.
▲
by
wk_end
4y ago
Not just better and more pleasant, but also because having an abstraction layer between the code and the microarch is nice: it lets Intel modify their CPU's internals as they see fit without worrying about backwards compatibility; it a
982.
▲
by
wk_end
4y ago
Canada does this for passport control (as does the US in at least some circumstances - I know they did it every time I entered when I had my TN Visa, not sure if they do it for all foreign nationals or Americans). But this article isn'
983.
▲
by
wk_end
4y ago
That's true only in comparison to languages with manual memory management. Higher level languages spare you the burden of being conscious about these things, which means Rust is naturally going to be more difficult to work with than, o
984.
▲
by
wk_end
4y ago
If I'm reading OP right, their issue with Rust is the borrow checker - none of those features require one. They're asking for a language that's safer than C, not as safe as Rust, but simpler and easier to ram things through.
985.
▲
by
wk_end
4y ago
I'd be super curious to run a profiler on those Python builds and see where it's spending most of its time.
986.
▲
by
wk_end
4y ago
Except they didn't. The WIV was founded decades before coronaviruses were a subject of interest, and the bat coronaviruses they were researching that SARS-CoV-2 is related to all come from caves in Yunnan, which is about 1,500km away.
987.
▲
by
wk_end
4y ago
Was on display. The LCM closed due to COVID and there's no indication that it's coming back, sadly.
988.
▲
by
wk_end
4y ago
It's complicated - that's Free Speech as a right , but Free Speech as a virtue has a history in liberal thought that goes deeper than just protection from the government - most notably, Mill in On Liberty. There's an unfor
989.
▲
by
wk_end
4y ago
TypeScript does not have dependent types. It has type-level constants and surprisingly powerful type manipulation facilities, including string manipulation on string type constants. But there's no way to operate on types at the "d
990.
▲
by
wk_end
4y ago
> It is also possible, to some extent, to use dependent types to replace proof tools like Coq. Not sure what you mean here - Coq is a proof tool _based on_ dependent types. It's a dependently typed programming language with a mechan
More ›