ASipos

10 ms·

61.
by ASipos 9y ago
Offtopic nitpick: I never understood stuff like writing "forgive spelling" or "sp?" when the correct spelling is a Google away.
62.
by ASipos 9y ago
Downloading fan fiction from fanfiction.net I have written a Python script that builds a HTML out of all chapters of a given fan fiction and then calls Calibre to convert it to MOBI for my Kindle. Unfortunately, my life doesn't have to
63.
by ASipos 9y ago
Scott Aaronson's blog is solid.
64.
by ASipos 9y ago
What's the benefit you get out of implementing an algorithm that you don't get out of reading carefully its correctness and complexity proofs?
65.
New Architecture Needed (John C. Dvorak, 2002)(pcmag.com)
1 points by ASipos 9y ago|0 comments
66.
by ASipos 9y ago
The notes by my OS lab professor, written in Romanian, with self-learning in mind, with detailed explanations of the workings of major system calls and featuring numerous working examples and pitfalls. I might translate them some day and pu
67.
by ASipos 9y ago
A bit of nitpicking: "the function to compute the truth value of a given proof" should be "the function that returns the truth value of a given statement" (1st change because it is confusing to use the word compute in tw
68.
by ASipos 9y ago
Stevens - Advanced Programming in the Unix Environment Love - Linux System Programming The Unix-Haters Handbook (Unfortunately, the best resource ever for this kind of stuff, from which I learned, does not have an English translation.)
69.
by ASipos 9y ago
I tried e ^ (i * pi)
70.
by ASipos 9y ago
> You must be new to earth. explain this
71.
by ASipos 9y ago
I studied SQL as the lab portion of a database design course. The sequel to that course was wholly dedicated to PL/SQL.
72.
by ASipos 9y ago
I guess the stuff about parentheses that's highly confusing in Lisp is that x is different from (x). Outside of that, it's just ordinary grouping.
73.
by ASipos 9y ago
2009 should be added to the title.
74.
by ASipos 9y ago
Also see: https://www.landley.net/history/mirror/os2/history/os220/ind...
75.
OS/2 2.0 LA(os2museum.com)
3 points by ASipos 9y ago|1 comments
76.
Jude Law to Play Young Dumbledore(variety.com)
1 points by ASipos 9y ago|0 comments
77.
by ASipos 9y ago
Also check out OS/2 2.0 Limited Availability: https://www.landley.net/history/mirror/os2/history/os220/ind...
78.
by ASipos 10y ago
More details: http://www.waaytv.com/space_alabama/how-nasa-plans-to-put-bo...
79.
NASA Future Orion Missions and Deep Space Gateway(arstechnica.com)
1 points by ASipos 10y ago|1 comments
80.
Comparison of Prolog and miniKanren (2015)(stackoverflow.com)
3 points by ASipos 10y ago|0 comments
81.
by ASipos 10y ago
Well, always-terminating implies non-Turing-complete, so that's a way to guarantee it. The proof is easy: just set for all n, f(n) to be the nth program in your toy language in lexicographical order and then set for all n, g(n):=f(n)(n
82.
The Shut-In Economy (2015)(medium.com)
52 points by ASipos 10y ago|60 comments
83.
by ASipos 10y ago
Nokia 3410 was a J2ME Series 30 phone.
84.
by ASipos 10y ago
Galaxy Nexus with stock Android 4.x. More precisely, when I bought it almost five years ago I was simply shocked at how much more its UI seemed to have been designed with actual phone use in mind, compared to, say, my former late-Symbian No
85.
by ASipos 10y ago
34.
86.
by ASipos 10y ago
If you want a full answer, check out Schulman's Unauthorized Windows 95 and its sorta-sequel, Pietrek's Windows 95 System Programming Secrets. It's a sprawling exploration of the insides of this OS with the goal of answering
87.
by ASipos 10y ago
For the record, if you upload the TEX, arXiv autogenerates the PDF.
88.
by ASipos 10y ago
Spacebattles
89.
Category Theory by J. Klein(amazon.com)
2 points by ASipos 10y ago|0 comments