dtornabene

10 ms·

61.
by dtornabene 6y ago
A Couple of comments here on "this isn't an introduction, its a book!!", for anyone who checked here first, that is the title of the book, and while I can't speak to Smith's coverage, if you're going to &quot
62.
by dtornabene 6y ago
because the test binaries they used were not really close enough to reality to test finding real vulnerabilities. and BAP can, which, if you want to learn static binary analysis, seems useful
63.
by dtornabene 6y ago
You're correct on the Cousot text, thank you. I stand by the assertion that if people want to go beyond the simple PA described in the article a far better and more approachable text is the binary analysis one I listed. Practical hand
64.
by dtornabene 6y ago
Going to drop a toplevel comment and say while this is interesting (sincerely!) if people are interested in deeper tools/techniques the book Practical Binary Analysis is excellent, it ends in taint checking, symbolic excution technique
65.
by dtornabene 6y ago
I would not recommend POPA to people wanting to go down this road, its an extremely difficult text. Personally, just my 2 cents here, a far more useful text would be Practical Binary Analysis, https://practicalbinaryanalysis.co
66.
by dtornabene 7y ago
would love to see a couple of detailed comments on this directly as well, I know that one of yall is a maintainer of an analyzer, maybe just some general discussion on beginning to learn C while at the same time incorporating a static anal
67.
by dtornabene 7y ago
I'm a logician and the Feynman lectures were incomprehensible when I tried to work through them. I for one am glad to see people pushing students toward more approachable texts.
68.
by dtornabene 7y ago
I hate to break it to you man but you don't need to be Mother Teresa to critique other peoples contributions.
69.
by dtornabene 7y ago
yeah I caught that as well. "less than men" is a pretty good tell that this is going to be pure wankery. I appreciate his lisp books (I've told him so, publicly, in a room of about 2k people) but this is laughable. Of a pie
70.
by dtornabene 7y ago
yes, you can. Its called being a bouncer. I did it for 15 years. You don't kick and punch, and the video show quite clearly that the staff were simply trying to eject him.
71.
by dtornabene 7y ago
hadn't seen this one yet and just got a zero, thanks for posting this
72.
by dtornabene 7y ago
they're also more commonly used in security tooling
73.
by dtornabene 7y ago
"these people" have been in free software for decades champ. I met Chris Webber in chicago, at free software events literally 10 years ago. Andy Wingo is similarly long term involved. Keep eliding everything actually about this
74.
by dtornabene 7y ago
I'm going to go with: So women can participate without having to be asked out on dates? So they don't feel harassed? You want to run cover for people do it in your own org man. This is beyond obtuse.
75.
by dtornabene 7y ago
yeah, the only way this makes sense is if you slide right past the "multiple conferences" part in the comment rooting this thread( which, apparently, you are). And of course also the "multiple women have come forward" pa
76.
by dtornabene 7y ago
I'm not sure how you're getting any kind of round statistics here. especially since its well known that most people who suffer harassment never report it, never say anything, for precisely the reasons being demonstrated on this th
77.
by dtornabene 7y ago
the ability for women to be able to contribute and simply be a part of the free software community without harrassment does not fall under "no real bearing on the project", just so we're clear here.
78.
by dtornabene 7y ago
For anyone coming to this, I can't speak for all of the people on that list, but the ones that I've met personally, over a decade now in the free software world, are decent caring people actually following the creed of freedom to
79.
by dtornabene 7y ago
of course they don't. because there isn't any . These people, some of whom, like Andy Wingo and Chris Webber, have been doing this for well over a decade. its asinine.
80.
by dtornabene 7y ago
I can tell you for a fact that Chris Webber, one of the signers on that list, does indeed give a fuck about personal freedom as much as stallman does. Indeed it is precisely because these people believe in such freedom that they are stand
81.
by dtornabene 7y ago
how, exactly, is this a part of "humanit's right to reasonable progress" whatever that is supposed to mean. And for the record, the article is wrong, the reason this is an issue, now, is that GM (and Ford, and Chevy) forced
82.
by dtornabene 7y ago
maybe you should do more than watch a youtube clip. Maybe talk to or g-d forbid, read the interviews with the striking workers who do this labor for hours on hours on their feet.
83.
by dtornabene 7y ago
Yeah, uh ctrl-f "buybacks" as in, stock buybacks. This has very little to do with electric cars, but I'm not sure you're going to get that from MarketWatch
84.
by dtornabene 7y ago
yeah, uh, these are not the same, at all. Chomsky did not do a holocaust denial, Chomsky isn't the one whose speech was under a microscope, he was the one standing up for the right do socially unpalatable scholarship (or whatever you c
85.
by dtornabene 7y ago
totally good faith dynamic there, calling it fake news/mass hysteria. great stuff man, real contribution to the conversation. G-d forbid other people be pissed about this.
86.
by dtornabene 7y ago
Yeah, people have and had problems with common-lisp-controller, I certainly have. That being said I'm not one to turn to the arms of C to solve an environmental problem, not when it can be done correctly, if with effort, from the host
87.
by dtornabene 7y ago
So, due to someone taking the time on irc, I managed to get Lem installed on a box at some point recently sans roswell. It doesn't actually depend directly on it, though I think there are some things built on Lem that use roswell.
88.
by dtornabene 7y ago
This is an excellent talk.
89.
by dtornabene 7y ago
- Implementations are written in Lisp all the way down. You can immediately jump to the definition of anything at any depth, and often edit or redefine to taste. (Example, I improved SBCL’s integer square root in my live image, and submitte
90.
by dtornabene 7y ago
Adding my own disagreement about using either portacle or roswell. If you're running literally any widely used Linux distro, or {Free|Open}bsd you are a package install away from a working common lisp install. I've seen this come

More ›