SEDA-sosp.pdf
298.8 KB
SEDA
: An Architecture for Well-Conditioned, Scalable Internet Services (2001)
LMAX Disruptor
: High performance alternative to bounded queues for exchanging data between concurrent threadshttps://lmax-exchange.github.io/disruptor/disruptor.html
lmax-exchange.github.io
LMAX Disruptor: High performance alternative to bounded queues for exchanging data between concurrent threads
What Vale Taught Me About Linear Types, Borrowing, and Memory Safety
https://verdagon.dev/blog/linear-types-borrowing
https://verdagon.dev/blog/linear-types-borrowing
Total Denotational Semantics
https://fixpt.de/blog/2024-09-23-total-denotational-semantics.html
https://fixpt.de/blog/2024-09-23-total-denotational-semantics.html
Advanced C
: The UB and optimizations that trick good programmershttps://youtu.be/w3_e9vZj7D8?si=YqdjSq6JpzIIvFwc
YouTube
Advanced C: The UB and optimizations that trick good programmers.
This is a video that will talk about some less know things in the programming language C, and how these things impact optimizations and the kinds of bugs that they can produce. This is not a video for beginner programmers.
twitter:
@quelsolaar (professional)…
twitter:
@quelsolaar (professional)…
Code Generation in Rust vs C++26
https://brevzin.github.io/c++/2024/09/30/annotations/
https://brevzin.github.io/c++/2024/09/30/annotations/
Barry’s C++ Blog
Code Generation in Rust vs C++26
One of the things I like to do is compare how different languages solve the same problem — especially when they end up having very different approaches. It’s always educational. In this case, a bunch of us have been working hard on trying to get reflection…
Safety Goggles for Alchemists
https://jack.wrenn.fyi/blog/safety-goggles-for-alchemists/
https://jack.wrenn.fyi/blog/safety-goggles-for-alchemists/
Jack Sometimes Writes
Safety Goggles for Alchemists
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...