masterq

5 ms·

1. 1.▲
   ATS2 and VeriFast avoid some of FreeBSD vulnerabilities(metasepi.org)

   1 points by masterq 6y ago|0 comments
2. 2.▲
   If you are using Windows or Linux, you must buy SyncStitch with only 64,800 JPY(metasepi.org)

   2 points by masterq 8y ago|0 comments
3. 3.▲
   Hands-on VeriFast with STM32 microcontroller Osaka(slideshare.net)

   3 points by masterq 9y ago|1 comments
4. 4.▲
   Hands-on VeriFast with STM32 microcontroller(metasepi.org)

   1 points by masterq 10y ago|0 comments
5. 5.▲
   History of Ajhc Haskell Compiler (Japanese) [pdf](metasepi.org)

   4 points by masterq 10y ago|0 comments
6. 6.▲
   C2ats – An utility to generate ATS interface from C code(metasepi.org)

   3 points by masterq 10y ago|0 comments
7. 7.▲
   Functional IoT Meetup #0(metasepi.org)

   2 points by masterq 11y ago|0 comments
8. 8.▲
   Metasepi's going year and coming year, 2015(metasepi.org)

   1 points by masterq 11y ago|0 comments
9. 9.▲
   Kick-R: Get your own R instance with 36 cores on AWS(slideshare.net)

   3 points by masterq 11y ago|0 comments
10. 10.▲
    Metasepi Project needs donations on Bitcoin(metasepi.org)

    1 points by masterq 12y ago|0 comments
11. 11.▲
    by masterq 12y ago

    For kernel programming. < ATS2 is better
12. 12.▲
    by masterq 12y ago

    Ah, sorry. Today, I think ATS2 is better than any Haskell compiler.
13. 13.▲
    by masterq 12y ago

    > 1. Does the overhead of creating a new CLH every time a Haskell function is invoked from C introduce any performance concerns(speed didn't seem to be well-covered in section 6)? Yes. It needs to initialize the heep at any function