dbpokorny

8 ms·

31.
by dbpokorny 11y ago
yeah but none of them can beat Rijisa Mineru the foolish Destroyer of Github
32.
by dbpokorny 11y ago
I'll add autoclave.js to the anythingbot after getting it into a working state...no one else is going to do it, that's for sure
33.
by dbpokorny 11y ago
http://botwillacceptanything.com/
34.
by dbpokorny 11y ago
No, any undergraduate CS major at a top 5 university should be able to do this. It's possible to do this for any programming language. If you need help then it's on p. 161 Theorem 7.2 of Hopcroft and Ullman (1979).
35.
by dbpokorny 11y ago
I haven't used it, but second hand I've heard that the Python version of this concept is "virtualenv". Edit: I probably shouldn't be surprised to learn that second hand information I picked up six years ago at PyCon
36.
by dbpokorny 11y ago
When you say "C" and "Turing machine" in the same sentence, you should immediately think of how you would go about explaining a proof of, say, the fact that a one tape TM can simulate a k tape TM using C. C is just one o
37.
by dbpokorny 11y ago
int read(void); void write(int); void left(void); void right(void); read returns 0 or 1. write only uses the least significant bit.
38.
by dbpokorny 11y ago
> You know how it goes: one moment you're reading or driving, the next you're off in a daze, thinking about what you should have for lunch, or running through to-do lists in your head. There must be a word for this moment, when
39.
by dbpokorny 11y ago
Haha, now we just need the 90 minute ZFC to Scheme compiler (3004) [pdf]
40.
by dbpokorny 11y ago
I found this video on Hungarian math education (elementary) fun to watch: https://www.teachingchannel.org/videos/teaching-elementary-m...
41.
by dbpokorny 11y ago
> you need hooks from the symbol table back into the tokeniser/parser not necessary. you can add a bit of information to each identifier token: is this the name of a type or not? you have to split up one of the parser passes, so if
42.
by dbpokorny 11y ago
> The only time you should actually override __iadd__ is for mutable objects What would the rationale be for such a rule? the docs don't mention anything like that https://docs.python.org/2/library/operator
43.
by dbpokorny 11y ago
What are your thoughts re: adding memory protection to C? (in other words: add a distinction between "pointer bytes" and "raw data bytes" and some rules regarding pointer assignment, arithmetic, and dereferencing that se
44.
by dbpokorny 11y ago
> Note the distinction between birthday and birthdate https://en.wikipedia.org/wiki/Birthday
45.
by dbpokorny 11y ago
Question of clarification: is this the same concept as Python's __iadd__? I was not aware that this was a "thing" in programming language design. http://stackoverflow.com/questions/1047021/overriding
46.
by dbpokorny 11y ago
Sounds fine to me, what changes to a standard tokenizer and parser would you make to carry out your plan? I'm not saying this is a shining example of brilliant programming, but it is in a semi-working state and something "in a sim
47.
by dbpokorny 11y ago
> uniquely identified by birthday, gender, and ZIP code This is not correct; you need to say "full birthday" which includes the year, otherwise the statement is nonsense.
48.
by dbpokorny 11y ago
Redditor, n.: a registered user of the website Reddit ಠ_ಠ
49.
by dbpokorny 11y ago
A wild UC Berkeley CS 61A adventure appears! https://inst.eecs.berkeley.edu/~cs61a/su13/lab/lab06a/lab06a... You can stick your pseudocode into the "give" function: https://inst.eecs
50.
by dbpokorny 11y ago
1. > I also need a word about definitions. What do we mean by “more powerful” or “less powerful” languages? In this article, I mean something roughly like this: “the freedom and ability to do whatever you want to do”, seen mainly from th
51.
by dbpokorny 11y ago
Go to http://www.html5rocks.com/static/demos/evalbox/index.html type in console.log("foo") and click either button. It has access to the console even from the sandbox. Is there a way to say
52.
by dbpokorny 11y ago
> Safe Tcl does not attempt to completely prevent annoyance and denial of service attacks. These forms of attack prevent the application or user from temporarily using the computer to perform useful work, for example by consuming all ava
53.
by dbpokorny 11y ago
First of all, I didn't mean my FUD remark to be vitriolic. I disagree that it is more work in total; I don't think you're taking into account the work that will no longer have to be done, namely work spent searching for cross
54.
by dbpokorny 11y ago
I think running code from an untrusted source or semi-trusted source is an underdeveloped area that will bear fruit in the future, but I think the gains will be long-term rather than short-term. Today we live in a world where the source cod
55.
by dbpokorny 11y ago
> Because they shackle implementations too much I disagree on one count, and on the other count I don't understand, so I'm requesting clarification. First, the current fashion in programming languages is to allow an implementat
56.
by dbpokorny 11y ago
As far as the intersection of (innovation in web technology) and (innovation in programming languages) is concerned, I think the focus on performance is like going backwards in time, perhaps to the mid 90s. I feel like these innovations are
57.
by dbpokorny 11y ago
> we developers keep solving problems we would not have without developers I genuinely don't understand. Do you not consider the organizational problems of society to be worth solving?
58.
by dbpokorny 11y ago
I'm surprised that HN hasn't applied some version of the standard critique of Capitalism already. It's practically de rigueur in fashionable intellectual circles. And in this case it's so easy, an amateur like me can mak
59.
by dbpokorny 11y ago
Pushing hard on moderator tools. In the short term, Reddit should watch its moderators, look for usage patterns, and build systems to reduce moderation effort. In the long term, Reddit should develop artificial moderation (AM). Reddit is th
60.
by dbpokorny 11y ago
> keeps us within the fences of the neoliberal capitalist paradigm That's because the original practices and teachings have been adulterated and heavily re-contextualized. The original context is extraordinarily hostile to Communism

More ›