April 2022 - Haskell-Cafe

Model beverage
by Daneel Yaitskov 04 Apr '22

04 Apr '22

Hi List, I came to Haskell from Java. At the beginning I was trying to map traditional notions of mainstream languages onto the FP world as “How to replace inheritance and late binding?”, etc. If Java developers drink coffee, then what is the model beverage for haskellers? “Psyllium Husk” fits the role, because besides phonetic similarities, the beverage is lazy (the recipe is simple - mix powder with water) and immutable (goes through the intestinal tract largely unaltered). Plus it is far off mainstream. -- Best regards, Daniil Iaitskov

2 1

Default http2 library to use for client side?
by Ruben Astudillo 03 Apr '22

03 Apr '22

Hello Cafe I have been looking at hackage on what is the status for http2 **client** libraries. I haven't be able to grasp what is the default or recommended solution on this space. So far I have gotten the following impressions: 1. The usual candidates such as req / wreq libraries don't seem to support it. This is caused by they being based on `http-client`. 2. There is an http2-client [1] library that fits the bill. It uses Kazu's http2 [2] underneath, but it is upper bounded to major version 2 of that library. Kazu's library is now at major version 3 and it cannot be made to use the updated version easily. 3. Kazu's http2 library on major version 3 has a module called Network.HTTP2.Client which is even more low-level than what the previous option provided but it seems recently developed. It has a code sample. 4. Haskellers are not that interested on client side http2. I am no expert on this protocol, but it seems that there is some compatibility on it where you can make an http1.1 call and the server will handle it transparently (don't quote me on this). But Haskellers certainly were (are?) excited for http2 server support on warp which landed around 2015-2016. I have concluded that using `http2` [2] with the client module as my best bet. Is this analysis correct? or should I be looking a other packages that I haven't considered? Thanks for you time reading this email. [1]: <https://hackage.haskell.org/package/http2-client> [2]: <https://hackage.haskell.org/package/http2> -- Rubén. (pgp: 1E88 3AC4 89EB FA22)

1 0

Re: [Haskell-cafe] Model beverage
by Olaf Klinke 03 Apr '22

03 Apr '22

>Well if that's the path we're going down, consider: > >Mushroom tea. > >It will take you outside of time, make you contemplate infinity, and take >your thoughts in abstract directions few other experiences can prepare >you >for; but in the end you come away surprisingly refreshed! > I'd rather reserve that one for dependently-typed languages. ;-) But it shows once more how biased we Europeans are towards alcoholic drugs. Olaf >On Sat, Apr 2, 2022, 9:00 AM Olaf Klinke <olf(a)aatal-apotheke.de> wrote: > >> Absinthe comes to mind. It is very potent, popular among >> philosophers but >> drives you crazy if consumed regularly, in large quantities.

1 0

Fully Funded PhD Positions in the Safety and Security of Advanced Systems Group (Exeter, UK, Deadline 2022-04-29)
by Achim D. Brucker 03 Apr '22

03 Apr '22

We have two fully funded PhD scholarships for UK applicants in the Security and Trust of Advanced Systems Group [1] (Prof. Achim Brucker [2] and Dr. Diego Marmsoler [3]) at the Department of Computer Science of the University of Exeter, UK [4]. We are looking for enthusiastic and outstanding Computer Science or Mathematics students with a strong background in at least one of the following topics: * safety or security of (software) systems, * formal modelling or formal reasoning/verification, * program analysis or program verification, * language-based security, * semantics of programming languages, * theorem proving, model checking, * cryptographic protocols, * distributed systems (e.g., blockchain), * software security, * cyber-physical systems, * specification-based testing, and * design and implementation of security architectures. The positions offer the flexibility to define the PhD topic jointly between the successful candidate and the supervisors. Interested candidates should contact the potential supervisor Prof. Achim Brucker (a.brucker(a)exeter.ac.uk) or Dr. Diego Marmsoler (d.marmsoler(a)exeter.ac.uk) to discuss their application. For more details, please consult the official advertisements: * Compositional Verification of Smart Contracts in Isabelle: https://www.exeter.ac.uk/study/funding/award/?id=4326 * Formal Verification for Safety- or Security-Critical Systems: https://www.exeter.ac.uk/study/funding/award/?id=4328 The closing date for applications is midnight on the 29th April 2022. Best, Achim and Diego [1] http://emps.exeter.ac.uk/computer-science/research/cyber-security/ [2] https://www.brucker.ch/ [3] https://marmsoler.com/ [4] http://emps.exeter.ac.uk/computer-science/ -- Prof. Achim Brucker | Chair in Cybersecurity & Head of Group | University of Exeter https://www.brucker.ch | https://logicalhacking.com/blog @adbrucker | @logicalhacking

1 0

Model beverage
by Olaf Klinke 02 Apr '22

02 Apr '22

> Hi List, > > I came to Haskell from Java. At the beginning I was trying to map > traditional notions of mainstream languages onto the FP world as “How to > replace inheritance and late binding?”, etc. > > If Java developers drink coffee, then what is the model beverage for > haskellers? > > “Psyllium Husk” fits the role, because besides phonetic similarities, the > beverage is lazy (the recipe is simple - mix powder with water) and > immutable (goes through the intestinal tract largely unaltered). Plus it is > far off mainstream. > > > -- > > Best regards, > Daniil Iaitskov Absinthe comes to mind. It is very potent, popular among philosophersbut drives you crazy if consumed regularly, in large quantities. Cheers, Olaf

2 1