A Basic Just-In-Time Compiler (written in C for Win32/POSIX)
https://nullprogram.com/blog/2015/03/19/
https://nullprogram.com/blog/2015/03/19/
TypeChef is a research project with the goal of analyzing #ifdef variability in C code with the goal of finding variability-induced bugs in large-scale real-world systems, such as the Linux kernel with several thousand features (or configuration options).
https://github.com/ckaestne/TypeChef
https://github.com/ckaestne/TypeChef
GitHub
GitHub - ckaestne/TypeChef: Type checking ifdef variability
Type checking ifdef variability. Contribute to ckaestne/TypeChef development by creating an account on GitHub.
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...