munin

29 ms·

211.
by munin 10y ago
I recently re-read 2001 and there was a forward by Clarke that explained something I hadn't known before - the screenplay and the book were developed simultaneously, in a joint collaboration between Kubrick and Clarke. Kubrick wanted C
212.
by munin 10y ago
Whatever kind of person Steve Blank is as a person is being discussed to death in the comments. I think that what this shows is that most people on HN have a lot of scar tissue from bad management. Bad management will say "tell me your
213.
by munin 10y ago
It's worth noting that Cloudflare followed this advice (whether or not they knew they were) and did not roll their own parser, and still, there was a bug. I'm pretty sure that parser correctness and program security is mostly unre
214.
by munin 10y ago
Did you read that article? Do you understand the context it's coming from? This article is a call to grass-feed cows, not stop having cows. Humans can process grains just fine. Humans can't process grass, cows can. Cows have four
215.
by munin 10y ago
What I described is taken directly from a scenario that happened to me personally while working in a neuro-imaging lab. The lab didn't have any research computing support, neither did their department, neither did their college. The
216.
by munin 10y ago
> Why have IT involved in those things? It depends on the context of their use. For example, a neuro-imaging lab wants storage space and processing power. They need to store somewhere between 500GB and 50TB of data they'll gather ov
217.
by munin 10y ago
When you put a lot of your self-worth in your job and you know that the person you're about to call out can have you fired on the spot? So probably almost everyone. It's really hard to call out the boss, especially when you know t
218.
by munin 10y ago
That program has a requirement for writing a "scholarly paper" described here: http://www.cs.umd.edu/grad/policy-manual#7.2.MS-nonthesis-re... This was most likely done to satisfy that requirement to earn a M
219.
by munin 10y ago
DARPA is a funding agency, the only thing they produce are power points. They fund labs and companies that make things. The people that own those labs have this same power too but since they're not as cool as Bezos I guess we don'
220.
by munin 10y ago
A lot of the PVS-Studio analyses are described in enough detail that if someone wanted to, they could implement them as clang checkers. clang is definitely open source, I don't know about "libre" though.
221.
by munin 10y ago
you probably want this? https://en.wikipedia.org/wiki/Brier_score
222.
by munin 10y ago
Even if you can technically walk to something, a person can have a disability such that it is impossible for them to do that. Encouraging them to ditch their car is stupid without giving them an alternative. A grocery delivery service reall
223.
by munin 10y ago
You can have a house in Annapolis that is a 3 mile round trip walk from the nearest grocery store. I invite you to do that walk with asthma in -5C weather with a strong wind while carrying a weeks worth of groceries.
224.
by munin 10y ago
You mis-spelled "iphone."
225.
by munin 10y ago
The TOR network is a network: you can access it using any web browser and the TOR client + a local web proxy. Use Chrome and configure it to use the local web proxy, now you're accessing TOR using Chrome.
226.
by munin 10y ago
Memory management? Every ML implementation I know about uses GC, which is frequently just too slow. Along with many other reasons ( http://www.podval.org/~sds/ocaml-sucks.html )
227.
by munin 10y ago
Thanks for the long reply! I don't have the time continue this. I mostly agree with what you say. I do think that making verification tools easier is something that researchers could and should be thinking about. Probably not verificat
228.
by munin 10y ago
There's more I could write about researchers and their programming skills, but to keep it brief: researchers aren't directly rewarded for being good programmers. It's possible to have a strong research career without really p
229.
by munin 10y ago
Absolutely! For another example, Z3 changes what heuristics it has and which it prefers to use from version to version. What happens when you keep your compiler the same but use a newer Z3? Researchers that make these tools will flatly tell
230.
by munin 10y ago
Google "certified programming with dependent types", "program logics for certified compilers" and "software foundations class". Also, work through the Dafny tutorials, here: http://rise4fun.com/
231.
by munin 10y ago
Thank you! :)
232.
by munin 10y ago
I downvoted you for "grandma friendly." My grandma remembers when LaTeX was "new" and was one of the first people to professionally use computer-based typesetting. What exactly does "grandma friendly" look like
233.
by munin 10y ago
when were we capable?
234.
by munin 10y ago
> and no authentic detectable motivation They're 18. What do you want? What authentic motivation did you have when you were 18?
235.
by munin 10y ago
That's capitalism for you.
236.
by munin 10y ago
> So why tolerate a company behavior that is so harmful to their consumer image? Because they make more money than God? I mean, okay, some customer somewhere is mad at Google abstractly, but not mad enough to stop paying Google (still us
237.
by munin 10y ago
It's weaker overall since "cyber terror" could be continuous. If you wanted to carry out continuous terror attacks you'd need a shitload of dudes to run around with guns and bomb trucks, and you'd need to train, fee
238.
by munin 10y ago
I call this the cyber terror paradox. Consider: 1. Computer systems that run important things (power, water distribution, logistics, financial networks, communication networks, military systems, air traffic control, individual plane/s
239.
by munin 10y ago
Is this abstraction zero-cost? What's the overhead? Can you give me a similar set of primitives to manipulate memory in a temporally safe manner as well? What is the cost of that abstraction? How does it compare to a runtime's GC?
240.
by munin 10y ago
Yes. http://llvm.org/docs/LangRef.html#arithmetic-with-overflow-i... http://llvm.org/docs/LangRef.html#exception-handling-intrins... http://llvm.org/docs/LangRef.html#call-ins

More ›