Hacker News
- Galois releases the Haskell Lightweight Virtual Machine (HaLVM) http://www.galois.com/blog/2010/11/30/galois-releases-the-haskell-lightweight-virtual-machine-halvm/ 16 comments
- Large-Scale Static Analysis at Mozilla - Galois Tech Talk: Video http://www.galois.com/blog/2010/07/09/galois-tech-talk-video-large-scale-static-analysis-at-mozilla/?ftw= 4 comments
- Combining languages and SMT solvers : an EDSL study :: PDF http://www.galois.com/~dons/talks/dons-wg2.8-texas.pdf 4 comments haskell
- The Rubinius Virtual Machine. Tech talk at Galois. http://www.galois.com/blog/2010/11/22/tech-talk-the-rubinius-virtual-machine/ 9 comments programming
- Galois releases the Haskell Lightweight Virtual Machine (HaLVM) http://www.galois.com/blog/2010/11/30/galois-releases-the-haskell-lightweight-virtual-machine-halvm/ 7 comments coding
- Galois releases the Haskell Lightweight Virtual Machine (HaLVM) http://www.galois.com/blog/2010/11/30/galois-releases-the-haskell-lightweight-virtual-machine-halvm/ 10 comments programming
- Galois releases the Haskell Lightweight Virtual Machine (HaLVM) http://www.galois.com/blog/2010/11/30/galois-releases-the-haskell-lightweight-virtual-machine-halvm/ 25 comments haskell
- Galois Video: Developing Good Habits for Bare-Metal Programming http://www.galois.com/blog/2010/08/11/tech-talk-video-developing-good-habits-for-bare-metal-programming/ 7 comments coding
- Galois Video: Developing Good Habits for Bare-Metal Programming http://www.galois.com/blog/2010/08/11/tech-talk-video-developing-good-habits-for-bare-metal-programming/ 13 comments haskell
- Galois Video: Performance of Massively Parallel Data Intensive, Irregular Applications http://www.galois.com/blog/2010/08/03/tech-talk-video-requirement-and-performance-of-data-intensive-irregular-applications/ 3 comments haskell
- Galois Tech Talk: Categories are Databases http://www.galois.com/blog/2010/05/27/tech-talk-categories-are-databases/ 9 comments haskell
- Galois Tech Talk: Developing Good Habits for Bare-Metal Programming http://www.galois.com/blog/2010/05/12/tech-talk-developing-good-habits-for-bare-metal-programming/ 12 comments haskell
- An Introduction to Communicating Haskell Processes : Slides from the Galois Tech Talk http://www.galois.com/blog/2010/03/10/tech-talk-an-introduction-to-communicating-haskell-processes/ 4 comments haskell
- Galois Dev Talks : The Semantics of Asynchronous Exceptions http://www.galois.com/blog/2010/03/04/the-semantics-of-asynchronous-exceptions/ 3 comments haskell
- Galois Tech Talk: Introduction to GF, the Grammatical Framework http://www.galois.com/blog/2010/02/11/tech-talk-introduction-to-gf-the-grammatical-framework/ 4 comments haskell
- Galois Blog : PADL/PEPM 2010, Day 2 http://www.galois.com/blog/2010/01/20/padlpepm-2010-day-2/ 7 comments haskell
- PADL/PEPM 2010, Day 1 http://www.galois.com/blog/2010/01/19/padlpepm-2010-day-1/ 7 comments haskell
- Galois Tech Talk: Testing First-Order-Logic Axioms in AutoCert http://www.galois.com/blog/2009/10/28/ahn-autocert/ 3 comments haskell
- Galois Tech Talk: Writing Linux Kernel Modules with Haskell http://www.galois.com/blog/2009/10/13/haskellkernelmodules/ 6 comments haskell
- There's been a big increase in people subscribing to the Haskell Reddit in the past 2 weeks. Anyone know why? http://www.galois.com/~dons/images/reddit-subscribers.png 8 comments haskell
- Hackage Cumulative Download Rankings August 2009 http://www.galois.com/~dons/hackage/august-2009/popularity-august-2009.html 10 comments haskell
- Fleet: a radically different architecture for computing http://www.galois.com/blog/2009/06/30/fleet/ 39 comments programming
- Galois Tech Talk: Verifying Stream Fusion with Isabelle/HOLCF http://www.galois.com/blog/2009/06/23/streamfusion/ 6 comments haskell
- Talk by reddit's own dons presented at λondon HUG: "Engineering Large Projects in Haskell: A Decade of FP at Galois" http://www.galois.com/blog/2009/04/27/engineering-large-projects-in-haskell-a-decade-of-fp-at-galois/ 45 comments programming
- Engineering Large Projects in Haskell: A Decade of FP at Galois http://www.galois.com/blog/2009/04/27/engineering-large-projects-in-haskell-a-decade-of-fp-at-galois/ 5 comments haskell
- Galois Tech Talk: ROSE Open Compiler Infrastructure http://www.galois.com/blog/2009/03/24/tech-talk-rose-open-compiler-infrastructure/ 6 comments haskell
- One Million Haskell Downloads: Hackage Popularity Statistics http://www.galois.com/blog/2009/03/23/one-million-haskell-downloads/ 17 comments haskell
- Trustworthy Voting Systems : open source and formal methods http://www.galois.com/blog/2009/03/02/trustworthy-voting-systems/ 3 comments haskell
- Implementing Rivest's new MD6 algorithm in Cryptol http://www.galois.com/blog/2009/01/23/md6-in-cryptol/ 2 comments haskell
- Cryptol, the NSA's language of cryptography, now available http://www.galois.com/blog/2008/12/24/cryptol-the-language-of-cryptography-now-available/ 2 comments netsec
- Cryptol: a language for the design, implementation and verification of cryptographic algorithms now available http://www.galois.com/blog/2008/12/24/cryptol-the-language-of-cryptography-now-available/ 21 comments programming
- Type Correct Changes: A Safe Approach to Version Control Implementation http://www.galois.com/blog/2008/10/09/type-correct-changes-a-safe-approach-to-version-control-implementation/ 19 comments programming
- Parsing the Linux kernel with Haskell: experience with Language.C http://www.galois.com/blog/2008/09/17/parsing-the-linux-kernel-with-haskell-experience-with-languagec/ 37 comments programming
- Using theorem proving for program verification :: (Talk, Slides) http://www.galois.com/blog/2008/09/11/theorem-proving-for-verification/ 17 comments programming
- High performance web servers in Haskell: using left-fold enumerators :: (Talk, Slides) http://www.galois.com/blog/2008/09/12/left-fold-enumerators-a-safe-expressive-and-efficient-io-interface-for-haskell/ 21 comments programming
- Programming GPUs with Data Parallel Haskell :: Slides http://www.galois.com/blog/2008/08/29/gpugen-bringing-the-power-of-gpus-into-the-haskell-world/ 2 comments programming
- Commercial Users of Functional Programming http://www.galois.com/cufp/2006abstracts.html 12 comments programming