munin

28 ms·

181.
by munin 9y ago
It isn't clear that this has immediately useful applications, so probably nothing lost. Automatic fix projects are scary in industry. What if you had a co-worker that had 80% of their contributions rejected during code review? That cow
182.
by munin 9y ago
> So the federal government hires contractors to handle classified data even though doing so makes it structurally impossible to secure classified data. Why? What's the difference between a contract employee and a government employe
183.
by munin 9y ago
Some people organize their deck with an end slide and then an "appendix" of backup slides with figures that might be relevant during Q&A but don't really have a role in the flow of your presentation. Of course, they could
184.
by munin 9y ago
> Could you imagine being the manager assigned to watch such employees? What do you think they do with the managers they want to fire? ;)
185.
by munin 9y ago
> and that unsychrnoised concurrent access to data structures will not cause errors Python doesn't ensure that unsynchornized concurrent access to data structures won't cause errors. As I understand and experience Python multit
186.
by munin 9y ago
It's not even true in chess, centaurs stopped winning against machines unless the human half does nothing and just lets the machine play. There are centaur matches on the schedule this week for AlphaGo, so that should be interesting. e
187.
by munin 9y ago
You can close all of those. You can have large amounts of your verifier itself be verified. You can verify the CPU design (hardware people tell me this used to be standard, and a lot of the formal methods community has roots in verifying ha
188.
by munin 9y ago
This is a gap in this kind of verification work. Systems like coq get around this by having a facility to "extract" code from the proof itself. You would define your algorithm as a Fixpoint, prove properties of that Fixpoint, then
189.
by munin 9y ago
Indeed, instead of reading anything I wrote one should probably read what the experts think: https://lawfareblog.com/bombshell-initial-thoughts-washingto...
190.
by munin 9y ago
The system of designating information as confidential, secret, top secret and so on is indeed established by an executive order (EO 12356) however, one should actually read 12356 because it isn't as simple as "has ultimate control
191.
by munin 9y ago
Technically, you just need fine-grained enough measurement of the request/response delay, since you could probably use time of response to measure how many instructions had been executed in response to your fuzzed input. Over the inter
192.
by munin 9y ago
That would also require re-doing all of mathematics in a constructive setting, which is a great idea as far as constructivists are concerned but it has both political and technical opposition. It's also the case that a proof in Coq doe
193.
by munin 9y ago
I started exercising when I was working full time and going to school part time. It was a lot of work and it was very stressful because neither work or school knew (or cared) about the different demands they would place on my time, so I spe
194.
by munin 9y ago
They should have just re-branded to qwikster.
195.
by munin 10y ago
> DARPA generally doesn't pay contractors anything like what the private sector pays employees. Eh. You can get like a $200/hr rate. If you're a small company with low overhead, you can get paid quite competitively with th
196.
by munin 10y ago
Oh it's worse than that, it's what you know and who you know.
197.
by munin 10y ago
Honestly there is a truth and a super-truth, to use theater terms. The truth, is that you should look at the Broad Agency Announcements (BAAs) that DARPA, specifically the Information Innovation Office (I2O) makes. There will be big PDFs th
198.
by munin 10y ago
I've been funded by DARPA in one way or another and DARPA is not big science. DARPA is an applied R&D agency, meaning they want to see a path from what you are talking about to some broad application, preferably in the military spa
199.
by munin 10y ago
I blame the ad blocker / ad network arms race.
200.
by munin 10y ago
reddit, imgur, news sites. It was via an ad delivered over an ad network, so who knows really.
201.
by munin 10y ago
My wife has a PhD and ran up to date Firefox with noscript, Flash disabled, and ad-blockers, uses webmail, and doesn't install software or download executables in general. She still got hacked, due to a bug in Firefox that was exploite
202.
by munin 10y ago
This is awesome. I didn't even really see what was happening until it was too late. If you enjoyed that you might enjoy the structure of the proof of the complexity of type inference for \-calculus: http://www.cs.brandeis.ed
203.
by munin 10y ago
> how often does your ISP-provided IPV4 address actually change? About once a week. This also presupposes that every customer of your home automation gets an external IP address with a router they control. What if you don't? What if
204.
by munin 10y ago
peachfuzz, quickfuzz, dharma, grammfuzz. They get done a bunch and usually people wind up re-inventing lisp to make a data specification DSL, then write some generators around it and call it a day. The generation strategy usually winds up b
205.
by munin 10y ago
I think that this is because QC can work with much richer types than fuzzers have access to. Think about the Haskell data types you know, and imagine automatically generating them. Sounds pretty easy with some algorithm, right? Now think ab
206.
by munin 10y ago
There's a great story that Tommy Flowers tells in the book about COLOSSUS, which is that when COLOSSUS was declassified and published (sometime in the 80s) almost nobody cared, because history had already been written describing what t
207.
by munin 10y ago
why does a budget conscious network admin need audio and video surveillance through people's computers? wouldn't the business just install some cameras? this tool was made for sextortion, marketed to predators, and the author is s
208.
by munin 10y ago
Don't forget Allo in the mix, from Google, that could replace Hangouts! Take a product people use, and replace it with something people don't, then replace that with something that people also don't use.
209.
by munin 10y ago
> So simple yet thousands of others passed over it. is that true? how do you know?
210.
by munin 10y ago
> 2 decades+ professional experience in the field counts for nothing in terms of meeting educational requirements Yeah, professors have experience with people like this. They're the students that stop lecture to ask a 5 minute long

More ›