Quote:
Originally Posted by MrWooster
When I tried to learn a bit about buffer overflows and so forth I wrote C and compiled it and looked at the ASM. Pretty fun stuff actually, especially if you play around with different Ox flags.
It's actually a very good learning exercise for anyone interested in learning ASM. Write some basic control structures, hello world whatever in C and compile it.
I really enjoyed doing reverse engineering hackmes. Maybe I should do some of those again. I had no clue about ASM, read some 1337 tutorials and cracked away...kinda zen like reading through hex dumps or ASM code trying to spot some patterns and then reversing loop logic or 0x90-ing stuff.
Unfortunately I think I retained about 5-10% of that knowledge tops
Quote:
Originally Posted by daveT
Oh, man, now I want to learn Prolog...
Question: Are they still doing research into aligning logic programming's use of logic to mathematical logic? I assume they are, but has any interesting progress been done on this? Not talking about SAT-level logic, just the basic stuff like NOT, etc.
May I ask why you want to learn Prolog? Automated theorem proving and so forth used to be pretty big but these days I think constraint programming is the big application (I may be wrong on this but I think the better theorem provers these days are based on functional languages, specifically I remember there was a pretty potent one in Haskell). I dunno how much you know about Prolog but it basically is logic.
Pseudocode kind of looks like this
AND
Quote:
Conclusion :-
Premise 1,
Premise 2.
OR
Quote:
Conclusion :-
Premise 1.
Conclusion :-
Premise 2.
The language is based on
Horn Clauses and backtracking search.
Last edited by clowntable; 10-11-2012 at 04:54 AM.