/actualtech/ - Actual /tech/

Name
Email
Subject
Comment *
File	Select/drop/paste files here
* = required field	[▶ Show post options & limits] Confused? See the FAQ.

Options	Do not bump (you can also write sage in the email field) Spoiler images (this replaces the thumbnails of your images with question marks)
Password	(For file and post deletion.)
Allowed file types:jpg, jpeg, gif, png, webm, mp4, pdf Max filesize is 8 MB. Max image dimensions are 10000 x 10000. You may upload 5 per post.

Zélus Anonymous 11/23/14 (Sun) 11:59:28 No.32 [Reply]

http://lambda-the-ultimate.org/node/5087
http://www.di.ens.fr/~pouzet/bib/hscc13.pdf
Finally collision detection that is both implementable by a human with limited time and doesn't suck?

Anonymous 11/23/14 (Sun) 17:53:20 No.33

Is there an implementation of this?

Anonymous 11/24/14 (Mon) 00:25:42 No.35

>>33
Apparently:
http://zelus.di.ens.fr/download.html
They saw the use in collision detection as well:
http://zelus.di.ens.fr/examples.html

Anonymous 11/24/14 (Mon) 11:59:48 No.36

>>35
Damn that looks so cool. I'll give it a more serious look later.

File: 1416693464352.png (22.3 KB, 361x402, 361:402, mirage-sample-application.png)

Anonymous 11/22/14 (Sat) 21:57:44 No.29 [Reply]

What does /actualtech/ think of Mirage?
http://www.openmirage.org/

>'library operating system'
>unikernel
>based on Xen
>everything else is written in Ocaml
It's like an embedded system written in a sane language!

Anonymous 11/22/14 (Sat) 22:59:33 No.31

Unikernels push the burden of resource management down to the Hypervisor, effectively making it the kernel. If you're ok with that, Mirage looks like a really nice Unikernel but I'm not yet dying to create something with it.

Delete Post [ File] Password

Reason [Global]