Python behind the scenes #1: how the CPython VM works
https://tenthousandmeters.com/blog/python-behind-the-scenes-1-how-the-cpython-vm-works/
https://tenthousandmeters.com/blog/python-behind-the-scenes-1-how-the-cpython-vm-works/
Tenthousandmeters
Python behind the scenes #1: how the CPython VM works
Have you ever wondered what python does when you run one of your programs? $ python script.py This article opens a series which seeks to answer...
❤1
Python behind the scenes #2: how the CPython compiler works
https://tenthousandmeters.com/blog/python-behind-the-scenes-2-how-the-cpython-compiler-works/
https://tenthousandmeters.com/blog/python-behind-the-scenes-2-how-the-cpython-compiler-works/
Tenthousandmeters
Python behind the scenes #2: how the CPython compiler works
In the first post of the series we've looked at the CPython VM. We've learned that it works by executing a series of instructions called bytecode....
Python behind the scenes #3: stepping through the CPython source code
https://tenthousandmeters.com/blog/python-behind-the-scenes-3-stepping-through-the-cpython-source-code/
https://tenthousandmeters.com/blog/python-behind-the-scenes-3-stepping-through-the-cpython-source-code/
Tenthousandmeters
Python behind the scenes #3: stepping through the CPython source code
In the first and the second parts of this series we explored the ideas behind the execution and the compilation of a Python program. We'll...
Python behind the scenes #4: how Python bytecode is executed
https://tenthousandmeters.com/blog/python-behind-the-scenes-4-how-python-bytecode-is-executed/
https://tenthousandmeters.com/blog/python-behind-the-scenes-4-how-python-bytecode-is-executed/
Tenthousandmeters
Python behind the scenes #4: how Python bytecode is executed
We started this series with an overview of the CPython VM. We learned that to run a Python program, CPython first compiles it to bytecode, and we...
Python behind the scenes #5: how variables are implemented in CPython
https://tenthousandmeters.com/blog/python-behind-the-scenes-5-how-variables-are-implemented-in-cpython/
https://tenthousandmeters.com/blog/python-behind-the-scenes-5-how-variables-are-implemented-in-cpython/
Tenthousandmeters
Python behind the scenes #5: how variables are implemented in CPython
Consider a simple assignment statement in Python: a = b The meaning of this statement may seem trivial. What we do here is take the value of the...
Python behind the scenes #6: how Python object system works
https://tenthousandmeters.com/blog/python-behind-the-scenes-6-how-python-object-system-works/
https://tenthousandmeters.com/blog/python-behind-the-scenes-6-how-python-object-system-works/
Tenthousandmeters
Python behind the scenes #6: how Python object system works
As we know from the previous parts of this series, the execution of a Python program consists of two major steps: 1. The CPython compiler...
Python behind the scenes #13: the GIL and its effects on Python multithreading
https://tenthousandmeters.com/blog/python-behind-the-scenes-13-the-gil-and-its-effects-on-python-multithreading/
https://tenthousandmeters.com/blog/python-behind-the-scenes-13-the-gil-and-its-effects-on-python-multithreading/
Tenthousandmeters
Python behind the scenes #13: the GIL and its effects on Python multithreading
As you probably know, the GIL stands for the Global Interpreter Lock, and its job is to make the CPython interpreter thread-safe. The GIL allows...
Destination Driven Code Generation
https://legacy.cs.indiana.edu/~dyb/pubs/ddcg.pdf
https://legacy.cs.indiana.edu/~dyb/pubs/ddcg.pdf
Tracy Profiler (C++): A real time, nanosecond resolution, remote telemetry, hybrid frame and sampling profiler for games and other applications
https://github.com/wolfpld/tracy
https://github.com/wolfpld/tracy
GitHub
GitHub - wolfpld/tracy: Frame profiler
Frame profiler. Contribute to wolfpld/tracy development by creating an account on GitHub.
Main is usually a function. So then when is it not? (C/C++)
https://jroweboy.github.io/c/asm/2015/01/26/when-is-main-not-a-function.html
https://jroweboy.github.io/c/asm/2015/01/26/when-is-main-not-a-function.html
jroweboy.github.io
Main is usually a function. So then when is it not?
It began when my coworker, despite already knowing how to program, was forced to take the intro level Computer Science course at my university. We joked with...
Polyglot Assembly
https://vojtechkral.github.io/blag/polyglot-assembly/
https://vojtechkral.github.io/blag/polyglot-assembly/
Synthesis of Heap-Manipulating Programs from Separation Logic
https://gopiandcode.uk/logs/log-certified-synthesis.html
https://gopiandcode.uk/logs/log-certified-synthesis.html
gopiandcode.uk
Gopiandcode > logs > Goodbye C developers: The future of programming with certified program synthesis
RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types
https://plv.mpi-sws.org/refinedc/
https://plv.mpi-sws.org/refinedc/
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…
🤯1
Bosque is a language which mixes C++ performance and TypeScript like syntax with a rich type system and embedded verification
https://github.com/microsoft/BosqueLanguage
https://github.com/microsoft/BosqueLanguage
GitHub
GitHub - microsoft/BosqueLanguage: The Bosque programming language is an experiment in regularized design for a machine assisted…
The Bosque programming language is an experiment in regularized design for a machine assisted rapid and reliable software development lifecycle. - GitHub - microsoft/BosqueLanguage: The Bosque pro...
Zig Parser Combinators and Why They're Awesome
https://devlog.hexops.com/2021/zig-parser-combinators-and-why-theyre-awesome/
https://devlog.hexops.com/2021/zig-parser-combinators-and-why-theyre-awesome/
Hexops
Zig, Parser Combinators - and Why They're Awesome
In this article we will be exploring what parser combinators are, what runtime parser generation is - why they're useful, and then walking through a Zig implementation of them.
👍1
Cloning a (Micro) VM in 2 seconds (Firecracker)
https://codesandbox.io/post/how-we-clone-a-running-vm-in-2-seconds
https://codesandbox.io/post/how-we-clone-a-running-vm-in-2-seconds
CodeSandbox
How we clone a running VM in 2 seconds
Or... how to clone a running Minecraft server
A Guide To Parsing: Algorithms and Terminology
https://tomassetti.me/guide-parsing-algorithms-terminology/
https://tomassetti.me/guide-parsing-algorithms-terminology/
Strumenta
A Guide To Parsing: Algorithms And Terminology
An in-depth coverage of parsing terminology an issues, together with an explanation for each one of the major algorithms and when to use them