munin

89 ms·

331.
by munin 11y ago
that is a great presentation. the degree to which everything is asynchronous in NT is awesome. it's a shame techies don't engage with it or dig in to it and just say that linux is better because it has a better shell.
332.
by munin 11y ago
bad news, some math is already illegal: https://en.wikipedia.org/wiki/Born_secret
333.
by munin 11y ago
because they're not user friendly, and my company wants to stay in touch with more than the developers. with slack, we can have all the admin and sales staff in the same virtual space as developers and operations - how easy is it to do
334.
by munin 11y ago
irccloud isn't free, open source, or self hosted, so why not use slack instead?
335.
by munin 11y ago
if only getting external collaborators or non-technical users into IRC didn't involve sending them a 15-step howto on configuring screen and ssh and could be as simple as "check your email and click the link you get" and, if
336.
by munin 11y ago
if I were branding a usability testing website I probably wouldn't name it "the user is my mom" but rather name it "we built a better idiot" or something. boom! now we're not sexist or ageist and it's clea
337.
by munin 11y ago
it costs you nothing to say "less sophisticated user" and it captures the full range of your problem. you're not specifically trying to make your website easy for octogenarians to use - you want it to be usable by everyone, w
338.
by munin 11y ago
> Think a drunk UX expert is the worst challenge you can put your website through? You’re wrong. There’s one thing worse than that: Your mom. Here you can hire someone else’s Mom to torture your website. ugh, vom. can we kill this alread
339.
by munin 11y ago
> the business owner has to face this: if I let the salaries go up, then it will be difficult to bring in entry level people since they won't be able to enter the market Get real, no one was thinking that way.
340.
by munin 11y ago
I think the proponents of proof assistants would say that the proof assistant is also there to help you do reasoning and thinking.
341.
by munin 11y ago
this looks really cool! I think it's weird that the author dings matlab and mathematica for being unable to do counterfactual reasoning. matlab and mathematica are computational tools, they don't do "reasoning" the way t
342.
by munin 11y ago
the strict timeline can be a lie. yeah, on paper, you have a 3 year plan, but it fails most of the time so students wind up taking unpaid years to finish.
343.
by munin 11y ago
it does, you can do this with mcsema today, with some restrictions. i.e. if there are stack variables, it won't reach a fixed point because loads and stores will blow up the size due to a stupid architectural decision. but if everythin
344.
by munin 11y ago
only bob harper would say that the stack is difficult for students to understand but propose structural operational semantics as a solution.
345.
by munin 11y ago
the forensics programs (EnCase, FTK) have a lot of problems but they don't assume that the drive is "windows partitions" though it's possible that they don't deal with ZFS. you would think that national level stuf
346.
by munin 11y ago
if this article makes you angry enough to reconsider re-reading TKAM to attack gladwells arguments point by point, save yourself some time and just read this instead: https://newrepublic.com/article/51326/what-malc
347.
by munin 11y ago
Anyone who wants more of a history of WW2 crypto that extends the cast of characters beyond Turing (and the cast was significant and varied) should read "Battle of Wits" ( http://www.amazon.com/dp/0743217349 )
348.
by munin 11y ago
> In 1929, the Republican (!) Secretary of State rolled up all the old World War I spying operations saying "Gentlemen do not read each other's mail". How far the US has fallen in freedom from the day Stimson uttered those
349.
Software Security Ideas Ahead of Their Time(pl-enthusiast.net)
2 points by munin 11y ago|1 comments
350.
by munin 11y ago
> I'm sure too the funding agencies might wonder about all the overhead needed for a grad school with no one teaching graduate-level courses. Maybe. Maybe not. Probably not. Either way, which would bill more: one 18 person class, or
351.
by munin 11y ago
> when the Senior Research Fellow from DuPont (back from when the fabled Experimental Station was still a thing) who is teaching one really good graduate level course at Penn as adjunct, when this guy walks up to the Chair, saying that h
352.
by munin 11y ago
is this still a problem? from personal experience, the last time I needed pain managed the #1 concern was not getting me addicted, #2 was pain management itself. they were very cautious to start anything "strong" (morphine) and ve
353.
by munin 11y ago
> The military, aerospace industry and once in a while the medical industry will require provable code. Not in the US... but in France, sure.
354.
by munin 11y ago
let's say that I want to do some secure banking, so I fire up the secure banking app and off I go. problem: what if my whole operating system is owned, right down to the keyboard interrupt handler? everything I do with this secure bank
355.
by munin 11y ago
> Honestly I wonder, who the hell buys these overpriced networking appliances? people that need to switch more packets than what you buy off of newegg can handle. edit: oh that and when you have a network of thousands of routers and swit
356.
by munin 11y ago
that's a proof that the system corresponds to a specification though
357.
by munin 11y ago
> You implement a formal spec for a requirement and/or high-level function that takes plaintext as input and outputs ciphertext. this misses the relationship between the size of the plaintext and the ciphertext... edit: part of the
358.
by munin 11y ago
does it? so you can say "yes, we do not allow these ports" or whatever... does that mean it is "secure"? this doesn't check iptables , only the rules that you write using iptables (as far as I can tell) the point
359.
by munin 11y ago
Yes, so what does "secure" look like in TLA+...
360.
by munin 11y ago
> 2. Mathematical spec of those where English ambiguity could effect results. What does a mathematical specification of "secure" look like?

More ›