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
Unsafe Zig is Safer than Unsafe Rust
https://andrewkelley.me/post/unsafe-zig-safer-than-unsafe-rust.html
https://andrewkelley.me/post/unsafe-zig-safer-than-unsafe-rust.html
😁2😱2
MIRI (Rust Interpreter) Changelog
https://www.ralfj.de/blog/2022/07/02/miri.html
https://www.ralfj.de/blog/2022/07/02/miri.html
www.ralfj.de
The last two years in Miri
It has been almost two years since my last Miri status update. A lot has happened in the mean time that I would like to tell you all about! If you are using Miri, you might also be seeing n...
🤔1
Improving performance with SIMD intrinsics in three use cases
https://stackoverflow.blog/2020/07/08/improving-performance-with-simd-intrinsics-in-three-use-cases/
https://stackoverflow.blog/2020/07/08/improving-performance-with-simd-intrinsics-in-three-use-cases/
stackoverflow.blog
Improving performance with SIMD intrinsics in three use cases - Stack Overflow
uWebSockets: High Performance C++ WebSockets Implementation (Beating Rust Actix)
https://github.com/uNetworking/uWebSockets
https://github.com/uNetworking/uWebSockets
GitHub
GitHub - uNetworking/uWebSockets: Simple, secure & standards compliant web server for the most demanding of applications
Simple, secure & standards compliant web server for the most demanding of applications - uNetworking/uWebSockets
👍3
Eff: functional programming language based on algebraic effect handlers
https://www.eff-lang.org/
https://www.eff-lang.org/
8 Fallacies of Distributed Computing
https://en.wikipedia.org/wiki/Fallacies_of_distributed_computing
https://en.wikipedia.org/wiki/Fallacies_of_distributed_computing
Memory Safety in a Modern System Programming (DLang)
https://dlang.org/blog/2022/06/21/dip1000-memory-safety-in-a-modern-system-programming-language-pt-1/
https://dlang.org/blog/2022/06/21/dip1000-memory-safety-in-a-modern-system-programming-language-pt-1/
❤1
OSv: Open Source High Performance Operating System (Unikernel) Designed for the Cloud
https://osv.io/
https://osv.io/
osv.io
OSv - the operating system designed for the cloud
OSv is an open source project to
build the best OS for cloud workloads
build the best OS for cloud workloads