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 🔁 171 ❤️ 200 · 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
Introduction to Homotopy Type Theory
https://arxiv.org/abs/2212.11082
https://arxiv.org/abs/2212.11082
arXiv.org
Introduction to Homotopy Type Theory
This is an introductory textbook to univalent mathematics and homotopy type theory, a mathematical foundation that takes advantage of the structural nature of mathematical definitions and...
🔥2
Taming Code Explosion in Supercompilation
https://www.diva-portal.org/smash/get/diva2:1013417/FULLTEXT01.pdf
https://www.diva-portal.org/smash/get/diva2:1013417/FULLTEXT01.pdf
👍2
Supercompilation of Double Interpretation (How One Hour of the Machine's Time Can Be Turned to One Second)
https://refal.net/~korlukov/scp2int/Karliukou_Nemytykh.pdf
https://refal.net/~korlukov/scp2int/Karliukou_Nemytykh.pdf
👍1