Retpoline: a software construct for preventing branch-target-injection
https://support.google.com/faqs/answer/7625886
https://support.google.com/faqs/answer/7625886
Google
Retpoline: a software construct for preventing branch-target-injection - Google Help
Author: Paul Turner, Senior Staff Engineer, Technical InfrastructureAt Google, we have been researching mitigation strategies for the new class of exploits discovered by the Project Zero team affectin
Avoiding retpolines with static calls
https://lwn.net/Articles/815908/
https://lwn.net/Articles/815908/
Philosophies of Optimization
https://youtu.be/pgoetgxecw8
https://youtu.be/pgoetgxecw8
YouTube
Refterm Lecture Part 1 - Philosophies of Optimization
https://www.kickstarter.com/projects/annarettberg/meow-the-infinite-book-two
Live Channel: https://www.twitch.tv/molly_rocket
Part 2: https://youtu.be/lStYLF6Us_Q
Part 3: https://youtu.be/hNZF81VYfQo
Part 4: https://youtu.be/cGoQ3ceKX6g
Part 5: https:/…
Live Channel: https://www.twitch.tv/molly_rocket
Part 2: https://youtu.be/lStYLF6Us_Q
Part 3: https://youtu.be/hNZF81VYfQo
Part 4: https://youtu.be/cGoQ3ceKX6g
Part 5: https:/…
❤2
zero-overhead-deterministic-exceptions-c++.pdf
1.2 MB
Zero-Overhead Deterministic Exceptions (C++)
Fail-safe_ANSI-C_compiler_An_approach_to_making_C_.pdf
326.6 KB
Fail-Safe ANSI C (2003)
beyond-c-error-handling-2016.pdf
2.1 MB
Beyond C Error Handling
Xenium: A C++ (Lock-Free) library providing various concurrent data structures and reclamation schemes.
https://github.com/mpoeter/xenium
https://github.com/mpoeter/xenium
GitHub
GitHub - mpoeter/xenium: A C++ library providing various concurrent data structures and reclamation schemes.
A C++ library providing various concurrent data structures and reclamation schemes. - mpoeter/xenium
liblfds: a portable, license-free, lock-free data structure library written in C.https://www.liblfds.org/
Rust's Type System is Turing-Complete
https://sdleffler.github.io/RustTypeSystemTuringComplete/
https://sdleffler.github.io/RustTypeSystemTuringComplete/
sdleffler.github.io
Rust's Type System is Turing-Complete
(N.B. The word “fuck” appears multiple times in this post. I recommend that
the reader temporarily not consider “fuck” as profanity, as it isn’t used that
way here.)
the reader temporarily not consider “fuck” as profanity, as it isn’t used that
way here.)
Metaprogramming in Python
https://developer.ibm.com/tutorials/ba-metaprogramming-python/
https://developer.ibm.com/tutorials/ba-metaprogramming-python/
Cross-Compiling and packaging C, Go and Zig projects with Nix and Zigcross
https://flyx.org/cross-packaging/
https://flyx.org/cross-packaging/
The Journal of Computer Graphics Techniques
https://jcgt.org/read.html
https://jcgt.org/read.html
Category Theory for Programmers
https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/
https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/
Bartosz Milewski's Programming Cafe
Category Theory for Programmers: The Preface
Table of Contents Part One Category: The Essence of Composition Types and Functions Categories Great and Small Kleisli Categories Products and Coproducts Simple Algebraic Data Types Functors Functo…
The Page-Fault Weird Machine: Lessons in Instruction-less Computation
https://www.cs.dartmouth.edu/~sws/pubs/bbss13.pdf
https://www.cs.dartmouth.edu/~sws/pubs/bbss13.pdf
❤2
Correct Benchmarking (C++)
https://archivist.nekoit.xyz/correct-benchmarking/
https://archivist.nekoit.xyz/correct-benchmarking/
Archivist's Mumbling
Correct benchmarking
Benchmarks and microbenchmarks have been a staple of computer science for the better part of its history. We spent a lot of time learning about fast code and how to measure it. You can't control what you can't measure — Tom DeMarco To control software runtime…
An Elementary Introduction to
Curry Howard de Bruijn Correspondence
https://patternatlas.com/v0/curry-howard-de-bruijn/
Curry Howard de Bruijn Correspondence
https://patternatlas.com/v0/curry-howard-de-bruijn/
PatternAtlas: An Elementary Introduction to the Curry Howard de Bruijn Correspondence
An Elementary Introduction to the Curry Howard de Bruijn Correspondence
An elementary introduction to the Curry Howard de Bruijn Correspondence.