A Brief History of Microprogramming
https://people.computing.clemson.edu/~mark/uprog.html
https://people.computing.clemson.edu/~mark/uprog.html
Reflection in C++26
https://youtu.be/vRda0mGYg_A?si=-TVsz3GNJYtgUw1x
https://youtu.be/vRda0mGYg_A?si=-TVsz3GNJYtgUw1x
YouTube
Reflection in C++26: the renaissance of C++
Join us for a panel discussion featuring key members of the C++ Standards Committee as we delve into the transformative capabilities of reflection as proposed for C++26. With insights from Hana Dusíková, Inbal Levi, and Daveed Vandevoorde, moderated by JF…
cicm17.pdf
265.6 KB
Automatically Proving Equivalence by Type-Safe Reflection
places2019.pdf
165.4 KB
Value-Dependent Session Design in a Dependently Typed Language
x86/PVM
: Introduce a new hypervisor on top of KVMhttps://lore.kernel.org/lkml/CABgObfaSGOt4AKRF5WEJt2fGMj_hLXd7J2x2etce2ymvT4HkpA@mail.gmail.com/T/#m5380166ee3c0ce945348e361d39bf5ca577a1fbe
Quantum circuits compiler with staging and continuations
https://github.com/Kraks/quantum-compiler
https://github.com/Kraks/quantum-compiler
GitHub
GitHub - Kraks/quantum-compiler: Quantum circuits compiler with staging and continuations
Quantum circuits compiler with staging and continuations - Kraks/quantum-compiler
What P vs NP is actually about
https://vasekrozhon.wordpress.com/2024/08/18/what-p-vs-np-is-actually-about/
https://vasekrozhon.wordpress.com/2024/08/18/what-p-vs-np-is-actually-about/
Vasek Rozhon's blog
What P vs NP is actually about
We recently made a Polylog video about a nonstandard way of understanding the P vs NP problem. As usual, our goal was to present an underrated idea in a broadly understandable way, while being slig…
Handling Bidirectional Control Flow
https://dl.acm.org/doi/pdf/10.1145/3428207
https://dl.acm.org/doi/pdf/10.1145/3428207
Building a Secure Software Supply Chain with GNU Guix
https://arxiv.org/abs/2206.14606
https://arxiv.org/abs/2206.14606
arXiv.org
Building a Secure Software Supply Chain with GNU Guix
The software supply chain is becoming a widespread analogy to designate the series of steps taken to go from source code published by developers to executables running on the users? computers. A...
Emergent Systems based on Glenn Puchtel's Biocybernetic Theory
https://thingspool.net/morsels/page-6.html
https://thingspool.net/morsels/page-6.html
ThingsPool
Emergent Systems based on Glenn Puchtel's Biocybernetic Theory
This a new way of designing biology-inspired emergent systems, based upon Glenn Puchtel's biocybernetic theory. It encompasses the construction of artificial life, artificial mind, virtual ecosystems, wetware, and other nature-inspired phenomena, based on…
Conway's Gradient of Life
https://hardmath123.github.io/conways-gradient.html
https://hardmath123.github.io/conways-gradient.html
Major Version Numbers are Not Sacred
https://tom.preston-werner.com/2022/05/23/major-version-numbers-are-not-sacred
https://tom.preston-werner.com/2022/05/23/major-version-numbers-are-not-sacred
Preston-Werner
Major Version Numbers are Not Sacred
The Long Way to Deforestation: A Type Inference and Elaboration Technique for Removing Intermediate Data Structures
https://dl.acm.org/doi/pdf/10.1145/3674634
https://dl.acm.org/doi/pdf/10.1145/3674634
Practical Design Patterns
: Opaque Pointers and Objects in Chttps://interrupt.memfault.com/blog/opaque-pointers
Interrupt
Practical Design Patterns: Opaque Pointers and Objects in C
An overview of the opaque pointer pattern in C. How to create objects in C.
A formal kernel memory-ordering model
https://lwn.net/Articles/718628/
https://lwn.net/Articles/718628/
Adding row polymorphism to Damas-Hindley-Milner
https://bernsteinbear.com/blog/row-poly/
https://bernsteinbear.com/blog/row-poly/
Max Bernstein
Adding row polymorphism to Damas-Hindley-Milner
Intro to HM