ZephyrP

12 ms·

91.
by ZephyrP 9y ago
That is bizzare. Is there any way to view historical justifications of this? Ulrich Drepper is undoubtedly worthy of a Wikipedia page. I'm starting a draft page now - https://en.wikipedia.org/wiki/Draft:Ulrich_Drep
92.
by ZephyrP 9y ago
I like your Prolog solution! I thought I'd take a crack at a Python SAT-solver solution, also done in less than 1 second. from z3 import * # we use '-1' for empty instance = ((-1,-1,-1,-1,-1,1,-1,-1,-1,1),
93.
by ZephyrP 9y ago
I explored this issue many years ago and, at least at the time, it was my understanding that for many motherboards it's simply not possible to introduce unsigned code through software alone.
94.
by ZephyrP 9y ago
A common thing to do here is to virtualize 9front, connect back to a VNC window hosting Chrome. It sounds really janky but it's genuinely difficult to tell that you're not inside Chrome -- people have even asked "How in
95.
by ZephyrP 9y ago
It does, Vim is available through pkg on 9Front and works really well. The only thing I would say is that `:Ex` works a little funky (although generally quite well). Furthermore there exists "A Posix Emulator" (ape) that is servic
96.
by ZephyrP 9y ago
I did a stint in a state-operated group home for boys in 2006 and we definitely did not 'grow our own vegetables'.
97.
by ZephyrP 9y ago
I think there is something deeply funny about reading a discussion on how someone else is an "Intellectual Yet Idiot" and then watching them immediately turn it around with a bizarre seed-funding analogy (you might even say an app
98.
by ZephyrP 9y ago
I played it on a 250$ (and years old) desktop when .kkreiger came out and it worked great.
99.
by ZephyrP 9y ago
I put my project (a small, windows-only WEP cracker for a very specific wireless device) on SourceForge "for free" -- it was a huge hassle to be sure, having to upload new versions with FTP and so on. It was free and 'gatek
100.
by ZephyrP 9y ago
I have heard that Electrons move about a millimeter second (although electromagnetic emanations propagate at the speed of light). This is allegedly the benefit of 'optical' computing.
101.
by ZephyrP 9y ago
This must be the single most common use of nginx, I'm totally blown away that someone as prolific as you has never heard of it.
102.
by ZephyrP 10y ago
Donald Knuth recently released the latest chapter of 'The Art of Computer Programming' and decided to tackle the topic of Satisfiability & SAT solvers ( @ https://www.amazon.com/Art-Computer-Programming-Fascicl
103.
by ZephyrP 10y ago
You still need all of these things. An x64 Intel Processor manufactured in 2017 still boots into real mode at startup exactly like the original did 30 years ago. Complete with segmented mode without memory protection, multitasking, or code
104.
by ZephyrP 10y ago
Like you, I am also down with OTP (yeah u kno me) and thats why I have to come to you with a harsh message of love: You've been bamboozled. {ok, u_no_me, {down_with, init, [State, Mod, OtherMod, Pid, SomeImportantRefIforget]}, {p
105.
by ZephyrP 10y ago
This keeps happening to me! I wrote a fairly obscure remark about SICP on HN and 2 days later I was on reddit with one of the top comments as my exact comment. Some kind of spamming operation? I have no idea.
106.
by ZephyrP 10y ago
Sarabander's edition is definitely a huge credit to it's author: It isn't just a reprint of SICP; The text and it's font has been updated, many of the diagrams have been redone for clarity and the document and footnote
107.
by ZephyrP 10y ago
Just wait until you get a load of Emacs.
108.
by ZephyrP 10y ago
In San Francisco at Foods Co (Folsom & 14th), a gallon of milk is presently $2.49.
109.
by ZephyrP 10y ago
In some languages, a function can be defined multiple times with different signatures (multiple 'heads'). It will try each clause until it finds one that matches, allowing you to filter or change course on the basis of the value o
110.
by ZephyrP 10y ago
that's cheating! we want the power to instinctively tell how many seconds have elapsed. maybe even what time it is.
111.
by ZephyrP 10y ago
I finished it up a few months ago and I cannot recommend it enough. The real soul of SICP is in it's exercises however. It asks you to build on your own prior work in inventive ways, challenging you to solve the exercises correctly, bu
112.
by ZephyrP 10y ago
This is actually a common misconception perpetuated by zealous Scientific American reporters (and cognitive scientists :) . Many complete, consistent self-justifying axiom systems exist today. Formal verification schemes employing metamathe
113.
by ZephyrP 10y ago
Alright, total stream of thought here: Guile is cool, if possibly immature. To this day, the largest project I've done in Guile was the entirety of the exercises short of Chapter 5 in SICP, wrote unit tests for the interpreter and the
114.
by ZephyrP 10y ago
Likewise, my introduction to computer programming came in the form of StarLogo (a now wildly changed Logo derivative) in the 6th grade while the 2004 election was winding up. Despite the many years it's been since I've used Logo,
115.
Do there exist interest oriented job boards?
6 points by ZephyrP 10y ago|1 comments
116.
by ZephyrP 10y ago
Dude, I agree with you and your posts here made me very seriously question my next admin theme buy from wrapbootstrap (great site by the way). You can be more diplomatic.
117.
by ZephyrP 10y ago
Pretend model checking is an exciting new field born from frustrations with actually model checking large amounts of code that accepts somewhat arbitrary inputs and uses (large) loops. After enough neologisms like 'symbolic execution&#
118.
by ZephyrP 10y ago
Whoa whoa whoa. "Only" exploit developer? https://github.com/zv/otp I was writing the fuzzing machinery for the BEAM instruction decoder AND EPMD while you were ... doing much more impressive stuff. Besides p
119.
by ZephyrP 10y ago
Damn why aren't you in San Francisco! I've wanted to work for you guys for months! Expand faster!
120.
by ZephyrP 10y ago
I was equally baffled

More ›