Tail recursion for macros in C
https://gustedt.wordpress.com/2024/07/19/tail-recursion-for-macros-in-c/
https://gustedt.wordpress.com/2024/07/19/tail-recursion-for-macros-in-c/
Jens Gustedt's Blog
Tail recursion for macros in C
In view of the addition of __VA_OPT__ first to C++ and now to C23, there had been interest in extending the C preprocessor to include recursion. The basic idea would be that __VA_OPT__ can be used …
Curiously Cumbersome Rust: Type-level Programminghttps://geo-ant.github.io/blog/2023/rust-type-level-programming/
geo-ant.github.io
Curiously Cumbersome Rust: Type-level Programming
The moment that spawned this article was when I asked myself how hard
can it be to make sure two types have the same size at compile time? Well…
it’s complicated. In here, we’ll do a deep dive into the limits of compile
time metaprogamming in today’s (and…
can it be to make sure two types have the same size at compile time? Well…
it’s complicated. In here, we’ll do a deep dive into the limits of compile
time metaprogamming in today’s (and…
Free Monads, Intrinsic Scoping, and Higher-Order Preunification
https://arxiv.org/pdf/2204.05653
https://arxiv.org/pdf/2204.05653
c11comp.pdf
581.1 KB
Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it
concurrency-primer.pdf
1.3 MB
What every systems programmer should know about concurrency
p539-neumann.pdf
559.4 KB
Efficiently Compiling Efficient Query Plans for Modern Hardware
There Is No Silver Bullet to Solve All C++ Software Problems - Klaus Iglberger - C++ on Sea
https://m.youtube.com/watch?v=m3UmABVf55g
https://m.youtube.com/watch?v=m3UmABVf55g
YouTube
Keynote: There Is No Silver Bullet to Solve All C++ Software Problems - Klaus Iglberger - C++ on Sea
https://cpponsea.uk
---
Keynote: There Is No Silver Bullet to Solve All C++ Software Problems - Klaus Iglberger - C++ on Sea 2024
---
Most developers love simplifications — they love the idea of that one tool that solves all of their problems. We have…
---
Keynote: There Is No Silver Bullet to Solve All C++ Software Problems - Klaus Iglberger - C++ on Sea 2024
---
Most developers love simplifications — they love the idea of that one tool that solves all of their problems. We have…
A Deforestation of Reducts: Refocusing
https://arxiv.org/pdf/2302.10455v1
https://arxiv.org/pdf/2302.10455v1
A static semantics for Haskell
https://www.microsoft.com/en-us/research/wp-content/uploads/1991/03/A-Static-Semantics-for-Haskell_small.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/1991/03/A-Static-Semantics-for-Haskell_small.pdf
Make your QEMU 10 times faster
https://linus.schreibt.jetzt/posts/qemu-9p-performance.html
https://linus.schreibt.jetzt/posts/qemu-9p-performance.html
Microsoft Research Detours Package
https://github.com/microsoft/Detours
https://github.com/microsoft/Detours
GitHub
GitHub - microsoft/Detours: Detours is a software package for monitoring and instrumenting API calls on Windows. It is distributed…
Detours is a software package for monitoring and instrumenting API calls on Windows. It is distributed in source code form. - microsoft/Detours
Clay: a flex-box style UI auto layout library in C, with declarative syntax and microsecond performancehttps://www.nicbarker.com/clay
Interactive Programs in Dependent Type Theory
https://csetzer.github.io/articles/ioconf.pdf
https://csetzer.github.io/articles/ioconf.pdf
The Simple Essence of Algebraic Subtyping: Principal Type Inference with Subtyping Made Easy (Functional Pearl)
https://dl.acm.org/doi/pdf/10.1145/3409006
https://dl.acm.org/doi/pdf/10.1145/3409006
Parsing millions of URLs per second (C++)
https://onlinelibrary.wiley.com/doi/10.1002/spe.3296
https://onlinelibrary.wiley.com/doi/10.1002/spe.3296
Wiley Online Library
Parsing millions of URLs per second
URLs are fundamental elements of web applications. By applying vector algorithms, we built a fast standard-compliant C++ implementation. Our parser uses three times fewer instructions than competing ...