ocaml.org
About This Site – OCaml
http://ocaml.org/about.html
Governance of this website. Governance of the OCaml.org domain. OCamlorg is a community driven website, created by and for OCaml developers and those interested in the language. The overall goals of the website are:. To be the public face of the OCaml language. To be a useful resource to current OCaml users. To be a place that those current users can point others to for info/updates. To be useful for the wider group of casual visitors, new users and the programming community. Governance of this website.
tjd.phlegethon.org
Melange: creating a "functional" Internet
http://tjd.phlegethon.org/words/eurosys07-melange.html
Melange: creating a “functional” Internet. Alex Ho, Tim Deegan. Most implementations of critical Internet protocols are written in type-unsafe languages such as C or C and are regularly vulnerable to serious security and reliability problems. Type-safe languages eliminate many errors but are not used to due to the perceived performance overheads. We report on fully-featured SSH and DNS servers constructed using MPL and our OCaml framework “Melange”, and measure greater throughput, lower laten...
tjd.phlegethon.org
Turning down the LAMP: Software Specialisation for the Cloud
http://tjd.phlegethon.org/words/hotcloud10-lamp.html
Turning down the LAMP: Software Specialisation for the Cloud.
afeinberg.github.io
Reliability, availability and scale - an interlude
http://afeinberg.github.io/2011/06/25/reliability-availability-scale-interlude.html
Reliability, availability and scale – an interlude. My last post on distributed systems. Was dense with concepts. Before continuing with much more discussion, let’s take a quick detour and define several frequently used, but often confused, terms in distributed computing. The term scalability is often conflated with other related, important concepts. See for example an article by 37Signals “Don’t scale: 99.999% uptime is for Wal-Mart”. 8221; stands for. Mean Time To Recovery. In Tannenbaum, Steen. The] p...
openfx.org
OpenFX
http://www.openfx.org/index.html
3D modelling, animation and rendering. OpenFX 2.4 Enhanced Image Mapping and Character Animation. A new build is available - with some fixes for the general object file importer and improved STL export (binary) that uses OpenFX's coordinate units. This will enable the Design module to build objects that can be instantiated on a 3D printer without re-scaling. A few minor changes to inmprove the efficiency of the ray-tracing renderer and vertex selection in the Designer. New Source and Build Files. This ne...
stuartgunter.org
Polyservices - The future of microservices | Stuart Gunter
https://www.stuartgunter.org/polyservices-the-future-of-microservices
Polyservices The future of microservices. Microservices is all the talk these days, with everyone having something to say about how to do it, what to avoid, when it's appropriate, right down to how small a microservice should be. While I have opinions about these things, I think the web is fairly saturated in this respect so instead I'll share something that's more of an observation / prediction than anything else. I recently watched an interview with Randy Shoup. As there are many forms of the services ...
icfpconference.org
ICFP 2015 : The 20th ACM SIGPLAN International Conference on Functional Programming
http://www.icfpconference.org/icfp2015/index.html
The 20th ACM SIGPLAN International Conference on Functional Programming. Photo credit: Kenny Louie. CC BY 2.0). Vancouver, British Columbia, Canada; August 31 – September 2, 2015. Affiliated events: August 30 and September 3 – 5. ICFP 2015 provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. The conference covers the entire spectrum of work, from practice to theory, including its peripheries. Submissi...
github.com
avsm (Anil Madhavapeddy) · GitHub
https://github.com/avsm
X61;nil@recoil.org. Http:/ anil.recoil.org/. Feb 9, 2009. Really mini operating system (extracted from xen-unstable, and much stuff removed). Latency benchmarks of Unix IPC mechanisms. Fast, statically type-safe OCaml network applications (e.g. DNS/SSH). Private extraction of astrada's lens library. OCaml annot updated to work with latest 3.10 annot file format (with Call/Ident info). 2,064 contributions in the last year. Pushed 3 commits to avsm/mirage-ci-logs. Aug 15 Aug 19. Aug 15 Aug 18. Aug 16 Aug 17.
SOCIAL ENGAGEMENT