Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
munin
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
68 ms
·
631.
▲
by
munin
13y ago
I was sitting in the airport waiting for a flight today for two hours and heard NSA discussed on the news channel at least once an hour. this was on whatever local news channel for seattle they had in seatac, so, maybe you just have tuned o
632.
▲
by
munin
13y ago
> history shows much greater returns from HUMINT. except that signals intelligence won the battle of the north atlantic and the battle of the pacific and secured an allied victory over the axis powers in the second world war.
633.
▲
by
munin
13y ago
> the author is refering to algotithm memorization, where the exam is testing your ability to reproduce the process of solving the problem. and none of the higher-level courses I took in math or CS rewarded that either
634.
▲
by
munin
13y ago
what you say is false, EO12333 expressly forbids this with the following: "2.12 Indirect Participation. No element of the Intelligence Community shall participate in or request any person to undertake activities forbidden by this Orde
635.
▲
by
munin
13y ago
citizen censorship is so ironic
636.
▲
by
munin
13y ago
"The Government" is a huge employer with a massive installation base of Windows systems, many of which contain sensitive information wanted by well motivated attackers. They would be keenly interested in new threats to those syste
637.
▲
by
munin
13y ago
This is very different from your original (hysterical, sensational) claim that MSFT is giving the government "zero days" to "hack people with".
638.
▲
by
munin
13y ago
Or, they have a MAPP[1] subscription. You too could have information about bugs in Microsoft software before the fix has been released, if you could become a MAPP partner or subscriber. 1. http://www.microsoft.com/security&#
639.
▲
by
munin
13y ago
> I have just finished high school and I feel like I don't know why 2 + 2 = 4 To be fair, axiomatizing integer arithmetic has been attempted (unsuccessfully) by intellectual titans like Godel, Russel, and Whitehead, and is nowadays
640.
▲
by
munin
13y ago
> (I have heard Chinese graduate students in the United States, students in nonquantitative subjects, deride the mathematics section of the GRE general test used for graduate school admission as a test of "junior high math," an
641.
▲
by
munin
13y ago
unless they were doing longevity research
642.
▲
by
munin
13y ago
it's in C. as it was explained to me once, the compiler team asked the kernel team if they would be fine fixing C support at C89 and the kernel team said "sure". being the largest and most important consumer of the compiler (at the time, po
643.
▲
by
munin
13y ago
If you read the WRK, ntoskrnl is all C...
644.
▲
by
munin
13y ago
writing optimizers in C is much harder than in Fortran because of reduced abstractions and reasoning about memory and pointers. in Fortran they were working on making automatic multi-threaded optimizations where you would write Fortran and
645.
▲
by
munin
13y ago
what you say is true, but it is probably more effective and easier to network with the organizers than to be good at pitching. that's not a bad thing! networking with the organizers will probably get you more job opportunities and open othe
646.
▲
by
munin
13y ago
IME, at industrial conferences, your pitches get accepted if you are friends with the organizers, or if someone who is friends with the organizers vouches for you to the organizers or co-presents with you. That's about it.
647.
▲
by
munin
13y ago
does the X220 really take 16gb of RAM? crucial.com says it only takes 8, how did you do that? The x230 takes 16gb...
648.
▲
by
munin
13y ago
if this view was correct, then surely countries with even harsher penalties for breaking the law, such as even worse prisons or death, would have less crime than the united states, right?
649.
▲
by
munin
13y ago
what, really? I work either with kernel and system level code in C, or program analysis logics written in ocaml or c++. I've done that kind of programming for about ten years. so I should seriously be able to look someone who has done web d
650.
▲
by
munin
13y ago
you don't understand, facebook is doing this for the benefit of their users/customers
651.
▲
by
munin
13y ago
while not Enigma related, Marian Rejewski and his colleagues, if I remember right, reconstructed physical Enigma (pre-war, 3 wheel) machines only from analysis of encrypted traffic, beating the French and English mathematicians working on t
652.
▲
Type Safety in Three Easy Lemmas
(siek.blogspot.com)
2 points
by
munin
13y ago
|
0 comments
653.
▲
by
munin
13y ago
> Then the entertainment industry has enemies actively trying to destroy their systems. so to be fair this is actually where we are today, if you remember the efforts of anonymous and sony, etc...
654.
▲
by
munin
13y ago
"...there are increasing calls for creating a more permissive environment for active network defense that allows companies not only to stabilize a situation but to take further steps, including actively retrieving stolen information, alteri
655.
▲
by
munin
13y ago
society (generally) demands that criminals be held responsible for their actions, especially when those actions result in tens of thousands of violent deaths. society (seems to) believe that the presence of organized criminal organizations
656.
▲
by
munin
13y ago
our business unit came under new management after I had been there for four years and new management had different priorities. a lack of degree hadn't been a problem before, and it hasn't been a problem since. my lesson from that though was
657.
▲
by
munin
13y ago
I'd just like to add that I definitely think I've seen the light and believe that this is the way forward, I just don't think that having nullable values is a dealbreaker when it comes to memory safety, because even if you don't have nullab
658.
▲
by
munin
13y ago
thanks for this reply, it's super informative! I've done a fair amount of ocaml programming but not as much as I would like with Core. Or_error looks really nice. I think I underestimate the benefits that come with reducing the surprise in
659.
▲
by
munin
13y ago
those are both big advantages, but neither of them make dealing with the errors easier or more predictable as far as I can tell. it would definitely constrain the locations in your code where there could be surprise though and maybe that's
660.
▲
by
munin
13y ago
Yeah, I just think that at every point in your program where you will have a Maybe the failure case could be as inelegant to program execution as raising an uncaught NullPointerException, and escaping that involves a lot more work than usin
More ›