Timeline for Reason to learn propositional & predicate logic
Current License: CC BY-SA 3.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 13, 2017 at 12:48 | history | edited | CommunityBot |
replaced http://cs.stackexchange.com/ with https://cs.stackexchange.com/
|
|
| May 28, 2012 at 8:28 | comment | added | JeffE | @UdayReddy: I don't doubt that Microsoft researchers have made fundamental progress, or that the BSOD is much less common than it used to be. But "endangered species" is unsupported hyperbole; faulty code is not the only source of crashes. | |
| May 28, 2012 at 7:53 | comment | added | Uday Reddy | @JeffE Mac's are close-coupled systems, where everything from the machine architecture to application programs are decided by one team/organization. Windows systems are open, where a variety of manufacturers and teams provide solutions that plug together, relying only on the standards and interfaces that have been specified (often loosely and vaguely). They are much more of a challenge to Computer Science. The Microsoft teams that developed the theorem proving/static analysis techniques to do this safely have made fundamental advances to our field. | |
| May 28, 2012 at 1:24 | vote | accept | IsaacS | ||
| May 4, 2012 at 12:39 | comment | added | Guy Coder | Good reply ... :) | |
| May 4, 2012 at 12:37 | comment | added | JeffE | I've never seen one. I use a Mac. | |
| May 4, 2012 at 12:33 | comment | added | Guy Coder | @JeffE If you are looking for a citation, I instead present actual evidence. When was the last time you saw one? :) | |
| May 4, 2012 at 12:06 | comment | added | JeffE | endangered species [citation nee— Segmentation fault. Core dumped. | |
| May 2, 2012 at 19:15 | history | answered | Guy Coder | CC BY-SA 3.0 |