45g

4 ms·

1. 1.▲
   by 45g 13y ago

   > You can see how this makes it impossible to mutate the state without remembering to aquire the lock. Not quite true. Looking at the type signature of e.g. RWArc::write I see this: fn write<U>(&self, blk: |x: &mut T|
2. 2.▲
   by 45g 13y ago

   What puzzles me about Jolla and it's Sailfish OS is the constant emphasis on being "truly open" when in fact the sources of the OS are nowhere to be found. They point you to projects such as Mer and say Sailfish OS is based o
3. 3.▲
   by 45g 15y ago

   WebOS is not open source so I fail to see why a "geek" should love it. On the contrary - they should avoid it!
4. 4.▲
   DDC (Haskell - Laziness + Effect typing) is ready "for human consumption"(disciple-devel.blogspot.com)

   2 points by 45g 16y ago|0 comments
5. 5.▲
   by 45g 16y ago

   I wonder if someone wants to port the type checker of Typed Racket over to Clojure?
6. 6.▲
   XMLVM: a cross-compiler toolchain (e.g. .NET to JVM)(xmlvm.org)

   1 points by 45g 17y ago|0 comments
7. 7.▲
   by 45g 17y ago

   The HLVM implementation is for everyone to see at http://hlvm.forge.ocamlcore.org/ . There is a public mailing list at https://lists.forge.ocamlcore.org/pipermail/hlvm-list/ and I am sure Jon Harrop would be more than happy to discuss a
8. 8.▲
   by 45g 17y ago

   This VM is based on LLVM and in particular aimed at parallel programming. As its author said: "HLVM is an experiment to see what a next-generation implementation of a language like OCaml might look like, addressing all of OCaml's major shor