From af3e6e2cb011dc2ad9204440990731a2f272716d Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sat, 12 Jun 2021 01:32:40 -0400 Subject: Constraining the year of the snapshot time in Aedifex. --- .../bookmark/Optics (eg lenses & prisms).md | 24 -------------- .../bookmark/back-end/WebAssembly (WASM).md | 33 ------------------- documentation/bookmark/back-end/wasm.md | 37 ++++++++++++++++++++++ documentation/bookmark/optics.md | 24 ++++++++++++++ 4 files changed, 61 insertions(+), 57 deletions(-) delete mode 100644 documentation/bookmark/Optics (eg lenses & prisms).md delete mode 100644 documentation/bookmark/back-end/WebAssembly (WASM).md create mode 100644 documentation/bookmark/back-end/wasm.md create mode 100644 documentation/bookmark/optics.md (limited to 'documentation') diff --git a/documentation/bookmark/Optics (eg lenses & prisms).md b/documentation/bookmark/Optics (eg lenses & prisms).md deleted file mode 100644 index 6f7acb5ca..000000000 --- a/documentation/bookmark/Optics (eg lenses & prisms).md +++ /dev/null @@ -1,24 +0,0 @@ -# Reference - -1. [Profunctor optics, a categorical update](https://arxiv.org/abs/2001.07488) -1. [On Lawful Lenses](https://blog.statebox.org/on-lawful-lenses-6e18a1e17bdf) -1. https://medium.com/urbint-engineering/haskell-lens-operator-onboarding-a235481e8fac -1. https://fstarlang.github.io/general/2018/01/12/lens-indexed-lenses.html -1. [Jeremy Gibbons - Profunctor Optics Modular Data Accessors](https://www.youtube.com/watch?v=sfWzUMViP0M &&& http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/poptics.pdf) -1. http://hackage.haskell.org/package/profunctors-3.3.0.1/docs/Data-Profunctor.html -1. https://github.com/purescript-contrib/purescript-profunctor-lenses -1. https://hackage.haskell.org/package/lens-4.16/docs/Control-Lens-Indexed.html -1. http://oleg.fi/gists/posts/2017-04-18-glassery.html -1. http://oleg.fi/gists/posts/2017-12-23-functor-optics.html -1. [Edward Kmett - Monad Transformer Lenses](https://www.youtube.com/watch?v=Bxcz23GOJqc) -1. [Brian McKenna - Productionisation of Functional Optics](https://www.youtube.com/watch?v=H01dw-BMmlE) -1. [YOW! Lambda Jam 2017 Ken Scambler - Lenses for the Masses – Introducing Goggles](https://www.youtube.com/watch?v=oIhdOqaKSEg) -1. https://bartoszmilewski.com/2017/07/07/profunctor-optics-the-categorical-view/ -1. [Profunctor Optics: The Categorical Approach - Bartosz Milewski](https://www.youtube.com/watch?v=l1FCXUi6Vlw) -1. https://calmm-js.github.io/partial.lenses/ -1. http://evincarofautumn.blogspot.com/2016/01/thoughts-on-using-fractional-types-to.html -1. https://www.slideshare.net/davidoverton/comonad -1. http://codingismycraft.com/index.php/2017/10/04/adding-descriptors-to-your-python-arsenal/ -1. https://blog.jle.im/entry/lenses-products-prisms-sums.html -1. http://www.philipzucker.com/lens-as-a-divisibility-relation-goofin-off-with-the-algebra-of-types/ - diff --git a/documentation/bookmark/back-end/WebAssembly (WASM).md b/documentation/bookmark/back-end/WebAssembly (WASM).md deleted file mode 100644 index 4e6487d85..000000000 --- a/documentation/bookmark/back-end/WebAssembly (WASM).md +++ /dev/null @@ -1,33 +0,0 @@ -# Exemplar - -1. [Announcing GraalWasm — a WebAssembly engine in GraalVM](https://medium.com/graalvm/announcing-graalwasm-a-webassembly-engine-in-graalvm-25cd0400a7f2) -1. [Towards a WebAssembly standalone runtime on GraalVM](https://dl.acm.org/citation.cfm?id=3362780) -1. https://github.com/vvanders/wasm_lua -1. https://github.com/AppCypher/webassemblylanguages -1. https://medium.com/perlin-network/life-a-secure-blazing-fast-cross-platform-webassembly-vm-in-go-ea3b31fa6e09 - -# Reference - -1. https://bytecodealliance.org/ -1. [Faster Fractals with Multi-Threaded WebAssembly](https://blog.scottlogic.com/2019/07/15/multithreaded-webassembly.html) -1. https://blog.scottlogic.com/2018/07/20/wasm-future.html -1. http://fitzgeraldnick.com/2018/04/26/how-does-dynamic-dispatch-work-in-wasm.html -1. https://hacks.mozilla.org/2018/03/making-webassembly-better-for-rust-for-all-languages/ -1. https://webassembly.github.io/ -1. https://github.com/WebAssembly/spec/blob/md-proto/md-proto/WebAssembly.md -1. https://github.com/WebAssembly/binaryen -1. [NYLUG Presents: Luke Wagner -on- WebAssembly: A New Compiler Target For The Web](https://www.youtube.com/watch?v=RByPdCN1RQ4) -1. https://binji.github.io/2017/03/05/webassembly-type-checking.html -1. https://github.com/WebAssembly/spec/tree/master/interpreter -1. https://mbebenita.github.io//WasmExplorer/ -1. http://thecodebarbarian.com/getting-started-with-webassembly-in-node.js.html -1. http://blog.seraum.com/compiling-javascript-to-webassembly-wasm-or-asm-js-with-nectarjs -1. https://hacks.mozilla.org/2017/07/memory-in-webassembly-and-why-its-safer-than-you-think/ -1. [Using WebAssembly and Threads (Chrome Dev Summit 2018)](https://www.youtube.com/watch?v=zgOGZgAPUjQ) -1. https://github.com/wasmerio/wasmer -1. https://www.fastly.com/blog/announcing-lucet-fastly-native-webassembly-compiler-runtime -1. https://hacks.mozilla.org/2019/03/standardizing-wasi-a-webassembly-system-interface/ -1. https://cybernetist.com/2019/04/25/wasm-universal-application-runtime/ -1. https://github.com/intel/wasm-micro-runtime -1. https://medium.com/wasmer/running-webassembly-on-the-kernel-8e04761f1d8e - diff --git a/documentation/bookmark/back-end/wasm.md b/documentation/bookmark/back-end/wasm.md new file mode 100644 index 000000000..9cca5b8a9 --- /dev/null +++ b/documentation/bookmark/back-end/wasm.md @@ -0,0 +1,37 @@ +# Platform + +1. [WAVM: WAVM is a WebAssembly virtual machine, designed for use in non-web applications.](https://wavm.github.io/) + +# Exemplar + +1. [Announcing GraalWasm — a WebAssembly engine in GraalVM](https://medium.com/graalvm/announcing-graalwasm-a-webassembly-engine-in-graalvm-25cd0400a7f2) +1. [Towards a WebAssembly standalone runtime on GraalVM](https://dl.acm.org/citation.cfm?id=3362780) +1. https://github.com/vvanders/wasm_lua +1. https://github.com/AppCypher/webassemblylanguages +1. https://medium.com/perlin-network/life-a-secure-blazing-fast-cross-platform-webassembly-vm-in-go-ea3b31fa6e09 + +# Reference + +1. https://bytecodealliance.org/ +1. [Faster Fractals with Multi-Threaded WebAssembly](https://blog.scottlogic.com/2019/07/15/multithreaded-webassembly.html) +1. https://blog.scottlogic.com/2018/07/20/wasm-future.html +1. http://fitzgeraldnick.com/2018/04/26/how-does-dynamic-dispatch-work-in-wasm.html +1. https://hacks.mozilla.org/2018/03/making-webassembly-better-for-rust-for-all-languages/ +1. https://webassembly.github.io/ +1. https://github.com/WebAssembly/spec/blob/md-proto/md-proto/WebAssembly.md +1. https://github.com/WebAssembly/binaryen +1. [NYLUG Presents: Luke Wagner -on- WebAssembly: A New Compiler Target For The Web](https://www.youtube.com/watch?v=RByPdCN1RQ4) +1. https://binji.github.io/2017/03/05/webassembly-type-checking.html +1. https://github.com/WebAssembly/spec/tree/master/interpreter +1. https://mbebenita.github.io//WasmExplorer/ +1. http://thecodebarbarian.com/getting-started-with-webassembly-in-node.js.html +1. http://blog.seraum.com/compiling-javascript-to-webassembly-wasm-or-asm-js-with-nectarjs +1. https://hacks.mozilla.org/2017/07/memory-in-webassembly-and-why-its-safer-than-you-think/ +1. [Using WebAssembly and Threads (Chrome Dev Summit 2018)](https://www.youtube.com/watch?v=zgOGZgAPUjQ) +1. https://github.com/wasmerio/wasmer +1. https://www.fastly.com/blog/announcing-lucet-fastly-native-webassembly-compiler-runtime +1. https://hacks.mozilla.org/2019/03/standardizing-wasi-a-webassembly-system-interface/ +1. https://cybernetist.com/2019/04/25/wasm-universal-application-runtime/ +1. https://github.com/intel/wasm-micro-runtime +1. https://medium.com/wasmer/running-webassembly-on-the-kernel-8e04761f1d8e + diff --git a/documentation/bookmark/optics.md b/documentation/bookmark/optics.md new file mode 100644 index 000000000..903c2ff54 --- /dev/null +++ b/documentation/bookmark/optics.md @@ -0,0 +1,24 @@ +# Reference + +1. [Profunctor optics, a categorical update](https://arxiv.org/abs/2001.07488) +1. [On Lawful Lenses](https://blog.statebox.org/on-lawful-lenses-6e18a1e17bdf) +1. https://medium.com/urbint-engineering/haskell-lens-operator-onboarding-a235481e8fac +1. https://fstarlang.github.io/general/2018/01/12/lens-indexed-lenses.html +1. [Jeremy Gibbons - Profunctor Optics Modular Data Accessors](https://www.youtube.com/watch?v=sfWzUMViP0M &&& http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/poptics.pdf) +1. http://hackage.haskell.org/package/profunctors-3.3.0.1/docs/Data-Profunctor.html +1. https://github.com/purescript-contrib/purescript-profunctor-lenses +1. https://hackage.haskell.org/package/lens-4.16/docs/Control-Lens-Indexed.html +1. http://oleg.fi/gists/posts/2017-04-18-glassery.html +1. http://oleg.fi/gists/posts/2017-12-23-functor-optics.html +1. [Edward Kmett - Monad Transformer Lenses](https://www.youtube.com/watch?v=Bxcz23GOJqc) +1. [Brian McKenna - Productionisation of Functional Optics](https://www.youtube.com/watch?v=H01dw-BMmlE) +1. [YOW! Lambda Jam 2017 Ken Scambler - Lenses for the Masses – Introducing Goggles](https://www.youtube.com/watch?v=oIhdOqaKSEg) +1. https://bartoszmilewski.com/2017/07/07/profunctor-optics-the-categorical-view/ +1. [Profunctor Optics: The Categorical Approach - Bartosz Milewski](https://www.youtube.com/watch?v=l1FCXUi6Vlw) +1. https://calmm-js.github.io/partial.lenses/ +1. http://evincarofautumn.blogspot.com/2016/01/thoughts-on-using-fractional-types-to.html +1. https://www.slideshare.net/davidoverton/comonad +1. http://codingismycraft.com/index.php/2017/10/04/adding-descriptors-to-your-python-arsenal/ +1. [Lenses embody Products, Prisms embody Sums](https://blog.jle.im/entry/lenses-products-prisms-sums.html) +1. http://www.philipzucker.com/lens-as-a-divisibility-relation-goofin-off-with-the-algebra-of-types/ + -- cgit v1.2.3