dbpokorny

16 ms·

91.
by dbpokorny 12y ago
Academia in the USA has been a joke since 1949 when the loyalty oath was instituted. Since then, the entire academic sector has been R&D for the military industrial complex. Professors are not to be trusted. They have been working in a
92.
by dbpokorny 12y ago
c++ LOL! I love it. Thank you so much. I don't mean to hate on C++ too much. much love!
93.
by dbpokorny 12y ago
This is great. Founders need to see this.
94.
by dbpokorny 12y ago
Thanks for the quick reply! Would you be willing to provide some more details about your service? Just so I understand: I can just upload my C code and you will run it...can you tell me how to do that? As in, prove that this is possible by
95.
by dbpokorny 12y ago
C, you need C. Otherwise it's just a toy.
96.
by dbpokorny 12y ago
I'm claiming that there is a very serious flaw in the argument, and these remarks do not address the flaw I have brought up.
97.
by dbpokorny 12y ago
"Who cares that this abstract object exists?" The form of this question is "Who cares about X?" so I would put this back to you, "who cares about answers to questions of the form, 'who cares about X?'?&quo
98.
by dbpokorny 12y ago
There will likely not be one, at least in the short term, as there are plenty of scheme-to-C compilers out there.
99.
by dbpokorny 12y ago
Top Google result for Felix: http://spin.atomicobject.com/2013/05/02/chicken-scheme-part-...
100.
by dbpokorny 12y ago
No, your argument is wrong. The infinite number of prisoners find that it is impossible to express the sequence of all of the hat colors in their native language in a finite amount of time, which is a fundamental limit of formal languages.
101.
by dbpokorny 12y ago
I'm a Python / Scheme / JavaScript programmer, and I've touched C++ once, to implement a generic list, and I spent a grand old afternoon chasing template errors. I think I actually got the thing to work, but it was more
102.
by dbpokorny 13y ago
This is great, but it could be so much more. For example, you could split the project in 2 (or perhaps simply clone it) with the other half working on the K-12 market. You see, this would be the ideal learning tool for a teacher-student tut
103.
by dbpokorny 13y ago
About 20 years ago a small startup called Netscape and a large company called Sun were supposed to have solved the software problem. Everybody was predicting the demise of Microsoft. It was thought that with the internet, we would soon be d
104.
by dbpokorny 13y ago
[x] Code can be shared without compromising security This is made possible with... * compile-time memory protection * automatic memory management * compile-time data access restrictions (mark struct members as read-only) * divide programs i
105.
by dbpokorny 13y ago
I replied with a blog post, which goes into detail regarding what I believe is the single, critical aspect that is currently holding up innovation in spreadsheet technology: the ability to run untrusted code without compromising security.
106.
by dbpokorny 13y ago
If aliens were to arrive, they would probably ask our university professors why the economic system has a single point of failure. And then after a while they would ask us why we are driving around in motor vehicles powered by a non-renewab
107.
by dbpokorny 13y ago
1. Pablum 2. Pablum 3. Pablum 4. Pablum 5. Pablum 6. Pablum 7. Pablum 8. Pablum 9. FIGHT THE MATRIX 10. Pablum I like this guy :)
108.
by dbpokorny 13y ago
> Whose life am I living? I'm sure you ask yourself that kind of question from time to time. What am I really good at? What is the purpose of my work? These are not new questions. Sooner or later, we all seek answers to them. This r
109.
by dbpokorny 13y ago
I wrote down some thoughts on this subject. http://dbpokorny.blogspot.com/2013/07/permission-based-progr...
110.
by dbpokorny 13y ago
A general point: learning higher mathematics is still quite difficult today, in part because there is a chasm between how easy it is for a computer to give feedback when a student learns programming vs. how difficult it is for a computer to
111.
by dbpokorny 13y ago
For anyone who is interested in LSD and/or DMT, I highly recommend heading over to reddit.com/r/lsd or reddit.com/r/dmt. Long and short of it is, yes, these drugs can change your life, yes, these drugs can fuck up y
112.
Isabelle - Generic Proof Assistant(cl.cam.ac.uk)
2 points by dbpokorny 14y ago|0 comments