oldgradstudent

104 ms·

1. 1081.▲
   by oldgradstudent 9y ago

   Broadcom was acquired by Avago, which then changed its name to Broadcom.
2. 1082.▲
   by oldgradstudent 9y ago

   In a panic (which happens periodically) a lot of people try to convert at once. But there's no central bank to bail them out.
3. 1083.▲
   by oldgradstudent 9y ago

   Formal verification techniques can be very useful, especially for finding deep, often insanely complex bugs. The process of developing the proof can produce a lot of insight about the system and expose hidden assumptions that were never con
4. 1084.▲
   by oldgradstudent 9y ago

   This is an excellent blog post. If you believe a proof of correctness produced by a formal verification tool, I have a bridge to sell you. For a proof of correctness, you need to model the environment, and write a specification or a golden
5. 1085.▲
   by oldgradstudent 9y ago

   The Technion in Israel still teaches PDP-11 assembly language in its computer organization course -- using an simulator, of course. It's a nice, simple, orthogonal instruction set. The textbooks are available. Why change? Here's t