equal
deleted
inserted
replaced
593 other heavy-duty programming language) |
593 other heavy-duty programming language) |
594 <li>Anything related to programming languages and formal methods (like |
594 <li>Anything related to programming languages and formal methods (like |
595 <A HREF="http://matt.might.net/articles/intro-static-analysis/">static program analysis</A>) |
595 <A HREF="http://matt.might.net/articles/intro-static-analysis/">static program analysis</A>) |
596 <li>Anything related to low-cost, hands-on hardware like Raspberry Pi, Arduino, |
596 <li>Anything related to low-cost, hands-on hardware like Raspberry Pi, Arduino, |
597 <A HREF="http://en.wikipedia.org/wiki/Cubieboard">Cubieboard</A> |
597 <A HREF="http://en.wikipedia.org/wiki/Cubieboard">Cubieboard</A> |
598 <li>Anything related to unkernel operating systems, like |
598 <li>Anything related to unikernel operating systems, like |
599 <A HREF="http://www.xenproject.org">Xen</A> or |
599 <A HREF="http://www.xenproject.org">Xen</A> or |
600 <A HREF="http://www.openmirage.org">Mirage OS</A> |
600 <A HREF="http://www.openmirage.org">Mirage OS</A> |
601 <li>Any kind of applied hacking, for example the Arduino-based keylogger described |
601 <li>Any kind of applied hacking, for example the Arduino-based keylogger described |
602 <A HREF="http://samy.pl/keysweeper/">here</A> |
602 <A HREF="http://samy.pl/keysweeper/">here</A> |
603 </ul> |
603 </ul> |
617 </TD> |
617 </TD> |
618 </TR> |
618 </TR> |
619 </TABLE> |
619 </TABLE> |
620 |
620 |
621 <P> |
621 <P> |
622 <!-- hhmts start --> Last modified: Mon Nov 30 23:56:28 GMT 2015 <!-- hhmts end --> |
622 <!-- hhmts start --> Last modified: Thu Dec 3 11:37:24 GMT 2015 <!-- hhmts end --> |
623 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
623 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
624 </BODY> |
624 </BODY> |
625 </HTML> |
625 </HTML> |