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