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
Syscalls for Linux on Clang++
https://archivist.nekoit.xyz/syscall-for-linux-on-clang/
https://archivist.nekoit.xyz/syscall-for-linux-on-clang/
Archivist's Mumbling
Syscalls for Linux on Clang++
Here is a snippet of code to perform system calls on x86_64 in C++ (Clang or GCC) without any standard library: #pragma once #include <cstdint> #include <cstddef> template<int64_t syscall_id, int arg_count> struct syscall; template<int64_t syscall_id&
Attacking Firecracker: AWS' microVM Monitor Written in Rust
https://www.graplsecurity.com/post/attacking-firecracker
https://www.graplsecurity.com/post/attacking-firecracker
The Genesis of Casting (History of C++)
https://belaycpp.com/2021/10/14/history-of-c-the-genesis-of-casting/
https://belaycpp.com/2021/10/14/history-of-c-the-genesis-of-casting/
C Portability Lessons from Weird Machines
https://begriffs.com/posts/2018-11-15-c-portability.html
https://begriffs.com/posts/2018-11-15-c-portability.html
Begriffs
C Portability Lessons from Weird Machines
A gallery of retrocomputing that shaped the C language
Optimizations in C++ Compilers
https://queue.acm.org/detail.cfm?id=3372264
https://queue.acm.org/detail.cfm?id=3372264
queue.acm.org
Optimizations in C++ Compilers - ACM Queue
There
Retpoline: a software construct for preventing branch-target-injection
https://support.google.com/faqs/answer/7625886
https://support.google.com/faqs/answer/7625886
Google
Retpoline: a software construct for preventing branch-target-injection - Google Help
Author: Paul Turner, Senior Staff Engineer, Technical InfrastructureAt Google, we have been researching mitigation strategies for the new class of exploits discovered by the Project Zero team affectin
Avoiding retpolines with static calls
https://lwn.net/Articles/815908/
https://lwn.net/Articles/815908/
Philosophies of Optimization
https://youtu.be/pgoetgxecw8
https://youtu.be/pgoetgxecw8
YouTube
Refterm Lecture Part 1 - Philosophies of Optimization
https://www.kickstarter.com/projects/annarettberg/meow-the-infinite-book-two
Live Channel: https://www.twitch.tv/molly_rocket
Part 2: https://youtu.be/lStYLF6Us_Q
Part 3: https://youtu.be/hNZF81VYfQo
Part 4: https://youtu.be/cGoQ3ceKX6g
Part 5: https:/…
Live Channel: https://www.twitch.tv/molly_rocket
Part 2: https://youtu.be/lStYLF6Us_Q
Part 3: https://youtu.be/hNZF81VYfQo
Part 4: https://youtu.be/cGoQ3ceKX6g
Part 5: https:/…
❤2