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🗿3
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
❤6