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 http://cerberus.cl.cam.ac.uk/ #formalmethods #C
(*Facebook and friends, obviously :D)
No hints about the fact that it went through the translation is my favorite part though: granted it is somewhat obvious most of the time.
But when it will not be obvious, nothing quite like letting big corporations rewrite words for you, for the sake of being “practical”.
Seriously, just fuck off, Google, Facebook friends.
Fuck the hell off.
Even better: it is highly inconsistent, translating video titles on the video page itself but not in search results, sometimes.
And I tweaked and told the languages I do understand, nothing. It still think I don’t know French and translate stuff to English for me all the damn time.
You gotta love this feature where YouTube (or even before, Facebook is also doing that a lot), just translate whatever the hell they want because they feel like it. Like “Hey let me translate this video title and description to English because I’m pretty sure you don’t understand this language”, “also I’m not giving you any hint this went through automated translation ;;;)”
FWIW did you know that signup for our next #MirageOS 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 http://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 #OCaml -- March 6th - 13th, Marrakesh, Morocco 🐪 ☀️
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.
More info on crown shyness [ https://en.wikipedia.org/wiki/Crown_shyness ].
Experiences using TLA+ to understand Xen's vchan protocol: http://roscidus.com/blog/blog/2019/01/01/using-tla-plus-to-understand-xen-vchan/ … #mirageos #tlaplus
Le travail scientifique est-il principalement motivé par le désir de faire du bien à l’humanité ? (par Theodore Kaczynski) http://partage-le.com/2018/12/le-travail-scientifique-est-il-principalement-motive-par-le-desir-de-faire-du-bien-a-lhumanite-par-theodore-kaczynski/
Glad to see the restauration industry finally caught up with the times, good to see “obscure” academic concepts hitting the mainstream https://mastodon.social/media/EWAD6WAmap90uDBo3QY
You eventually get used to drinking your takeaway kopi in a plastic bag in Singapore. https://mastodon.social/media/HKTnYTuJCQ7IeTBuncU
OCaml, Unikernel, things.
Server run by the main developers of the project It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!