Non-Abstract Large System Design
https://sre.google/workbook/non-abstract-design/
https://sre.google/workbook/non-abstract-design/
Designing distributed systems using NALSD flashcards
https://cloud.google.com/blog/products/management-tools/sre-principles-and-flashcards-to-design-nalsd
https://cloud.google.com/blog/products/management-tools/sre-principles-and-flashcards-to-design-nalsd
Google Cloud Blog
SRE principles and flashcards to design NALSD | Google Cloud Blog
Get to know the SRE-inspired principles and numbers, plus handy flashcards, to help you design non-abstract large scale design (NALSD) distributed systems.
The System Design Primer
https://github.com/donnemartin/system-design-primer
https://github.com/donnemartin/system-design-primer
GitHub
GitHub - donnemartin/system-design-primer: Learn how to design large-scale systems. Prep for the system design interview. Includes…
Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards. - donnemartin/system-design-primer
The Architecture of Open Source Applications
https://aosabook.org/en/index.html
https://aosabook.org/en/index.html
LiquidHaskell (LH) refines Haskell's types with logical predicates that let you enforce critical properties at compile time.
https://ucsd-progsys.github.io/liquidhaskell-blog/
https://ucsd-progsys.github.io/liquidhaskell-blog/
Rust Module System Explained
https://aloso.github.io/2021/03/28/module-system.html
https://aloso.github.io/2021/03/28/module-system.html
Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
https://github.com/google/jax
https://github.com/google/jax
GitHub
GitHub - jax-ml/jax: Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more - jax-ml/jax
Functional Programming Jargon in Rust
https://github.com/JasonShin/fp-core.rs#functional-programming-jargon-in-rust
https://github.com/JasonShin/fp-core.rs#functional-programming-jargon-in-rust
GitHub
GitHub - JasonShin/fp-core.rs: A library for functional programming in Rust
A library for functional programming in Rust. Contribute to JasonShin/fp-core.rs development by creating an account on GitHub.
Book: Category Theory for Programmers
https://github.com/hmemcpy/milewski-ctfp-pdf
https://github.com/hmemcpy/milewski-ctfp-pdf
GitHub
GitHub - hmemcpy/milewski-ctfp-pdf: Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source - hmemcpy/milewski-ctfp-pdf
❤1
Fantasy Land: Specification for interoperability of common algebraic structures in JavaScript
https://github.com/fantasyland/fantasy-land
https://github.com/fantasyland/fantasy-land
GitHub
GitHub - fantasyland/fantasy-land: Specification for interoperability of common algebraic structures in JavaScript
Specification for interoperability of common algebraic structures in JavaScript - fantasyland/fantasy-land
👍1
On Transpilers (from C to Zig/Rust/Go)
https://zserge.com/posts/transpilers/
https://zserge.com/posts/transpilers/
Zserge
On Transpilers
Exploring various transpilers from C to "better C" and how they can help replacing C in existing project.
👍2
Using Firecracker and Go to run short-lived, untrusted code execution jobs
https://stanislas.blog/2021/08/firecracker/
https://stanislas.blog/2021/08/firecracker/
Stan's blog
Using Firecracker and Go to run short-lived, untrusted code execution jobs
A concrete use-case of Firecracker with code snippets
👍2
MiniRust: A precise specification for "Rust lite / MIR plus"
https://github.com/RalfJung/minirust
https://github.com/RalfJung/minirust
GitHub
GitHub - minirust/minirust: A precise specification for "Rust lite / MIR plus"
A precise specification for "Rust lite / MIR plus" - minirust/minirust
👍1
No Silver Bullet (1986)
https://worrydream.com/refs/Brooks-NoSilverBullet.pdf
https://worrydream.com/refs/Brooks-NoSilverBullet.pdf
Eclipse OMR: Cross platform components for building reliable, high performance language runtimes
https://github.com/eclipse/omr
https://github.com/eclipse/omr
GitHub
GitHub - eclipse-omr/omr: Eclipse OMR™ Cross platform components for building reliable, high performance language runtimes
Eclipse OMR™ Cross platform components for building reliable, high performance language runtimes - eclipse-omr/omr
OpenBinder: A system-level component architecture, designed to provide a richer high-level abstraction on top of traditional modern operating system services
https://www.angryredplanet.com/~hackbod/openbinder/docs/html/
https://www.angryredplanet.com/~hackbod/openbinder/docs/html/
Initial steps towards assessing the usability of a verification tool (AutoProof)
https://arxiv.org/abs/1704.05008
https://arxiv.org/abs/1704.05008