Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
wk_end
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
43 ms
·
601.
▲
by
wk_end
2y ago
Instead of C#, why not F#? You get proper ADTs among many other great features, but you still get all the utility of the .NET ecosystem.
602.
▲
by
wk_end
2y ago
Yeah, this is a great example of what I'm talking about. Even though there was only (only!) a roughly five year gap between the two, to bring up the N64 in the same breath shows that you're wildly overestimating what the SNES gave
603.
▲
by
wk_end
2y ago
Whenever people ask questions like this, my feeling is always: you’re welcome to try :) It’s hard to fathom, for people used to modern computing, just how limited the SNES’ 65816 is. Even at the time it was pretty underpowered. I don’t know
604.
▲
by
wk_end
2y ago
My claim is that the guarantees that TS provides aren't strong enough to help a compiler produce stronger optimizations. Types don't just magically make code faster - there's specific reasons why they can make code faster, an
605.
▲
by
wk_end
2y ago
I mentioned this in my original comment: > This gives you worse-than-JIT performance on all field access, since JITs can perform dynamic shape analysis. We're talking about using types to guide static compilation. Dynamic recompilat
606.
▲
by
wk_end
2y ago
So - I know this in theory, but avoided mentioning it because I couldn’t immediately think of any persuasive examples (whereas subtype polymorphism is a core, widely used, wholly unrestricted property of the language) that didn’t involve ca
607.
▲
by
wk_end
2y ago
You’re misunderstanding me, I think. Suppose you have some interface with fields a and c. If your function takes in an object with that interface and operates on the c field, what you want is to be able to do is compile that function to acc
608.
▲
by
wk_end
2y ago
At least without additional extensions, TypeScript would help less than you think. It just wasn’t designed for the job. As a simple example - TypeScript doesn’t distinguish between integers and floats; they’re all just numbers. So all array
609.
▲
by
wk_end
2y ago
People selling and using drugs aren’t the “majority of prisoners in America.” It’s about 1/5: https://www.prisonpolicy.org/graphs/pie2023_drugs.html
610.
▲
by
wk_end
2y ago
"Load a kernel module and then verify it" is not the way any remotely competent engineer would do things. (...which doesn't rule out the possibility that CS was doing it.)
611.
▲
by
wk_end
2y ago
Imagine it's, like, 1980 - or even earlier - and you can work in a language roughly as nice as Clojure, except the rest of the world is stuck working with pre-ANSI C or Pascal or FORTRAN or COBOL or raw assembly language. There's
612.
▲
by
wk_end
2y ago
The interpreter does not and probably never will check types. The annotations are treated as effectively meaningless at runtime. External tools like mypy can be run over your code and check them.
613.
▲
by
wk_end
2y ago
Wouldn’t you be able to treat this as syntactic sugar - effectively you rearrange the arguments as needed and strip the labels. Doing that wouldn’t necessitate any kind of change to the ABI, I think.
614.
▲
by
wk_end
2y ago
OT: Like you mentioned PAE was introduced with the Pentium Pro in '95. That was the same year my family got its first PC, with a whopping 8MB of RAM. It's wild to think that Intel was looking at 4GB and saying, "This probably
615.
▲
by
wk_end
2y ago
Do you hold the same opinion about hardware support for memory protection?
616.
▲
by
wk_end
2y ago
Is the anarchism Chomsky has in mind literally just direct democracy then?
617.
▲
by
wk_end
2y ago
I think I'm asking what constitutes a "justification", not who. The "population" justified the Iranian Revolution handing authority to the Ayatollah and the IRGC. Is Iran a model of the anarchic state?
618.
▲
by
wk_end
2y ago
By this definition virtually every political system could be argued to be compatible with "anarchism". Dante justified the authority of the church. Hobbes justified the rule of the king. People all across the centre of the politic
619.
▲
by
wk_end
2y ago
Apparently human terminal velocity is just a bit over 50m/s - I doubt there’s much of a perceptible difference between this and full-on free fall. Yikes.
620.
▲
by
wk_end
2y ago
So, this morning I happened to be reading a crossword blog - written by an English professor - and, reflecting on this conversation, thought, "Jeez, I'll bet Rex Parker uses the -y construct." So I scrolled back a few pages i
621.
▲
by
wk_end
2y ago
I'm a native English (Canadian) speaker and, given this context, would never pronounce "morph-y" as "morph why" (if that pronunciation was intended I'd capitalize the Y and probably not hyphenate it, "Morp
622.
▲
by
wk_end
2y ago
Canadian (Toronto) English speaker, although I’ve lived in the US (NYC and Seattle) for a while and it probably rubbed off on me. To me they sound pretty much same if you’re very consciously saying the words as units, in isolation, “trying
623.
▲
by
wk_end
2y ago
> now give the guy a chance to build Bloom into something legit That'd be the (perhaps too) generous thing to do, but there's no evidence at this point that he has any interest in doing that. You said that he "fucked up&qu
624.
▲
by
wk_end
2y ago
Node’s a server-side thing, so I don’t think you’d distribute these in the browser.
625.
▲
Code Smells Catalog
(luzkan.github.io)
1 points
by
wk_end
2y ago
|
0 comments
626.
▲
by
wk_end
2y ago
F#, for better or for worse, is missing some of the things that make OCaml really interesting - the powerful module system and the structurally typed object system. It does have its own neat features, though. Not to mention access to the .N
627.
▲
by
wk_end
2y ago
Reason never went anywhere. And, like Ocaml, its array syntax has pipes in it (and like Ocaml, the pipeless version makes a list). I think you’re doing Elixir a bit of a disservice by that comparison, though - Elixir is very much its own la
628.
▲
Why Government Unions–Unlike Trade Unions–Corrupt Democracy
(time.com)
28 points
by
wk_end
2y ago
|
21 comments
629.
▲
by
wk_end
2y ago
What's the connection you had in mind between the 6502 and the PowerPC? As far as I know they're geneologically unrelated. The 6502 was descended from the 6800 - one of a few ur-microprocessors - and somewhat clumsily evolved into
630.
▲
by
wk_end
2y ago
Hey now, Nintendo’s bucked that trend - the Switch is a disguised tablet instead.
More ›