the cat is out of the bag. here's the paper @d_christiansen and I wrote for the TyDe workshop at ICFP, about customizing the editor interactions of Idris using metaprogramming. come see me give a talk on September 27th in St. Louis, MO!
The second IDIR Summer Workshop 2018 is nearly here!! On the 16th of August there will be talks all about Health&Simulation Data! Let me know if you want to attend. https://t.co/p51vTfJhCG @StAndrewsIDIR@StAndrewsCS@SICSA_Scotland
Facebook awards Galois $100,000 grant to explore 1) adding C++ verification capabilities to SAW, 2) proving two verified HKDF implementations to serve as examples of use; and 3) building CI-ready verification scripts for the proofs. https://t.co/GzhkOulknd
Galois spins out systems re-engineering company Tangram Flex to revolutionize how large and complex embedded systems are created and modernized https://t.co/X4uEq9MEvA
.@d_christiansen and @josecalderon are holding a Haskell Mini-Course at the Implementation and Application of Functional Languages Symposium. If you're attending, come join us on September 5th! https://t.co/bGA2QrONH0
Topics include GADTs, datakinds, type families, and how we use these in programming language implementation. The course is free (free food too!) and also open to people who aren't attending IFL. It's at UMass Lowell, within train range of Boston.
Hope to see you!
Lazy web, is there a parser combinator #Haskell library like attoparsec/megaparsec/.., specifically for parsing XML documents? There's xml-parsec on hackage, but isn't maintained.
I.e. a Haskell library of parser combinators that would do much of the XML heavy lifting for me?
Joining us in September?
Download our Orientation App to find out everything you need to know, including pre-arrival resources and details of the Orientation Week programme and your induction into the University of St Andrews. #FreshSaints
https://t.co/YxpfrYH80M
#LambdaDays 2019 is on Feb21 & we’re going full speed ahead to make sure it’s as awesome as the last 5editions https://t.co/uFb3ED57wb Want more functional programming in your life? Secure your spot now https://t.co/TWmEaHB4tv Also here are the 2018 videos https://t.co/bnxLCLLml1
Full-time: Expert-Grade Software Engineer for Enterprise Software on Distributed Ledger Technology (Blockchain) at MCZ Moschin Executive AG https://t.co/YCIjm35ntE
Call out to companies interested in types, verification etc. We are looking for industry partners to engage with a U.K. Doctoral Training Centre bid. Various options available, giving access to students, IP etc. Contact me if you are interested in discussing further