Hacker News
- 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
Lobsters
- Galois is hiring https://galois.com/careers/ 3 comments haskell , job , networking , security
- You Already Know Formal Methods https://galois.com/blog/2021/10/you-already-know-formal-methods/ 2 comments programming
- Galois is hiring http://galois.com/careers 17 comments haskell
- Software Engineering/Research Intern - Galois, Inc. https://galois.com/careers/software-engineer-intern/ 4 comments haskell
- Anyone here work for galois? [x-post from /r/cscareerquestions] https://galois.com 18 comments haskell
- HaLVMs in Practice: CyberChaff at Reed College https://galois.com/news/cyberchaff-reed-college/ 5 comments haskell
- The Imperfect Stitch Compiler (ISC) interacts seamlessly with Haskell and verification engines including SMT solvers, Coq, and Isabelle https://galois.com/blog/2016/04/galois-announces-isc-the-imperfect-stitch-compiler/ 3 comments haskell
- (Ab)using Compiler Plugins to Improve Embedded DSLs http://galois.com/blog/2014/12/abusing-compiler-plugins-improve-embedded-dsls/ 4 comments haskell
- Modifying an Off-the-Shelf Wireless Router for PDF Ballot Tampering http://galois.com/wp-content/uploads/2014/11/technical-hack-a-pdf.pdf 3 comments netsec
- Hacking Internet Voting via Ballot Tampering http://galois.com/blog/2014/11/hacking-internet-voting-via-ballot-tampering/ 4 comments politics
- 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: 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: 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
- 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
- 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
- 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
Lambda the Ultimate
Linking pages
- 11 Companies That Use Haskell in Production https://serokell.io/blog/top-software-written-in-haskell 280 comments
- Protecting democratic elections through secure, verifiable voting - Microsoft On the Issues https://blogs.microsoft.com/on-the-issues/2019/05/06/protecting-democratic-elections-through-secure-verifiable-voting/ 258 comments
- Amid Worries About Election Security, Microsoft Unveils Voting Machine Software : NPR https://www.npr.org/2019/05/06/720071488/ahead-of-2020-microsoft-unveils-tool-to-allow-voters-to-track-their-ballots 145 comments
- Challenging LR Parsing https://rust-analyzer.github.io/blog/2020/09/16/challeging-LR-parsing.html 109 comments
- On the state of cryptography in Haskell | by Leon Mergen | www.leonmergen.com http://www.leonmergen.com/haskell/crypto/2015/03/21/on-the-state-of-cryptography-in-haskell.html 104 comments
- Why Haskell? The big question : ezyang’s blog http://ezyang.scripts.mit.edu/blog/2010/01/why-haskell/ 80 comments
- c2rust vs Corrode https://jamey.thesharps.us/2018/06/30/c2rust-vs-corrode/ 75 comments
- Marginalia Search - browse:random https://search.marginalia.nu/explore/random 58 comments
- Better Random Number Generation for OpenSSL, libc, and Linux Mainline | AWS Open Source Blog https://aws.amazon.com/blogs/opensource/better-random-number-generation-for-openssl-libc-and-linux-mainline/ 52 comments
- A gentle introduction to automated reasoning - Amazon Science https://www.amazon.science/blog/a-gentle-introduction-to-automated-reasoning 51 comments
- GitHub - trailofbits/graphtage: A semantic diff utility and library for tree-like files such as JSON, JSON5, XML, HTML, YAML, and CSV. https://github.com/trailofbits/graphtage 51 comments
- Protecting democratic elections through secure, verifiable voting - Microsoft On the Issues https://blogs.microsoft.com/on-the-issues/2019/05/06/protecting-democratic-elections-though-secure-verifiable-voting/ 37 comments
- On the state of cryptography in Haskell | by Leon Mergen | www.leonmergen.com https://leonmergen.com/on-the-state-of-cryptography-in-haskell-c272fb0b6478 22 comments
- cabal-dev/0.8.md at master · creswick/cabal-dev · GitHub https://github.com/creswick/cabal-dev/blob/master/releases/0.8.md 14 comments
- FBI vs Apple: how did we get here? | by Isaac Potoczny-Jones | Medium https://medium.com/@SyntaxPolice/fbi-vs-apple-how-did-we-get-here-a46e8cf4e12e 9 comments
- Haskelling Bitcoin. The case for Bitcoin development in… | by Mohammed Alshiekh | Medium https://medium.com/@sahabi/haskelling-bitcoin-7e7128a9d4b4 9 comments
- Optimizing for Security :: Immunant, Inc https://immunant.com/blog/2018/09/multicompiler/ 8 comments
- Haskell Package Popularity Rankings : August 2009 – Control.Monad.Writer http://donsbot.wordpress.com/2009/08/06/haskell-package-popularity-rankings-august-2009/ 7 comments
- GitHub - erkmos/haskell-companies: A gently curated list of companies using Haskell in industry https://github.com/erkmos/haskell-companies 4 comments
- Pentagon $1.8M Deal to Use Blockchain for Data Security – News Bitcoin News https://news.bitcoin.com/pentagon-deal-blockchain-data-security/ 2 comments