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,...
🔥7🗿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
🔥3😡2🤨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
🗿4🤣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
🥴3🤯2
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
Tcl Combinator Engine
https://wiki.tcl-lang.org/page/Combinator%20Engine
https://wiki.tcl-lang.org/page/Combinator%20Engine
wiki.tcl-lang.org
Combinator Engine
Tclers wiki
🦄2👾2
FORCE.pdf
67 KB
FORCE: A Fast and Easy-To-Implement Variable-Ordering Heuristic
https://dl.acm.org/doi/pdf/10.1145/764808.764839
https://dl.acm.org/doi/pdf/10.1145/764808.764839
🗿2
2DPDA-simulation.pdf
97.8 KB
Simulation of Two-Way Pushdown Automata Revisited
https://arxiv.org/pdf/1309.5142
https://arxiv.org/pdf/1309.5142
🔥2😱1
abstract-interpretation-symbolic.pdf
502.2 KB
Abstract Interpretation, Symbolic Execution and Constraints
https://drops.dagstuhl.de/storage/01oasics/oasics-vol086-gabbriellis-festschrift/OASIcs.Gabbrielli.7/OASIcs.Gabbrielli.7.pdf
https://drops.dagstuhl.de/storage/01oasics/oasics-vol086-gabbriellis-festschrift/OASIcs.Gabbrielli.7/OASIcs.Gabbrielli.7.pdf
🔥5🙏2❤1
Practical Guide to Bare Metal C++
https://arobenko.github.io/bare_metal_cpp/
https://arobenko.github.io/bare_metal_cpp/
arobenko.github.io
Practical Guide to Bare Metal C++
🗿7🔥3
Designing a SIMD Algorithm from Scratch (Rust)
https://mcyoung.xyz/2023/11/27/simd-base64/
https://mcyoung.xyz/2023/11/27/simd-base64/
mcyoung.xyz
Designing a SIMD Algorithm from Scratch · mcyoung
🔥5🗿4
Abstraction and Computation
https://scispace.com/pdf/abstraction-and-computation-type-theory-algebraic-structures-3ttu401nkv.pdf
https://scispace.com/pdf/abstraction-and-computation-type-theory-algebraic-structures-3ttu401nkv.pdf
❤7
What Category Theory Teaches Us About DataFrames
https://mchav.github.io/what-category-theory-teaches-us-about-dataframes/
https://mchav.github.io/what-category-theory-teaches-us-about-dataframes/
mchav.github.io
What Category Theory Teaches Us About DataFrames
Every dataframe library ships with hundreds of operations. pandas alone has over 200 methods on a DataFrame. Is pivot different from melt? Is apply different from map? What about transform, agg, applymap, pipe? Some of these seem like the same operation wearing…
❤4
Win32 Is The Only Stable ABI on Linux
https://blog.hiler.eu/win32-the-only-stable-abi/
https://blog.hiler.eu/win32-the-only-stable-abi/
💯4😢2👾1