Programming Deadlock
前往频道在 Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
显示更多1 870
订阅者
+124 小时
+77 天
+3830 天
帖子存档
1 874
Transformational Semantics (TS): Gradually Transforming Syntax to Semantics
https://okmij.org/ftp/gengo/transformational-semantics/index.html
1 874
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/scx1 874
A Programmer-Friendly I/O Abstraction Over io_uring and kqueue
https://tigerbeetle.com/blog/a-friendly-abstraction-over-iouring-and-kqueue
1 874
Macro-header for compile-time C obfuscation (tcc, win x86/x64)
https://github.com/DosX-dev/obfus.h
1 874
Essence of generalized partial computation
Yoshihiko Futamura
https://www.sciencedirect.com/science/article/pii/030439759190299H
1 874
Interaction Combinators
Yves Lafont
https://www.sciencedirect.com/science/article/pii/S0890540197926432
1 874
Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode
https://github.com/lifting-bits/mcsema
1 874
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.
http://www.llpe.org/
1 874
A simple program specializer (based on partial evaluation) for a subset of Scheme.
https://github.com/sergei-romanenko/unmix
1 874
Metaprogramming (Julia)
https://docs.julialang.org/en/v1/manual/metaprogramming/#Metaprogramming
1 874
Asymptotic speedup via effect handlers
https://www.cambridge.org/core/journals/journal-of-functional-programming/article/asymptotic-speedup-via-effect-handlers/296879DE2FD96FB6CF388F27978C76E4
1 874
Improvements to static analysis in the GCC 14 compiler
https://developers.redhat.com/articles/2024/04/03/improvements-static-analysis-gcc-14-compiler
