Seb Mondet @smondet@framapiaf.org
Generating mutually recursive definitions (in MetaOCaml)
(* Paper accepted to ML 2018 *)
https://www.cl.cam.ac.uk/~jdy22/papers/generating-mutually-recursive-definitions.pdf
Hey @Framasoft @framasky @chocobozzz
J'adore les concepts de #PeerTube et souscris entièrement à ses objectifs.
Mais il me semble qu'en l'état il y a un grave problème de protection des données perso si tout le monde peut voir ce que chacun regarde à partir du moment ou c'est fait via bittorrent? N'est-ce pas pire que Youtube de ce point de vue? (ie. tout le monde dont Google peut espionner/profiler?)
Me trompé-je? (j'espère!) Y a-t-il moyen (niveau serveur) de contrer cela? un plan?
<3
software release, hype Afficher plus
Oh well, it has been done for Scala and Haskell... I feel obligated now ¯\_(ツ)_/¯ ^^"
So #Article13, imposing automated censorship of the Internet, kicked many times out of EU Parliament before (#ACTA, etc.) is now coming back, pushed by guess who...? A German conservative (A.Voss) and a French copyright taliban, robo-slave of the entertainment industry, who built his career thanks to them (JM.Cavada)! Surprise!!!
If this thing is adopted, one can know what to think of EU and its institutions...
https://edri.org/files/copyright/copyright_proposal_article13.pdf
Latest #ocaml weekly news is out
http://alan.petitepomme.net/cwn/2018.06.19.html
Testing our new generation toolchain
NI3 Dance at the Parkside Lounge last month.
Next show: at the Pine Box Rock Shop, July 19th, 11pm.
(edit: fixed time)
It's very much a WIP but at least it's a start. The format doesn't look too bad and I think I can finish it properly (for what I have in mind) in a few days.
Do you wonder whether your opam packages are broken for the next #OCaml release ?
Here is a webpage for that:
Reconciling Abstraction with High Performance: A MetaOCaml approach | Oleg Kiselyov
#Tierless Web programming in #ML
Gabriel Radanne - 2017
"#Eliom is a dialect of #OCaml for #Web #programming in which server and client pieces of code can be mixed in the same file using syntactic annotations. This allows to build a whole application as a single #distributed #program, in which it is possible to define in a composable way #reusable #widgets with both server and client behaviors. […]"
Experience report: Merlin, a Language Server for #OCaml
(Submitted to ICFP 2018)
NI3 Dance will be live at the Parkside Lounge NYC on Friday May 18, at 9pm.
With guest https://www.instagram.com/alimonstar/.
Come show us your dance moves!
Did y'all know that there's an upcoming #ocaml documentation jam, 18th-20th of May? I heard about it at https://discuss.ocaml.org/t/may-2018-ocaml-docjam-thread-may-18-19-20/1957/11 , details at http://gallium.inria.fr/~scherer/events/ocaml-docjam-may-2018/announce.html . I'm already pumped!
"In general we recommend that you pick a library that you are interested in, but for which you are not already an expert," so it's a great excuse to check out something you've been meaning to spend time with! 🐫
Hm, apparently #letsencrypt now provides mor than 50% of the web certificates.
On one hand: FUCKING AWESOME.
On the other: Shit. They're getting very powerful and we are centralizing our trust. I think we could reallu use 2-3 new orgs like Letsencrypt, with similar technology and mission statement, but entirely independent.
Are there any out there yet?
NI3 Dance at Otto's Shrunken Head 2018-04-05.
Fun times, #DrumnBass #Funk #LiveMusic
#Patoline development seems to have resumed! This is great news.
http://patoline.org/index.html
#typesetting
If you interesting about `diff` algorithm specially as internal stuff of #Git, you should be interesting by Duff, an implementation of libXdiff in #OCaml - https://github.com/dinosaure/duff
will organise a #MirageOS meeting in Berlin on April 10th, join us if you like to https://discuss.ocaml.org/t/berlin-mirageos-meetup-on-april-10th-2018-at-18-30/1807
