Forwarded from Programming Deadlock
The keys to a successful Webassembly deployment
https://queue.acm.org/detail.cfm?id=3746171
https://queue.acm.org/detail.cfm?id=3746171
Forwarded from Programming Deadlock
Hacking Coroutines into C
https://wiomoc.de/misc/posts/hacking_coroutines_into_c.html
https://wiomoc.de/misc/posts/hacking_coroutines_into_c.html
Forwarded from Programming Deadlock
frama-c-wp-tutorial-en.pdf
3.1 MB
C program proofs with Frama-C and its weakest-precondition plugin
https://allan-blanchard.fr/publis/frama-c-wp-tutorial-en.pdf
https://allan-blanchard.fr/publis/frama-c-wp-tutorial-en.pdf
Forwarded from Ink
I've read a couple of books on this subject, but they were kinda confusing to me compared to theese lectures...
https://youtube.com/playlist?list=PL_w_qWAQZtAZhtzPI5pkAtcUVgmzdAP8g
https://youtube.com/playlist?list=PL_w_qWAQZtAZhtzPI5pkAtcUVgmzdAP8g
YouTube
Computer Graphics, Fall 2009
Computer Graphics (ECS175) teaches the basic principles of 3-dimensional computer graphics. The focus will be the elementary mathematics techniques for posit...