Garbage Collection for Systems Programmers
https://bitbashing.io/gc-for-systems-programmers.html
https://bitbashing.io/gc-for-systems-programmers.html
Bit Bashing
Garbage Collection for Systems Programmers
Yet another programming blog. Thoughts on software and related misadventures.
👍2👌1
Fixing a Bug in PyPy's Incremental GC
https://www.pypy.org/posts/2024/03/fixing-bug-incremental-gc.html
https://www.pypy.org/posts/2024/03/fixing-bug-incremental-gc.html
PyPy
Fixing a Bug in PyPy's Incremental GC
Introduction
Since last summer, I've been looking on and off into a weird and hard to
reproduce crash bug in PyPy. It was
manifesting only on CI, and it seemed to always happen in the AST rewriting
ph
Since last summer, I've been looking on and off into a weird and hard to
reproduce crash bug in PyPy. It was
manifesting only on CI, and it seemed to always happen in the AST rewriting
ph
👍2
Improvements to static analysis in the GCC 14 compiler
https://developers.redhat.com/articles/2024/04/03/improvements-static-analysis-gcc-14-compiler
https://developers.redhat.com/articles/2024/04/03/improvements-static-analysis-gcc-14-compiler
Red Hat Developer
Improvements to static analysis in the GCC 14 compiler | Red Hat Developer
I work at Red Hat on GCC, the GNU Compiler Collection. For the last five releases of GCC, I've been working on -fanalyzer, a static analysis pass that tries to identify various problems at
Asymptotic speedup via effect handlers
https://www.cambridge.org/core/journals/journal-of-functional-programming/article/asymptotic-speedup-via-effect-handlers/296879DE2FD96FB6CF388F27978C76E4
https://www.cambridge.org/core/journals/journal-of-functional-programming/article/asymptotic-speedup-via-effect-handlers/296879DE2FD96FB6CF388F27978C76E4
Cambridge Core
Asymptotic speedup via effect handlers | Journal of Functional Programming | Cambridge Core
Asymptotic speedup via effect handlers - Volume 34
The Preprocessor Iceberg Meme
https://jadlevesque.github.io/PPMP-Iceberg/
https://jadlevesque.github.io/PPMP-Iceberg/
jadlevesque.github.io
The Preprocessor Iceberg Meme
👍5
Metaprogramming (Julia)
https://docs.julialang.org/en/v1/manual/metaprogramming/#Metaprogramming
https://docs.julialang.org/en/v1/manual/metaprogramming/#Metaprogramming
👍2👎1
A simple program specializer (based on partial evaluation) for a subset of Scheme.
https://github.com/sergei-romanenko/unmix
https://github.com/sergei-romanenko/unmix
GitHub
GitHub - sergei-romanenko/unmix: A simple program specializer (based on partial evaluation) for a subset of Scheme. It includes…
A simple program specializer (based on partial evaluation) for a subset of Scheme. It includes a binding time analyzer, a residual program generator and an arity raiser. Imported from Google Code. ...
What every programmer should know about memory, Part 1
https://lwn.net/Articles/250967/
https://lwn.net/Articles/250967/
LWN.net
What every programmer should know about memory, Part 1
Ulrich Drepper recently approached us asking if we would be interested in publishing a lengthy [...]
❤3👍2
A Lisp Way to Type Theory and Formal Proofs
https://hal.science/hal-01563373
https://hal.science/hal-01563373
hal.science
A Lisp Way to Type Theory and Formal Proofs
In this paper we describe the LaTTe proof assistant, a software that promotes the Lisp notation for the formalization of and reasoning about mathematical contents. LaTTe is based on type theory and implemented as a Clojure library with top-level forms for…
LLPE is a partial evaluator for LLVM bitcode. It is suitable for specialising programs written in C, C++, FORTRAN, or any other language that can be compiled to LLVM intermediate representation.
https://www.llpe.org/
https://www.llpe.org/
LLPE
About LLPE
A highly accurate partial evaluator for LLVM bitcode
🔥3
Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode
https://github.com/lifting-bits/mcsema
https://github.com/lifting-bits/mcsema
GitHub
GitHub - lifting-bits/mcsema: Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode
Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode - lifting-bits/mcsema
Interaction Combinators
Yves Lafont
https://www.sciencedirect.com/science/article/pii/S0890540197926432
Yves Lafont
https://www.sciencedirect.com/science/article/pii/S0890540197926432
👍1
Essence of generalized partial computation
Yoshihiko Futamura
https://www.sciencedirect.com/science/article/pii/030439759190299H
Yoshihiko Futamura
https://www.sciencedirect.com/science/article/pii/030439759190299H
👍1
Macro-header for compile-time C obfuscation (tcc, win x86/x64)
https://github.com/DosX-dev/obfus.h
https://github.com/DosX-dev/obfus.h
GitHub
GitHub - DosX-dev/obfus.h: Macro-header for compile-time C obfuscation (tcc, win x86/x64)
Macro-header for compile-time C obfuscation (tcc, win x86/x64) - DosX-dev/obfus.h
🥴3👎2🔥2👍1🤔1
A Programmer-Friendly I/O Abstraction Over io_uring and kqueue
https://tigerbeetle.com/blog/a-friendly-abstraction-over-iouring-and-kqueue
https://tigerbeetle.com/blog/a-friendly-abstraction-over-iouring-and-kqueue
Tigerbeetle
A Programmer-Friendly I/O Abstraction Over io_uring and kqueue
Insights, updates, and technical deep dives on building a high-performance financial transactions database.
❤1👍1
My ranking of every Shakespeare play
https://nullprogram.com/blog/2023/06/22/
https://nullprogram.com/blog/2023/06/22/
👀2
On the Impact of Programming Languages on Code Quality
https://arxiv.org/pdf/1901.10220.pdf
https://arxiv.org/pdf/1901.10220.pdf
sched_ext is a Linux kernel feature which enables implementing kernel thread schedulers in BPF and dynamically loading them. This repository contains various scheduler implementations and support utilities.https://github.com/sched-ext/scx
GitHub
GitHub - sched-ext/scx: sched_ext schedulers and tools
sched_ext schedulers and tools. Contribute to sched-ext/scx development by creating an account on GitHub.
❤1🤔1