corpus.blog
56,966 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a0874b-4afb-71be-ad76-849e84754509

2022 Project Review

blog.ielliott.io · published 27 December 2022

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at blog.ielliott.io Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
Links from this post
61
Words captured
2,553

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://github.com/LightAndLight/ipso/releases
github.com
https://github.com/LightAndLight/ipso/issues/170
github.com
https://github.com/LightAndLight/ipso/pull/177
github.com
https://ipso.dev/docs/reference.html
ipso.dev
https://github.com/LightAndLight/ipso/issues/95
github.com
https://github.com/LightAndLight/ipso/blob/main/.github/workflows/uploadToCache
github.com
https://raytracing.github.io/
raytracing.github.io
https://en.wikipedia.org/wiki/Monte_Carlo_integration
en.wikipedia.org
https://github.com/LightAndLight/edit-log
github.com
https://vuejs.org/
vuejs.org
NixOS Read at the source ↗
nixos.org
https://ncatlab.org/nlab/show/cartesian+closed+category
ncatlab.org
https://www.typetheoryforall.com/2022/05/09/17-The-Lost-Elegance-of-Computation-(Conal-Elliott
typetheoryforall.com
http://conal.net/papers/compiling-to-categories/
conal.net
http://conal.net/papers/calculating-compilers-categorically/
conal.net
https://doi.org/10.1145/359576.359579
doi.org
https://github.com/LightAndLight/ccc/blob/68d0214a778a19f04ee7c96a973749bd0d09d4d1/src/SSA.hs
github.com
https://en.wikipedia.org/wiki/Substructural_logic
en.wikipedia.org
https://en.wikipedia.org/wiki/Affine_logic
en.wikipedia.org
https://en.wikipedia.org/wiki/Linear_logic
en.wikipedia.org
https://ncatlab.org/nlab/show/symmetric+monoidal+category
ncatlab.org
https://github.com/LightAndLight/ccc/blob/68d0214a778a19f04ee7c96a973749bd0d09d4d1/proofs/Linear.agda
github.com
https://ncatlab.org/nlab/show/semicartesian+monoidal+category
ncatlab.org
https://ncatlab.org/nlab/show/terminal+object
ncatlab.org
https://github.com/LightAndLight/ccc/blob/68d0214a778a19f04ee7c96a973749bd0d09d4d1/proofs/Affine.agda
github.com
https://github.com/LightAndLight/ccc/blob/68d0214a778a19f04ee7c96a973749bd0d09d4d1/proofs/Unrestricted.agda
github.com
https://www.haskellforall.com/2022/06/the-appeal-of-bidirectional-type.html
haskellforall.com
https://en.wikipedia.org/wiki/Hindley%E2%80%93Milner_type_system
en.wikipedia.org
https://doi.org/10.1093/comjnl/27.2.97
doi.org
https://www.haskell.org/onlinereport/literate.html
haskell.org
Continuations From the Ground Up Read at the source ↗
blog.ielliott.io
https://github.com/LightAndLight/little/blob/main/examples/script.lit
github.com
[Computing] XML is almost always misused Read at the source ↗
devever.net
https://nixos.wiki/wiki/Import_From_Derivation
nixos.wiki
https://ncatlab.org/nlab/show/bidirectional+typechecking
ncatlab.org
https://bevyengine.org/
bevyengine.org
https://blog.ielliott.io/hover-pill/
blog.ielliott.io
https://wgpu.rs/
wgpu.rs
https://en.wikipedia.org/wiki/Entity_component_system
en.wikipedia.org
https://dataorienteddesign.com/dodbook/
dataorienteddesign.com
https://ziglang.org/download/0.8.0/release-notes.html
ziglang.org
https://en.wikipedia.org/wiki/Plotting_algorithms_for_the_Mandelbrot_set
en.wikipedia.org
https://hackage.haskell.org/package/servant
hackage.haskell.org
https://rubyonrails.org/
rubyonrails.org
https://en.wikipedia.org/wiki/A_Pattern_Language
en.wikipedia.org
https://github.com/LightAndLight/ipso
github.com
https://ipso.dev
ipso.dev
https://github.com/LightAndLight/ray-tracing-in-one-weekend
github.com
https://github.com/LightAndLight/sylva
github.com
https://github.com/LightAndLight/editor-vue
github.com
https://github.com/LightAndLight/nix-docs
github.com
https://blog.ielliott.io/nix-docs/mkDerivation.html
blog.ielliott.io
https://github.com/LightAndLight/ccc
github.com
https://github.com/LightAndLight/march
github.com
https://github.com/LightAndLight/bidirectional-typechecking-with-unification
github.com
https://github.com/LightAndLight/little
github.com
https://github.com/LightAndLight/mininix
github.com
https://github.com/LightAndLight/top-down-hindley-milner
github.com
https://github.com/LightAndLight/hover-pill
github.com
https://github.com/LightAndLight/wgpu-mandelbrot
github.com
https://github.com/LightAndLight/hedge
github.com