chrismonsanto

28 ms·

31.
by chrismonsanto 10y ago
You can't recommend your solution to others and then say that they can't judge whether or not it is a good solution.
32.
by chrismonsanto 10y ago
> How come people still don't get them? The reason these comments keep appearing is because tech community is large & growing and each person encounters & is confused by their first presentation in this style at a different
33.
by chrismonsanto 10y ago
> Since time immemorial, the way to go forward in such pages is to press the left and right arrow buttons. "Time immemorial"? Damn, I remember pretty clearly what life was like before Web 2.0, and I'm still in my 20s. The
34.
by chrismonsanto 10y ago
That's a new turn of the phrase for me. I've only ever heard the expression "second-class parametric polymorphism" used in reference to enforcing predicativity (which does not rule out polymorphic recursion)
35.
by chrismonsanto 10y ago
To be precise, you need to outlaw polymorphic recursion to be able to do full monomorphisation. I'm not sure if that's what you meant by "second-class" in this context
36.
by chrismonsanto 10y ago
How does this compare to Solar-Lezama et al's "Sketching Stencils" approach to program synthesis?
37.
by chrismonsanto 10y ago
It is an interactive program synthesizer, as it says in the overview
38.
by chrismonsanto 10y ago
> very low quality, uneducated "developers" who all came from an alien culture This is the level of discourse I've come to expect from any discussion related to systemd
39.
by chrismonsanto 10y ago
Oh please, it's a poor use of rhetoric, and calling that out doesn't mean that you are somehow a robotic emotionless monster.
40.
by chrismonsanto 10y ago
The ability to delete issues.
41.
by chrismonsanto 10y ago
This is an irrelevant "attack." If you don't trust the site to serve you a safe installer, then you shouldn't trust the site to serve you a safe program either. Do you regularly verify the entire source code of programs
42.
by chrismonsanto 10y ago
Alternatively, I'll continue to speak up for the established terminology in the GC literature, and continue to recommend that those interested in this subject read sources like Jones' GC Handbook rather than the "official&quo
43.
by chrismonsanto 10y ago
> The actual garbage collection in all collectors is proportional to the amount of data that needs to be deleted. This is false, copying GC is a simple counterexample
44.
by chrismonsanto 10y ago
The reference counting != GC thing gets repeated all the time on HN, so I'm glad you called this out. For the record, what these people call "GC" is better called tracing garbage collection.
45.
by chrismonsanto 10y ago
If the program you want to install is included in your distribution's packages then this whole discussion is moot. We are talking about ways of installing from third-party sources.
46.
by chrismonsanto 10y ago
You trust the upstream to provide you with a safe program, but not a safe installer? That makes zero sense, and your link doesn't provide any evidence to the contrary
47.
by chrismonsanto 10y ago
Absolutely.
48.
by chrismonsanto 10y ago
> which means you are basically giving your computer in the hands of a third party As opposed to any other installation method? Do you regularly vet the entire source code of software you install?
49.
by chrismonsanto 10y ago
> To be fair, the top comment here calls out Poe's Law. The top comment when I posted was a copypaste of the joke disclaimer. And the top reply to the top comment at the time of this posting is a copypaste of the joke disclaimer.
50.
by chrismonsanto 10y ago
The effect of the joke is lessened when it is labeled as a joke, doubly so when every comment here copypastes the line saying it's a joke. See also the latest reprinting of "A Modest Proposal," which kindly has "SATIRE -
51.
by chrismonsanto 10y ago
No, this is not true. Writing a program to check termination proofs is not difficult. Writing a program to construct termination proofs isn't possible in the general case. If someone hands you a formal pen-and-paper proof of termin
52.
by chrismonsanto 10y ago
You are incorrect. Your objection is like looking at a pen-and-paper proof that a program terminates and saying it is invalid because of the halting problem. If you want to read more about this subject, I recommend Adam Chlipala's &quo
53.
by chrismonsanto 10y ago
1. This post would have been more interesting if the person he was having this dialog with was a PL researcher/designer. 2. Uncle Bob is trying to speak with authority, but this subject matter is outside his area of expertise. At least
54.
by chrismonsanto 10y ago
Researchers regularly make use of work from other countries, the scientific community is international. Even if one could make an argument for not allowing Canadians to access US research without payment, it doesn't follow that Elsevie
55.
by chrismonsanto 10y ago
You are missing a case for academics. Even after tenure, we have to continue publishing in these venues or our students wont be able to find work.
56.
by chrismonsanto 10y ago
Use Library Genesis ( http://gen.lib.rus.ec/ ) for books.
57.
by chrismonsanto 10y ago
> Meanwhile, academic pirates continue to flood to Sci-Hub, domain seizure or not. I realize readers of torrentfreak.com have a different relationship with the word "pirate" but-- This is not piracy. You are entitled to read wo
58.
by chrismonsanto 10y ago
My experience in publishing (in CS) is that the publisher does not offer assistance in typesetting. Additionally reviewers are not paid for their effort, and are not affiliated with the publisher--they do it out of a sense of duty / pr
59.
by chrismonsanto 10y ago
> x86 is not particularly nasty x86's terrible reputation is well deserved. x86-64 fixes a number of problems, but for most of x86's lifetime we've had to live with 8 registers and the lack of IP-relative addressing... Let
60.
by chrismonsanto 10y ago
I disagree that compiler analysis/optimizations would be considered under 'systems', I would expect that kind of work to be published in PLDI, which is definitely the PL community. Systems is more OSDI/NSDI/SOSP. Me

More ›