The OCaml Planet RSS

Now that OCaml 4.08 has been released, let’s have a look at what wasaccomplished, with a particular focus on how our plans for4.08 fared. I’ll mostly focus o...

We are pleased to announce the minor release of opam 2.0.5. This new version contains build update and small fixes: Bump src_ext Dune to 1.6.3, allows compilation with OCaml 4.08.0. [#3887 @dra27] Support Dune 1.7.0 and later [#3888 @dra27 - fix #3870] Bump the ocaml_mccs lib-ext, to include latest ...

Les résultats de la compétition SMT-COMP 2019 ont été publiés au whorkshop SMT de la 22e conférence SAT. Nous étions fiers d’y participer pour la deuxième année consécutive, surtout depuis qu’Alt-Ergo prend en charge le standard SMT-LIB 2. Alt-Ergo est un SAT solveur open-source mainte...

The results of the SMT-COMP 2019 were released a few days ago at the SMT whorkshop during the 22nd SAT conference. We were glad to participate in this competition for the second year in a row, especially as Alt-Ergo now supports the SMT-LIB 2 standard. Alt-Ergo is an open-source SAT-solver maintaine...

Welcome to another post in our series of how to use OCaml for machine learning.In previous posts we’ve discussed artistic style-transfer andreinforcement lea...

We are thrilled to announce that Tarides is laureate of the 21st edition of the i-Lab innovation contest for its innovative technological…

Dmitrii Kovanikov's Personas Web Space

Do something for long enough and you’re bound to make a lot of the mistakes that can be made. If you can learn from those, and share them with others, then you’re on the right path. So that’s what this session is about: the technical best practices and lessons Don’s learned in 13 years of working with PowerShell, his observations on making DevOps “actually work” in business environments, and his own personal life lessons and career achievements that have come along the way. You’ll learn the write way to design a PowerShell advanced function, what a truly functional DevOps team actually looks like, and the biggest “unlocks” Don’s cobbled together in over two decades in the IT industry. In-person attendees will also get a free collection of Don’s most popular ebooks. — Don Jones is the co-founder of The DevOps Collective, which runs PowerShell.org, PowerShell + DevOps Global Summit, and provides technology education funding to underprivileged and underrepresented individuals throughout the US. Don has been a Microsoft MVP Award recipient for 15 years, and has worked with PowerShell since before its launch in 2006. PowerShell’s inventor, Jeffrey Snover, named Don the “First Follower” of PowerShell. Today, Don is a Vice President in the Content organization at Pluralsight, the technology skills platform. Over his 25-year career, Don has authored literally dozens of IT books, including the first-published book on PowerShell and the bestselling Learn Windows PowerShell in a Month of Lunches. Don’s current projects include fiction and other genre novels, and can be found at http://leanpub.com/u/donjones. Don also posts regularly to his site, DonJones.com, and holds occasional workshops around Be the Master, his book on achieving success and helping others do the same (BeTheMaster.com).