Forwarded from Pure & constructive mathematics in theory and use (GNU/Brett G.)
What follows is a series of wonderful blog posts highlighting the transition of a well-established project from Python to OCaml. I hope it is useful for some of you to consider doing the same, or maybe choosing OCaml/SML or any ML for your next project!
Replacing Python: Candidates
http://roscidus.com/blog/blog/2013/06/09/choosing-a-python-replacement-for-0install/
Replacing Python: Second Round
http://roscidus.com/blog/blog/2013/06/20/replacing-python-round-2/
OCaml Binary Compatibility
http://roscidus.com/blog/blog/2013/07/07/ocaml-binary-compatibility/
Option Handling with OCaml Polymorphic Variants
http://roscidus.com/blog/blog/2013/08/31/option-handling-with-ocaml-polymorphic-variants/
Experiences with OCaml Objects
http://roscidus.com/blog/blog/2013/09/28/ocaml-objects/
OCaml Tips
http://roscidus.com/blog/blog/2013/10/13/ocaml-tips/
Asynchronous Python vs OCaml
http://roscidus.com/blog/blog/2013/11/28/asynchronous-python-vs-ocaml/
Polymorphism for Beginners
http://roscidus.com/blog/blog/2013/12/20/polymorphism-for-beginners/
OCaml: The Bugs So Far
http://roscidus.com/blog/blog/2014/01/07/ocaml-the-bugs-so-far/
OCaml: What You Gain
http://roscidus.com/blog/blog/2014/02/13/ocaml-what-you-gain/
Python to OCaml: Retrospective
http://roscidus.com/blog/blog/2014/06/06/python-to-ocaml-retrospective/
Replacing Python: Candidates
http://roscidus.com/blog/blog/2013/06/09/choosing-a-python-replacement-for-0install/
Replacing Python: Second Round
http://roscidus.com/blog/blog/2013/06/20/replacing-python-round-2/
OCaml Binary Compatibility
http://roscidus.com/blog/blog/2013/07/07/ocaml-binary-compatibility/
Option Handling with OCaml Polymorphic Variants
http://roscidus.com/blog/blog/2013/08/31/option-handling-with-ocaml-polymorphic-variants/
Experiences with OCaml Objects
http://roscidus.com/blog/blog/2013/09/28/ocaml-objects/
OCaml Tips
http://roscidus.com/blog/blog/2013/10/13/ocaml-tips/
Asynchronous Python vs OCaml
http://roscidus.com/blog/blog/2013/11/28/asynchronous-python-vs-ocaml/
Polymorphism for Beginners
http://roscidus.com/blog/blog/2013/12/20/polymorphism-for-beginners/
OCaml: The Bugs So Far
http://roscidus.com/blog/blog/2014/01/07/ocaml-the-bugs-so-far/
OCaml: What You Gain
http://roscidus.com/blog/blog/2014/02/13/ocaml-what-you-gain/
Python to OCaml: Retrospective
http://roscidus.com/blog/blog/2014/06/06/python-to-ocaml-retrospective/
Forwarded from Hacker News
NBC 7 San Diego
Navy Confirms UFO Videos Posted by Blink 182 Rocker Are Real and Should Not Have Been Released
The truth really is out there, Tom DeLonge. According to Vice’s Motherboard, Navy spokesman Joseph Gradisher has confirmed that three videos posted to the To the Stars Academy of Arts and Sciences (TTSA)— the organization founded by Blink 182 rocker Tom DeLonge…
Forwarded from Hacker News
Thetimes
All the lonely people ... are men: a fifth have no friends
No man is an island entire of itself, as John Donne observed. Men are, however, much more likely than women to lead solitary lives without people they consider to be friends.Almost one in five men admits to having no close friends, a survey has found, prompting…
Forwarded from Hacker News
9to5Mac
iOS 13 bug grants third-party keyboards full access to iPhones even when users have it turned off
Even though just Apple released iOS 13.1 to fix some issues with iOS 13 just today, the company has shared another bug that it will fix with an upcoming software update. For now, third-party keyboards may have full access to what users are typing even if…
Forwarded from Phoronix News
Phoronix
Richard Stallman To Continue As Head Of The GNU Project
While Richard Stallman resigned as president of the Free Software Foundation last week, he just announced he'll be continuing as head of the GNU Project...
Richard Stallman To Continue As Head Of The GNU Project
While Richard Stallman resigned as president of the Free Software Foundation last week, he just announced he'll be continuing as head of the GNU Project...
Phoronix
Richard Stallman To Continue As Head Of The GNU Project - Phoronix
Phoronix is the leading technology website for Linux hardware reviews, open-source news, Linux benchmarks, open-source benchmarks, and computer hardware tests.
Due to vascular issues, I'm likely going to leave quite a few groups until I feel better. If this is sent to one of said groups, then this is a group I'm leaving. Will be back once the vascular issues go away, however this isn't certain to even happen. This channel will still remain active, without any changes. I may open my own group eventually, but that isn't certain quite yet. Hope all are doing well, and cheers.