Engil boosted

still proud of this #ocaml #crossStitch, but every time I visit it my desire to frame it properly grows

TFW CNY is incoming and I completely forgot to buy food to shelter myself when the world will stop moving for one week

Engil boosted

My former research group in Cambridge put a very nice tool online, Cerberus, with a web interface. "Cerberus is a tool for exploring the semantics of the C programming language". So whomever must program C may want to use and discover C semantics and undefined behaviour - find it at cerberus.cl.cam.ac.uk/

rant, YouTube Show more

rant, YouTube Show more

rant, YouTube Show more

rant, YouTube Show more

rant, YouTube Show more

Engil boosted

FWIW did you know that signup for our next retreat is possible? If you're interested in MirageOS and spending a week with ~30 people who're keen on getting MirageOS into production, sign up retreat.mirage.io/ -- there's no upfront experience and knowledge required, but we expect you to be interested in discussing/programming/designing/learning about MirageOS and -- March 6th - 13th, Marrakesh, Morocco 🐪 ☀️

Engil boosted

I believe this is an example of what is known as 'Crown shyness', where the canopies of several trees appear to leave a gap between each other.

This was spotted at the car park of Pasir Ris Park, Singapore, on 1 Jan 2019.

#Biology #Nature #Plants #Trees

More info on crown shyness [ en.wikipedia.org/wiki/Crown_sh ].

Engil boosted
Engil boosted

mMmh so it appears I just spent the night implementing a client-server pong game for matelight.rocks/, a screen made of stacked up mate bottles...

(in #ocaml obviously! github.com/Armael/pong-matelig)

Any Qubes users around MirageOS assembly ? A friend wants to talk about it @lobo @reynir

This is a MirageOS assembly@35C3 advertisement

Engil boosted

Glad to see the restauration industry finally caught up with the times, good to see “obscure” academic concepts hitting the mainstream mastodon.social/media/EWAD6WAm

You eventually get used to drinking your takeaway kopi in a plastic bag in Singapore. mastodon.social/media/HKTnYTuJ

Show more
Mastodon

Follow friends and discover new ones. Publish anything you want: links, pictures, text, video. This server is run by the main developers of the Mastodon project. Everyone is welcome as long as you follow our code of conduct!