Forwarded from Programming Deadlock
Research on theory of programming languages Ξ», compilers, interpreters, functional programming, formal methods, logic etc.
https://github.com/veyselusta/programming-language-research
https://github.com/veyselusta/programming-language-research
GitHub
GitHub - veyselusta/programming-language-research: Research on theory of programming languages Ξ», compilers, interpreters, functionalβ¦
Research on theory of programming languages Ξ», compilers, interpreters, functional programming, formal methods, logic etc. - veyselusta/programming-language-research
Forwarded from Programming Deadlock
Writing a very simple JIT Compiler in about 1000 lines of C
https://kuterdinel.com/writing-a-very-simple-jit-compiler-in-about-1000-lines-of-c.html
https://kuterdinel.com/writing-a-very-simple-jit-compiler-in-about-1000-lines-of-c.html
Kuterdinel
Writing a very simple JIT Compiler in about 1000 lines of C
I demonstrate how you can write a simple JIT (Just In Time) compiler for x86 in about 1000 lines of C code.
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...