Handbook of Applied Cryptography
https://cacr.uwaterloo.ca/hac/
https://cacr.uwaterloo.ca/hac/
cacr.uwaterloo.ca
Handbook of Applied Cryptography
This site provides order information,
updates, errata, supplementary information, chapter bibliographies,
and other information for the Handbook of Applied
Cryptography by Menezes, van Oorschot and Vanstone.
updates, errata, supplementary information, chapter bibliographies,
and other information for the Handbook of Applied
Cryptography by Menezes, van Oorschot and Vanstone.
👍1
Tailored Termination for Optimal Supercompilation
https://www.cs.purdue.edu/homes/bendy/TailoredSuperOptimization/BespokeSO.pdf
https://www.cs.purdue.edu/homes/bendy/TailoredSuperOptimization/BespokeSO.pdf
🤔2
ITT-Flavored Calculus of Constructions Type Checker
https://gist.github.com/VictorTaelin/dd291148ee59376873374aab0fd3dd78
https://gist.github.com/VictorTaelin/dd291148ee59376873374aab0fd3dd78
Gist
ITT-Flavored Calculus of Constructions Type Checker
ITT-Flavored Calculus of Constructions Type Checker - itt-coc.ts
🤯1
Time- and Size-Efficient Supercompilation
https://www.diva-portal.org/smash/get/diva2:999818/FULLTEXT01.pdf
https://www.diva-portal.org/smash/get/diva2:999818/FULLTEXT01.pdf
❤4
A Self-Applicable Supercompiler
https://refal.botik.ru/library/Nemytykh-Pinchuk-Turchin_A_Self-Applicable_Supercompiler_(LNCS_vol_1110,_1996,_pp_322-337).pdf
https://refal.botik.ru/library/Nemytykh-Pinchuk-Turchin_A_Self-Applicable_Supercompiler_(LNCS_vol_1110,_1996,_pp_322-337).pdf
❤1😱1
Why is Idris 2 so much faster than Idris 1?
https://www.type-driven.org.uk/edwinb/category/posts.html
https://www.type-driven.org.uk/edwinb/category/posts.html
www.type-driven.org.uk
Edwin Brady Posts
❤2
Typelevel Brainfuck in Haskell; Brainfuck implemented solely in Haskell's type system
https://github.com/toptobes/typefuck-haskell
https://github.com/toptobes/typefuck-haskell
GitHub
GitHub - toptobes/typefuck-haskell: Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)
Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell) - GitHub - toptobes/typefuck-haskell: Typelevel Brainfuck; Brainfuck implemented solely in Ha...
❤2
A tutorial implementation of dynamic pattern unification
https://adam.gundry.co.uk/pub/pattern-unify/pattern-unification-2012-07-10.pdf
https://adam.gundry.co.uk/pub/pattern-unify/pattern-unification-2012-07-10.pdf
🔥1
Convergence of program transformers in the metric space of trees
https://www.sciencedirect.com/science/article/pii/S016764239900026X
https://www.sciencedirect.com/science/article/pii/S016764239900026X
🤔1
Metavariables: their Implementation and Use in Program Transformation
https://pat.keldysh.ru/~roman/doc/Turchin/1995-Turchin_Nemytykh--Metavariables_their_Implementation_and_Use_in_Program_Transformation.pdf
https://pat.keldysh.ru/~roman/doc/Turchin/1995-Turchin_Nemytykh--Metavariables_their_Implementation_and_Use_in_Program_Transformation.pdf
👎1🔥1
Solving SAT via interaction net superpositions
https://gist.github.com/VictorTaelin/9061306220929f04e7e6980f23ade615
https://gist.github.com/VictorTaelin/9061306220929f04e7e6980f23ade615
Gist
Simple SAT Solver via superpositions
Simple SAT Solver via superpositions. GitHub Gist: instantly share code, notes, and snippets.
🔥1🤔1
Go: What We Got Right, What We Got Wrong
https://commandcenter.blogspot.com/2024/01/what-we-got-right-what-we-got-wrong.html
https://commandcenter.blogspot.com/2024/01/what-we-got-right-what-we-got-wrong.html
Blogspot
What We Got Right, What We Got Wrong
This is my closing talk ( video ) from the GopherConAU conference in Sydney, given November 10, 2023, the 14th anniversary of Go being lau...
❤3
Towards a Programming Language for Interaction Nets
https://core.ac.uk/download/pdf/82392928.pdf
https://core.ac.uk/download/pdf/82392928.pdf
🔥1🤯1
Program transformation with metasystem transitions
https://www.cambridge.org/core/services/aop-cambridge-core/content/view/F0D67B654FB2C053A961551C357B92E9/S0956796800000757a.pdf/program_transformation_with_metasystem_transitions.pdf
https://www.cambridge.org/core/services/aop-cambridge-core/content/view/F0D67B654FB2C053A961551C357B92E9/S0956796800000757a.pdf/program_transformation_with_metasystem_transitions.pdf
🗿1