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)
Collection of insane and fun facts about SQLite
https://avi.im/blag/2024/sqlite-facts
https://avi.im/blag/2024/sqlite-facts
avi.im
Collection of insane and fun facts about SQLite - blag
Some of the interesting and insane facts I learned about SQLite
My failed attempt at AGI on the Tokio Runtime
https://www.christo.sh/building-agi-on-the-tokio-runtime/
https://www.christo.sh/building-agi-on-the-tokio-runtime/
2004-01-30-CGO-LLVM.pdf
202 KB
LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation