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

2023 Project Review

blog.ielliott.io · published 17 January 2024

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
70
Words captured
4,483

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://github.com/LightAndLight/ipso/tree/main/vscode-ipso
github.com
https://github.com/LightAndLight/ipso/blob/main/CHANGELOG.md
github.com
https://github.com/LightAndLight/git-explorer
github.com
https://www2.fossil-scm.org/home/doc/trunk/www/index.wiki
www2.fossil-scm.org
https://github.com/LightAndLight/timespent
github.com
Linklog | Helix Read at the source ↗
helix-editor.com
https://dl.acm.org/doi/10.1145/202660.202667
dl.acm.org
https://dl.acm.org/doi/10.1145/3236781
dl.acm.org
https://en.wikipedia.org/wiki/Datalog
en.wikipedia.org
https://www.artstation.com
artstation.com
https://www.reaper.fm
reaper.fm
https://www.youtube.com/watch?v=bNlUJgP3Lwk
youtube.com
https://www.youtube.com/@DanWorrall
youtube.com
https://www.youtube.com/watch?v=kGW8SDFikeg
youtube.com
https://en.wikipedia.org/wiki/Name_binding
en.wikipedia.org
https://www.slq.qld.gov.au/
slq.qld.gov.au
https://www.cambridge.org/core/books/nominal-sets/80F2B0C1B78A1DC309072CCEDAA88422
cambridge.org
https://bevyengine.org/
bevyengine.org
https://blog.ielliott.io/hover-pill
blog.ielliott.io
2022 Project Review Read at the source ↗
blog.ielliott.io
https://docs.rs/wgpu/latest/wgpu/
docs.rs
https://docs.rs/cgmath/latest/cgmath/
docs.rs
https://github.com/emilk/egui
github.com
https://en.wikipedia.org/wiki/Dynamic_range
en.wikipedia.org
https://en.wikipedia.org/wiki/Tone_mapping
en.wikipedia.org
https://en.wikipedia.org/wiki/Exposure_(photography
en.wikipedia.org
Statically Sized Higher-kinded Polymorphism Read at the source ↗
blog.ielliott.io
https://hackage.haskell.org/package/vector-0.13.1.0/docs/Data-Vector.html
hackage.haskell.org
https://hackage.haskell.org/package/base-4.19.0.0/docs/Data-IORef.html
hackage.haskell.org
https://en.wikipedia.org/wiki/Virtual_method_table
en.wikipedia.org
https://mpickering.github.io/posts/2017-03-20-inlining-and-specialisation.html
mpickering.github.io
https://www.youtube.com/watch?v=ctS8FzqcRug&t=197s
youtube.com
https://github.com/LightAndLight/metis/tree/use-llvm
github.com
https://ncatlab.org/nlab/show/relation+between+type+theory+and+category+theory
ncatlab.org
https://ncatlab.org/nlab/show/cartesian+closed+category
ncatlab.org
http://conal.net
conal.net
http://conal.net/papers/compiling-to-categories/
conal.net
http://conal.net/papers/calculating-compilers-categorically/
conal.net
https://en.wikipedia.org/wiki/System_F
en.wikipedia.org
https://ncatlab.org/nlab/show/adjoint+functor
ncatlab.org
https://ncatlab.org/nlab/show/quantification
ncatlab.org
https://bfpg.org
bfpg.org
https://blog.aurynn.com/2015/12/16-contempt-culture
blog.aurynn.com
https://en.wikipedia.org/wiki/Incremental_computing
en.wikipedia.org
https://webkitgtk.org/
webkitgtk.org
https://en.wikipedia.org/wiki/Multitier_programming
en.wikipedia.org
https://web.archive.org/web/20220523022545/https://haste-lang.org/
web.archive.org
https://ocsigen.org
ocsigen.org
https://github.com/LightAndLight/misc/blob/main/20231129-single-program-web-apps/app/Main.hs
github.com
https://en.wikipedia.org/wiki/Functional_reactive_programming
en.wikipedia.org
https://github.com/LightAndLight/misc/tree/main/20231129-single-program-web-apps/compiler-plugin
github.com
https://github.com/compiling-to-categories/concat
github.com
https://hackage.haskell.org/package/base-4.16.3.0/docs/GHC-Exts.html
hackage.haskell.org
https://ipso.dev
ipso.dev
https://github.com/LightAndLight/ipso
github.com
https://github.com/LightAndLight/laurel
github.com
Migrating from Jekyll to Hakyll Read at the source ↗
blog.ielliott.io
https://github.com/LightAndLight/lightandlight.github.io/blob/main/site.hs
github.com
https://github.com/LightAndLight/binders.rs
github.com
Nominal Sets Read at the source ↗
blog.ielliott.io
Nominal Sets: Appendix A (Proofs) Read at the source ↗
blog.ielliott.io
https://github.com/LightAndLight/hover-pill
github.com
https://github.com/LightAndLight/2d-visibility
github.com
https://github.com/LightAndLight/3d-graphics-fundamentals
github.com
https://github.com/LightAndLight/metis
github.com
https://github.com/LightAndLight/ccc-polymorphism
github.com
https://github.com/LightAndLight/rust-and-fp
github.com
https://blog.ielliott.io/talks/rust-and-fp.pdf
blog.ielliott.io
https://github.com/LightAndLight/incremental-file-processing
github.com
https://github.com/LightAndLight/misc/tree/main/20231129-single-program-web-apps
github.com