Profile_bird

Hey there! galoisinc is using Twitter.

Twitter is a free service that lets you keep in touch with people through the exchange of quick, frequent answers to one simple question: What's happening? Join today to start receiving galoisinc's tweets.

Already using Twitter
from your phone? Click here.

galoisinc

  1. RT @simonmar: Announcing Haskell 2010 http://bit.ly/5RnXou 7:42 AM Nov 24th from web
  2. Report on Darcs Sprint 3 (PDX event hosted by Galois). http://blog.darcs.net/2009/... 12:54 PM Nov 21st from web
  3. The Industrial Haskell Group 2010: new membership options for startups and research groups. http://is.gd/4Wpqv Let's grow Haskell! 11:29 AM Nov 16th from web
  4. Galois Tech Talk: Hoare-Logic – fiddly details and small print: http://bit.ly/4o7ApI 12:37 PM Nov 4th from web
  5. Galois Tech Talk: Testing First-Order-Logic Axioms in AutoCert: http://bit.ly/kSCgW 2:01 PM Oct 28th from web
  6. We're 10 years old today! 9:57 AM Oct 24th from web
  7. Galois Tech Talk: How to choose between a screwdriver and a drill: http://bit.ly/u38nB 4:18 PM Oct 20th from web
  8. Galois Tech Talk: Writing Linux Kernel Modules with Haskell: http://www.galois.com/blog/... 4:40 PM Oct 13th from web
  9. Domain Specific Languages for Domain Specific Problems: Position Paper. http://is.gd/4hRao 11:24 AM Oct 13th from web
  10. Galois Tech Talk (October 13th): Reasoning about Haskell Datatypes: http://bit.ly/2HkxlP 11:45 AM Oct 6th from web
  11. Galois Tech talk (October 6th): Real-time simulators in Haskell: http://bit.ly/11TCMT 9:47 PM Sep 29th from web
  12. Well-Typed talking about the Birth of the Industrial Haskell Group: the video: http://www.vimeo.com/6697688 8:26 AM Sep 23rd from web
  13. Tech talk: http://www.galois.com/blog/... 11:56 PM Sep 10th from web
  14. Industrial Haskell Group: status report on funded projects: http://industry.haskell.org... 3:07 PM Sep 10th from web
  15. The birth of the Industrial Haskell Group : slides from CUFP 2009: http://bit.ly/32jarf 3:29 AM Sep 9th from web
  16. Substitution ciphers in Cryptol http://www.galois.com/blog/... 1:20 PM Aug 24th from web
  17. August 25th Galois Tech Talk will be Adam Megacz, on programming the Fleet processor architecture, http://is.gd/2pocH 8:55 PM Aug 19th from web
  18. The Industrial Haskell Group will be meeting at CUFP : http://bit.ly/VJLRT 11:20 AM Aug 19th from web
  19. Congratulations to the NICTA seL4 team: the first verified kernel. Haskell for large-scale formal verification http://is.gd/2fiVm 8:25 AM Aug 13th from web
  20. Don interviewed for SDTimes: "Everyone’s talking about Haskell" : http://is.gd/1PaYN Haskell, Galois, CUFP, Hackage et al. 11:10 AM Jul 27th from web