Hacker News
- Fast and formally verified C implementation of Base64 http://corp.galois.com/blog/2013/9/11/high-assurance-base64.html 40 comments
- Formally Verifying Chess Endgames in HOL4 - solve chess for small values of n http://corp.galois.com/blog/2011/5/26/formally-verified-chess-endgames.html 3 comments
- What would you want out of a Cabal enhancement package? http://corp.galois.com 41 comments haskell
- Galois Internship Available: Come build high-assurance autonomous vehicles! http://corp.galois.com/blog/2012/8/21/galois-internship-available.html 13 comments haskell
- Galois releases its open source Haskell projects on GitHub http://corp.galois.com/blog/2012/4/4/galois-open-source-projects-on-github.html 19 comments programming
- Galois' Open-Source code available on github http://corp.galois.com/blog/2012/4/4/galois-open-source-projects-on-github.html 2 comments haskell
- [video] Formalizing Haskell 98 in the K semantic framework http://corp.galois.com/blog/2012/1/12/new-tech-talk-video-formalizing-haskell-98-in-the-k-semantic.html 3 comments haskell
- A disciplined approach to talking about security http://corp.galois.com/blog/2011/11/17/a-disciplined-approach-to-talking-about-security.html 8 comments netsec
- Galois offers Haskell course: The Tao of Functional Programming http://corp.galois.com/haskell-course 9 comments haskell
- Galois Video: Building an Open-Source Autonomous Quad-Copter http://corp.galois.com/blog/2011/6/17/tech-talk-video-building-an-open-source-autonomous-quad-copt.html 3 comments haskell
- SIGPLAN Programming Languages Software Award goes to Simon Peyton Jones and Simon Marlow for GHC http://corp.galois.com/blog/2011/6/7/sigplan-programming-languages-software-award.html 11 comments programming
- Galois Internship Available: Develop security monitoring for robotic vehicles! http://corp.galois.com/blog/2011/6/6/announcing-internship-available-at-galois-inc.html 13 comments programming
- Formally Verified Chess Endgames http://corp.galois.com/blog/2011/5/26/formally-verified-chess-endgames.html 3 comments math
- Galois is hiring computer scientists http://corp.galois.com/careers/ 26 comments haskell
- Jobs: Galois is hiring computer scientists http://corp.galois.com/careers/ 29 comments compsci
- Tech Talk Video: Faster Persistent Data Structures Through Hashing http://corp.galois.com/blog/2011/3/8/tech-talk-video-faster-persistent-data-structures-through-ha.html 5 comments haskell
- Merging SMT solvers and programming languages http://corp.galois.com/blog/2011/1/18/merging-smt-solvers-and-programming-languages.html 3 comments haskell
- netsec: I've been lurking here. Now I implemented a system for using a mobile phone to authenticate a web session on your computer, and I'm interested in feedback on the soundness and novelty of the approach. http://corp.galois.com/blog/2011/1/5/quick-authentication-using-mobile-devices-and-qr-codes.html 32 comments netsec
- cabal-dev: sandboxed development builds for Haskell http://corp.galois.com/blog/2010/12/20/cabal-dev-sandboxed-development-builds-for-haskell.html 5 comments haskell
- Building a business with Haskell: Case Studies: Cryptol, HaLVM and Copilot http://corp.galois.com/blog/2010/12/10/building-a-business-with-haskell-case-studies-cryptol-halvm-1.html 6 comments coding