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
Randar: an exploit for Minecraft which uses LLL lattice reduction to crack the internal state of an incorrectly reused java.util.Random in the Minecraft server, then works backwards from that to locate other players currently loaded into the worldhttps://github.com/spawnmason/randar-explanation
GitHub
GitHub - spawnmason/randar-explanation: "Randar" is an exploit for Minecraft which uses LLL lattice reduction to crack the internal…
"Randar" is an exploit for Minecraft which uses LLL lattice reduction to crack the internal state of an incorrectly reused java.util.Random in the Minecraft server, then works bac...
🤯4😱2😍1🗿1
Homeomorphic embedding for online termination of symbolic methods
https://dl.acm.org/doi/10.5555/860256.860274
https://dl.acm.org/doi/10.5555/860256.860274
🔥1🤯1
Staged Compilation with Two-Level Type Theory
https://www.inf.elte.hu/dstore/document/2582/tkp_2023_01_18_prez_Kov%C3%A1cs_A.pdf
https://www.inf.elte.hu/dstore/document/2582/tkp_2023_01_18_prez_Kov%C3%A1cs_A.pdf
👍1
Distillation: extracting the essence of programs
https://www.semanticscholar.org/paper/Distillation%3A-extracting-the-essence-of-programs-Hamilton/08871ba7e80525327ba4404ea41ccaf6aa18187d
https://www.semanticscholar.org/paper/Distillation%3A-extracting-the-essence-of-programs-Hamilton/08871ba7e80525327ba4404ea41ccaf6aa18187d
👍1🔥1
A 100x speedup with unsafe Python
https://yosefk.com/blog/a-100x-speedup-with-unsafe-python.html
https://yosefk.com/blog/a-100x-speedup-with-unsafe-python.html
Results of the Grand C++ Error Explosion Competition
https://www.tumblr.com/tgceec/74534916370/results-of-the-grand-c-error-explosion
https://www.tumblr.com/tgceec/74534916370/results-of-the-grand-c-error-explosion
Tumblr
Post by @tgceec
💬 0 🔁 173 ❤️ 203 · Results of the Grand C++ Error Explosion Competition · After much deliberation, the winners of the Grand C++ Error Explosion Competition are finally selected. There are two dif…
A Simple and Efficient Implementation of Strong Call by Need by an Abstract Machine
https://dl.acm.org/doi/pdf/10.1145/3549822
https://dl.acm.org/doi/pdf/10.1145/3549822
Implementing term rewriting by jungle evaluation
https://www.rairo-ita.org/articles/ita/pdf/1991/05/ita1991250504451.pdf
https://www.rairo-ita.org/articles/ita/pdf/1991/05/ita1991250504451.pdf