How to Comfortably Use F* - https://research.cryptium.ch/how-to-comfortably-use-f/
OCamlPro’s compiler team work update – OCamlPro - https://www.ocamlpro.com/2019/08/30/ocamlpros-compiler-team-work-update/
pLam , pure lambda calculus interpreter, Quick Sort with pure λ-calculus - https://www.reddit.com/r/compsci/comments/cuxp1p/quick_sort_with_pure_%CE%BBcalculus/
I'd really appreciate if the "digital nomad" name would dissappear.
Everytime I read that my brain parses as "digital monad" and I'm always sad and disappointed when I realize what the correct word is.
#fp has broken me.
Once again, thanks for all the submissions, there's lots of great content and it's going to be hard to choose. We take great care to look into each submission carefully. ❤️
For the distracted, #lxscala will be a 2 days conference with talks on the second day with two available tracks. This will be a first for this conference. Don't miss it 😎.
#lxscala weekly updates:
- CFP has ended
- we received great talk submissions. Thanks to all who have submitted
- confirmed: 3 talks + 1 workshop
- early bird tickets are ending soon (6th May)
Share the event to all your friends and buy tickets early ;)
Go get your tickets while it's hot - https://lxscala-reactive-2019.eventbrite.pt/
More news about selected speakers and talks in the following days, don't miss it.
GNU Guix 1.0.0 released - https://www.gnu.org/software/guix/blog/2019/gnu-guix-1.0.0-released/
♥️ Anime • Strong copyleft • Functional ♥️
No Freedom exists without Privacy.
• 🇵🇹 ♂️•
Server run by the main developers of the project It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!