Copy-and-Patch Compilation: A fast compilation algorithm for high-level languages and bytecodehttps://arxiv.org/abs/2011.13127
arXiv.org
Copy-and-Patch Compilation: A fast compilation algorithm for...
Fast compilation is important when compilation occurs at runtime, such as query compilers in modern database systems and WebAssembly virtual machines in modern browsers. We present copy-and-patch,...
🔥6🗿2
paramorphism-synthesis.pdf
370.6 KB
Recursive Program Synthesis using Paramorphisms
https://dl.acm.org/doi/pdf/10.1145/3656381
https://dl.acm.org/doi/pdf/10.1145/3656381
🔥2
unification-and-anti-CoC.pdf
168.7 KB
Unification and Anti-Unification in the Calculus of Constructions
https://www.cs.cmu.edu/~fp/papers/lics91.pdf
https://www.cs.cmu.edu/~fp/papers/lics91.pdf
🙏2👍1🔥1
MeTTa Optimal Reduction Kernel: A blazing fast hypergraph processing kernel for Hyperonhttps://github.com/trueagi-io/MORK
GitHub
GitHub - trueagi-io/MORK: MeTTa Optimal Reduction Kernel
MeTTa Optimal Reduction Kernel. Contribute to trueagi-io/MORK development by creating an account on GitHub.
🔥2👍1🤔1
2309.06180v1.pdf
1.4 MB
Efficient Memory Management for Large Language Model Serving with PagedAttention
https://arxiv.org/abs/2309.06180
https://arxiv.org/abs/2309.06180
🤨4💯3🗿1
How to Choose Between Hindley-Milner and Bidirectional Typing
https://thunderseethe.dev/posts/how-to-choose-between-hm-and-bidir/
https://thunderseethe.dev/posts/how-to-choose-between-hm-and-bidir/
Thunderseethe's Devlog
How to Choose Between Hindley-Milner and Bidirectional Typing
A false dichotomy that hides the real request
❤1🔥1🫡1🦄1
An assembler that compiles to printf
https://git.sr.ht/~sebsite/printfasm
https://git.sr.ht/~sebsite/printfasm
🔥2🤨1😡1
p2816r0.pdf
1.3 MB
Safety Profiles: Type-and-resource Safe programming in ISO Standard C++https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2023/p2816r0.pdf
🗿3🤣1
Game_Theory_Analysis_of_Strategic_Choicesin_Programming_Education.pdf
74.9 KB
Game Theory Analysis of Strategic Choices in Programming Education and AI-Assisted Development
🤯2🥴1
Distributed systems for fun and profit
.https://book.mixu.net/distsys/single-page.html
.https://book.mixu.net/distsys/single-page.html
🔥2
babble.pdf
1.3 MB
babble: Learning Better Abstractions with E-Graphs and Anti-unification
https://dl.acm.org/doi/epdf/10.1145/3571207
https://dl.acm.org/doi/epdf/10.1145/3571207
🔥2