| | Galois Video: abcBridge: Functional interfaces for AIGs and SAT solving (galois.com) |
| 2 points by dons on Aug 28, 2010 | past |
|
| | Galois Video: Computers As We Don’t Know Them (galois.com) |
| 3 points by dons on Aug 24, 2010 | past |
|
| | Computers As We Don’t Know Them (video) (galois.com) |
| 1 point by jamesbritt on Aug 24, 2010 | past |
|
| | Galois Video: Developing Good Habits for Bare-Metal Programming (galois.com) |
| 1 point by dons on Aug 11, 2010 | past |
|
| | Galois Video: PReach – distributed explicit state model checking in Erlang (galois.com) |
| 1 point by dons on Aug 9, 2010 | past |
|
| | Galois Video: Performance of Data Intensive, Irregular Applications (galois.com) |
| 1 point by dons on Aug 4, 2010 | past |
|
| | Large-Scale Static Analysis at Mozilla - Galois Tech Talk: Video (galois.com) |
| 24 points by dons on July 10, 2010 | past | 4 comments |
|
| | Galois Tech Talk Video: Large-Scale Static Analysis at Mozilla (galois.com) |
| 11 points by mattyb on July 9, 2010 | past |
|
| | Orc: a concurrent workflow language, now in Haskell (galois.com) |
| 4 points by dons on June 14, 2010 | past |
|
| | Solving n-Queens in Cryptol (galois.com) |
| 25 points by adg001 on April 12, 2010 | past |
|
| | GHC Nominated for Programming Language Award (galois.com) |
| 1 point by adg001 on Jan 13, 2010 | past |
|
| | Shuffling a deck of cards, Cryptol style (galois.com) |
| 12 points by adg001 on Jan 13, 2010 | past |
|
| | Portland, Oct 20: Writing Linux Kernel Modules with Haskell (galois.com) |
| 10 points by rw on Oct 15, 2009 | past |
|
| | Domain Specific Languages for Domain Specific Problems (galois.com) |
| 2 points by dons on Oct 13, 2009 | past |
|
| | Fleet: a radically different architecture for computing (galois.com) |
| 86 points by blasdel on July 26, 2009 | past | 13 comments |
|
| | Commercial Users of FP (CUFP) 2009 schedule released (galois.com) |
| 1 point by bosky101 on June 30, 2009 | past |
|
| | One Million Haskell Downloads (galois.com) |
| 14 points by dons on March 23, 2009 | past |
|
| | Left-fold enumerators: a safe, expressive and efficient I/O interface for Haskell (galois.com) |
| 14 points by eru on March 20, 2009 | past |
|
| | Commercial Users of Functional Programing Presentations (galois.com) |
| 7 points by prakash on Oct 30, 2008 | past | 1 comment |
|
| | Ad Serving in Erlang (galois.com) |
| 2 points by qhoxie on Oct 13, 2008 | past |
|
