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
Transformational Semantics (TS): Gradually Transforming Syntax to Semantics
https://okmij.org/ftp/gengo/transformational-semantics/index.html
https://okmij.org/ftp/gengo/transformational-semantics/index.html
okmij.org
Transformational Semantics
An approach to deriving the meaning of a sentence through a series of rigorously specified transformations