EdiX

23 ms·

271.
by EdiX 11y ago
> it's how computing itself works but it's not the whole story when it comes to computers.
272.
by EdiX 11y ago
> I'm interested in “low cognitive load without sacrificing technical precision.” You don't seem to be interested in low cognitive load at all, otherwise: > No disagreement here. I even stated my personal choice of C. you wo
273.
by EdiX 11y ago
>Of course, we need to reach a gentleman's agreement regarding which formalism is a good “foundation” for defining everything else. My personal preference would be to define all other formal systems in terms of rules of inference. I
274.
by EdiX 11y ago
> nothing reflects entanglement better than a formal semantics A formal semantics is just a way to translate from one formalism to another. It's rather obvious that choosing the target formalism determines how simple the language wi
275.
by EdiX 11y ago
>Because seriously, why aren't we seeing the same backlash against Chrome Because people who don't like the things you listed use firefox, not chrome.
276.
by EdiX 11y ago
> Surely requiring every program to use something like GNU readline is a bad idea? That's basically how it works now. Kernel's line discipline is awful and nobody wants to use it so they build with readline or something equival
277.
by EdiX 11y ago
Imgur will aggressively recompress any image above 5MB. A few years ago it used to be even worse.
278.
by EdiX 11y ago
>Bundling Excel and Word (and more) into a single MS Office product was a masterstroke that definitely helped them, but you can't claim that was some sort of evil monopolistic genius But I didn't >Desktop Linux was a joke at
279.
by EdiX 11y ago
>Microsoft software was not 'utter crap'. it wasn't but... >Word won by virtue of being better than WordPerfect. Excel won by being better than lotus Excel and Word won by virtue of being bundled and thus cheaper than b
280.
by EdiX 11y ago
Honest question: what exactly do you think is great about the 65816? Because I don't know much about the 65816 but I don't really see the appeal, even compared to the 8086. The 65816 had even less general purpose registers than th
281.
by EdiX 11y ago
>No graduate student is incentivized to re perform existing experiments to verify them If you look at how this thing with psychology started ("replication bullies") or at what Brockman said about the LaCour scandal earlier this
282.
by EdiX 11y ago
Scott Alexander [1] allegedly works with autistic patients and has a different impression. My impression is that autism is an epistemologically unsound category, as if biologists had 'flying animal' as a category encompassing some
283.
by EdiX 11y ago
Does anyone know why Dennis Ritchie's screenshot has all that noise? It's almost like it was printed and then scanned back.
284.
by EdiX 11y ago
I would really like reading more about this.
285.
by EdiX 11y ago
My impression is that it does for crimes committed against people the assailant is not related with.
286.
by EdiX 11y ago
Yes, the Uber driver could rob you or worse, but they would also be guaranteed to get caught, so they probably won't do it. I think you are picking on a rather objective and dispassionate observation about incentives to take a grandsta
287.
by EdiX 11y ago
> I don't believe this is correct. Did rust find a way to defeat the halting problem and push all the array bound checks to compile time? How well does rust deal with memory bank switching where an instruction here makes that pointe
288.
by EdiX 11y ago
>Computers don't have spirits But standards committee do. >Rust is extremely impressive because they've found so many ways to do high-level programming while maintaining low-level performance. But they can only do that becau
289.
by EdiX 11y ago
Yes, the C language specification is a bit shit, it leaves too much leeway to compilers so that C compiler for broken, niche architectures can be written. However, I disagree with you. All this badness in the C specification did not stop pe
290.
by EdiX 11y ago
At least, not on HN. However, would you put The Martian almost on par with 2001? Would you rate it more than Blade Runner? I wouldn't do either, no way. If you interpret the rating as probability of that a randomly selected p
291.
by EdiX 11y ago
The problem is that complex systems need complex design. As your design get more sophisticated, you need more sophisticated ways to communicate the design I've never found any need for a third, intermediate level of sophistic
292.
by EdiX 11y ago
> Some users seem to feel like they are the true owners of the site, and that the corporation exists to serve them and fulfill their needs So you think that reddit has any value at all after you remove the top 20% of users that generate
293.
by EdiX 11y ago
> I think it's better to moderate only incivility, bigotry and the like, as bans on "trolling" appear to have morphed into bans on dissent at some point This is a built-in problem (the built-in problem?) with censorship. T
294.
by EdiX 11y ago
I really wish you were right but I think few people care about this and the problem is just that the internet of things has no use case.
295.
by EdiX 11y ago
> Facebook and Google don't want to give up data, they are effectively being coerced into handing over data. How do you know this? They get paid for the data and selling it to the government guarantees that they will be allowed to k
296.
by EdiX 11y ago
“They’d rather the NSA have it?” he asked. “What, you trust the government?” As if they wouldn't turn the data to the NSA at the drop of a hat.
297.
by EdiX 11y ago
As far as I am concerned it wasn't CD and internet but USB storage getting really cheap in 2001 ~ 2002: it fulfilled all the same use cases as the floppy, didn't require special hardware, was more reliable and had more storage cap
298.
by EdiX 11y ago
:%s/sealion/black people/
299.
by EdiX 11y ago
>By "nonexistent border protection" I meant something more like "once you step on EU land, you are free to go anywhere". The whole point of the EU and the Schengen treaty was to have less border protection between mem
300.
by EdiX 11y ago
> I'm risking getting downvoted to oblivion here, but as an EU citizen I strongly believe that the core reason we have this crisis in the first place (as opposed to something controlled) is nonexistent border protection from souther

More ›