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 ...
07_dijkstra.pdf
1.1 MB
Recursive Programming - Dijkstra (1960)