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🤨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
🗿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🔥2
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
🔥4🗿1