New C++ Features in GCC 12
https://developers.redhat.com/articles/2022/04/25/new-c-features-gcc-12#
https://developers.redhat.com/articles/2022/04/25/new-c-features-gcc-12#
Red Hat Developer
New C++ features in GCC 12 | Red Hat Developer
Version 12.1 of the GNU Compiler Collection (GCC) is expected to be released in April 2022. Like every major GCC release, this version will bring many additions, improvements, bug fixes, and new
The Lost Art of Structure Packing
https://www.catb.org/esr/structure-packing/
https://www.catb.org/esr/structure-packing/
β€2
Operation Costs in CPU Clock Cycles
https://ithare.com/infographics-operation-costs-in-cpu-clock-cycles/
https://ithare.com/infographics-operation-costs-in-cpu-clock-cycles/
IT Hare on Soft.ware
Infographics: Operation Costs in CPU Clock Cycles
Infographics: operation cost in cycles (from <1 cycle for ADD/XOR/... to up to a million for a thread context switch)
β€2π1
Introduction to Compilers and Language Design
https://www3.nd.edu/~dthain/compilerbook/
https://www3.nd.edu/~dthain/compilerbook/
π6
How Uber Uses Zig (Spoiler: as CGo Cross-Compiler)
https://jakstys.lt/2022/how-uber-uses-zig/
https://jakstys.lt/2022/how-uber-uses-zig/
π1
Low Level JavaScript Videos
https://youtube.com/c/LowLevelJavaScript
https://youtube.com/c/LowLevelJavaScript
π3
Go Generics implementation - GC Shape Stenciling
https://go.googlesource.com/proposal/+/refs/heads/master/design/generics-implementation-gcshape.md
https://go.googlesource.com/proposal/+/refs/heads/master/design/generics-implementation-gcshape.md
Go Generics implementation - Stenciling
https://go.googlesource.com/proposal/+/refs/heads/master/design/generics-implementation-stenciling.md
https://go.googlesource.com/proposal/+/refs/heads/master/design/generics-implementation-stenciling.md
The Art of The MetaObject Protocol
https://en.m.wikipedia.org/wiki/The_Art_of_the_Metaobject_Protocol
https://en.m.wikipedia.org/wiki/The_Art_of_the_Metaobject_Protocol
Wikipedia
The Art of the Metaobject Protocol
book by Gregor Kiczales
π2
Unsupervised Translation of Programming Languages
https://arxiv.org/abs/2006.03511
https://arxiv.org/abs/2006.03511
20 Small yet Handy C++20 Features
https://www.cppstories.com/2022/20-smaller-cpp20-features/
https://www.cppstories.com/2022/20-smaller-cpp20-features/
C++ Stories
20 Smaller yet Handy C++20 Features
C++20 is huge and filled with lots of large features. Just to mention a few: Modules, Coroutines, Concepts, Ranges, Calendar & Timezone, Formatting library.
But, as you know, thatβs not all.
Depending on how we count, C++20 brought around 80 Library featuresβ¦
But, as you know, thatβs not all.
Depending on how we count, C++20 brought around 80 Library featuresβ¦
A C++17 Thread Pool for High-Performance Scientific Computing
https://arxiv.org/abs/2105.00613
https://arxiv.org/abs/2105.00613
Data Race (Anti) Patterns in Go
https://eng.uber.com/data-race-patterns-in-go/
https://eng.uber.com/data-race-patterns-in-go/
π1
CreuSAT: Formally verified SAT solver written in Rust and verified with Creusot
https://github.com/sarsko/CreuSAT
https://github.com/sarsko/CreuSAT
GitHub
GitHub - sarsko/CreuSAT: CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot. - sarsko/CreuSAT
Ante: A low-level functional language for exploring refinement types, lifetime inference, and algebraic effects
https://antelang.org/
https://antelang.org/
antelang.org
For exploring algebraic effects, safe shared mutability, and other novel features