Lesser known tricks, quirks and features of C
https://jorenar.com/blog/less-known-c
https://jorenar.com/blog/less-known-c
Jorenar
Lesser known tricks, quirks and features of C
A Fast WebAssembly Interpreter design in WASM-Micro-Runtime
https://www.intel.com/content/www/us/en/developer/articles/technical/webassembly-interpreter-design-wasm-micro-runtime.html
https://www.intel.com/content/www/us/en/developer/articles/technical/webassembly-interpreter-design-wasm-micro-runtime.html
Intel
A Fast WebAssembly Interpreter design in WASM-Micro-Runtime
In this paper, we introduced wasm-micro-runtime(abbreviated WAMR) fast-interpreter, in which several optimization methods are applied including fast bytecode dispatching.
Hyperlight
: Virtual machine-based security for functions at scalehttps://opensource.microsoft.com/blog/2024/11/07/introducing-hyperlight-virtual-machine-based-security-for-functions-at-scale/
Microsoft Open Source Blog
Introducing Hyperlight: Virtual machine-based security for functions at scale - Microsoft Open Source Blog
The Microsoft Azure Core Upstream team is excited to announce the Hyperlight project, an open-source Rust library you can use to create very small VMs for embedded functions. Learn more.
Self-Applicable Online Partial Evaluation of the Pure Lambda Calculus
https://dl.acm.org/doi/pdf/10.1145/215465.215469
https://dl.acm.org/doi/pdf/10.1145/215465.215469
Against Best Practices
https://www.arp242.net/best-practices.html
https://www.arp242.net/best-practices.html
www.arp242.net
Against best practices
Retrofitting spatial safety to hundreds of millions of lines of C++
https://security.googleblog.com/2024/11/retrofitting-spatial-safety-to-hundreds.html?m=1
https://security.googleblog.com/2024/11/retrofitting-spatial-safety-to-hundreds.html?m=1
Googleblog
Retrofitting spatial safety to hundreds of millions of lines of C++
Posted by Alex Rebert and Max Shavrick, Security Foundations, and Kinuko Yasuda, Core Developer Attackers regularly exploit spatial mem...
Practical Normalization by Evaluation for EDSLs
https://homepages.inf.ed.ac.uk/slindley/papers/nbe-for-edsls-draft-may2021.pdf
https://homepages.inf.ed.ac.uk/slindley/papers/nbe-for-edsls-draft-may2021.pdf
A Type System for Recursive Modules
https://dl.acm.org/doi/pdf/10.1145/1291220.1291196
https://dl.acm.org/doi/pdf/10.1145/1291220.1291196
500'000€ Prize for Compressing Human Knowledge
https://web.archive.org/web/20241122214528/https://prize.hutter1.net/
https://web.archive.org/web/20241122214528/https://prize.hutter1.net/
Defunctionalization with Dependent Types
https://dl.acm.org/doi/pdf/10.1145/3591241
https://dl.acm.org/doi/pdf/10.1145/3591241
Revisiting the DOS memory models
https://blogsystem5.substack.com/p/dos-memory-models
https://blogsystem5.substack.com/p/dos-memory-models
Substack
Revisiting the DOS memory models
At the beginning of the year, I wrote a bunch of articles on the various tricks DOS played to overcome the tight memory limits of x86’s real mode. There was one question that came up and remained unanswered: what were the various “models” that the compilers…
Structural abstract interpretation, A formal study using Coq
https://inria.hal.science/inria-00329572v2/
https://inria.hal.science/inria-00329572v2/
inria.hal.science
Structural abstract interpretation, A formal study using Coq
Abstract interpreters are tools to compute approximations for behaviors of a program. These approximations can then be used for optimisation or for error detection. In this paper, we show how to describe an abstract interpreter using the type-theory based…
Functional programming self-affirmations
https://norikitech.com/posts/functional-affirmations/
https://norikitech.com/posts/functional-affirmations/
NorikiTech
Functional programming self-affirmations
Defunctionalization at Work
https://www.cs.cornell.edu/courses/cs6110/2012sp/Defunctionalization-at-work-Danvy.pdf
https://www.cs.cornell.edu/courses/cs6110/2012sp/Defunctionalization-at-work-Danvy.pdf
Modular Polymorphic Defunctionalization
https://pdfs.semanticscholar.org/4035/76fd488b34418bccd446b7abaee80f4176f5.pdf
https://pdfs.semanticscholar.org/4035/76fd488b34418bccd446b7abaee80f4176f5.pdf
Deriving Dependently-Typed OOP from First Principles
https://dl.acm.org/doi/pdf/10.1145/3649846
https://dl.acm.org/doi/pdf/10.1145/3649846
This equation will change how you see the world (the logistic map)
https://youtu.be/ovJcsL7vyrk?si=XuE-Rdd8qgD8g14I
https://youtu.be/ovJcsL7vyrk?si=XuE-Rdd8qgD8g14I
YouTube
This equation will change how you see the world (the logistic map)
The logistic map connects fluid convection, neuron firing, the Mandelbrot set and so much more. Fasthosts Techie Test competition is now closed! Learn more about Fasthosts here: https://www.fasthosts.co.uk/veritasium Code for interactives is available below...…