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
The Pain Of Real Linear Types in Rust
https://gankra.github.io/blah/linear-rust/
https://gankra.github.io/blah/linear-rust/
Faultlore
The Pain Of Linear Types In Rust - Faultlore
Notes on Type Layouts and ABIs in Rust
https://gankra.github.io/blah/rust-layouts-and-abis/
https://gankra.github.io/blah/rust-layouts-and-abis/
Faultlore
Notes on Type Layouts and ABIs in Rust - Faultlore
How Swift Achieved Dynamic Linking Where Rust Couldn't
https://gankra.github.io/blah/swift-abi/
https://gankra.github.io/blah/swift-abi/
Faultlore
How Swift Achieved Dynamic Linking Where Rust Couldn't - Faultlore
C++ Metaprogramming use case: Declarative Message Handling in Embedded Systems
https://youtu.be/LdPgNFR7OL8
https://youtu.be/LdPgNFR7OL8
YouTube
Message Handling in Embedded: a Declarative, Modern C++ Approach - Michael Caisse - CppNow 2022
Slides: https://github.com/boostcon
CppNow Website: https://www.cppnow.org
CppNow Twitter: @CppNow
---
Message Handling in Embedded: a Declarative, Modern C++ Approach - Michael Caisse - CppNow 2022
A common characteristic of embedded systems is that…
CppNow Website: https://www.cppnow.org
CppNow Twitter: @CppNow
---
Message Handling in Embedded: a Declarative, Modern C++ Approach - Michael Caisse - CppNow 2022
A common characteristic of embedded systems is that…
Obscure Rust: Reborrowing is a half-baked feature
https://haibane-tenshi.github.io/rust-reborrowing/
https://haibane-tenshi.github.io/rust-reborrowing/
Extreme Explorations of Typescript Type System
https://www.learningtypescript.com/articles/extreme-explorations-of-typescripts-type-system
https://www.learningtypescript.com/articles/extreme-explorations-of-typescripts-type-system
Learningtypescript
Extreme Explorations of TypeScript's Type System | Learning TypeScript
Some of the most creative, wacky explorations of what you can do in TypeScript's type system!
The Nth Element: @krisjusiak on pack and tuple indexing. A study of C++ metaprogramming solutions that draws a strong distinction between the current state of the art and what could be done with language-level support
https://youtu.be/LfOh0DwTP00
https://youtu.be/LfOh0DwTP00
❤1👍1
autocxx: Tool for safe ergonomic Rust/C++ interop driven from existing C++ headers
https://github.com/google/autocxx
https://github.com/google/autocxx
GitHub
GitHub - google/autocxx: Tool for safe ergonomic Rust/C++ interop driven from existing C++ headers
Tool for safe ergonomic Rust/C++ interop driven from existing C++ headers - google/autocxx