Skip to content

Commit

Permalink
Improved type_of macro. Better polytypic Equivalence & Functor.
Browse files Browse the repository at this point in the history
New aliases for Nothing & Any.
  • Loading branch information
eduardoejp committed Aug 14, 2023
1 parent 0e581d6 commit 403d5a4
Show file tree
Hide file tree
Showing 88 changed files with 846 additions and 689 deletions.
4 changes: 4 additions & 0 deletions documentation/bookmark/ai__artificial_intelligence.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
# Reference

0. [46 Predictions about Artificial Intelligence](https://www.youtube.com/watch?v=cTCiS5ZldKM)

Original file line number Diff line number Diff line change
@@ -1,5 +1,7 @@
# Reference

0. [REST vs. gRPC](https://cerbos.dev/blog/rest-vs-grpc)
0. [How to Use Abstraction to Kill Your API - Jonathan Marler - Software You Can Love Vancouver 2023](https://www.youtube.com/watch?v=aPWFLkHRIAQ)
0. [ApiVault](https://apivault.dev/)
0. [Functional options for friendly APIs](https://dave.cheney.net/2014/10/17/functional-options-for-friendly-apis)
0. [Best Practices for Building Reliable APIs](https://api7.ai/blog/best-practices-for-building-reliable-apis-with-api-gateways)
Expand Down
1 change: 1 addition & 0 deletions documentation/bookmark/business/teamwork.md
Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
# Reference

0. [When Smart People Are Bad Employees](https://medium.com/@bhorowitz/when-smart-people-are-bad-employees-14755331f32e)
0. [The Best Handoff Is No Handoff](https://www.smashingmagazine.com/2023/03/best-handoff-is-no-handoff/)

Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
# Reference

0. [The psychology of a workplace bully](https://www.theguardian.com/careers/2017/mar/28/the-psychology-of-a-workplace-bully)
0. [How Bullying Manifests at Work — and How to Stop It](https://hbr.org/2022/11/how-bullying-manifests-at-work-and-how-to-stop-it)

1 change: 1 addition & 0 deletions documentation/bookmark/compilation/target/c.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
# Reference

0. [Can you use a class in C?](https://thasso.xyz/2023/08/11/can-you-use-a-class-in-c/)
0. [Few lesser known tricks, quirks and features of C](https://jorengarenar.github.io/blog/less-known-c)
0. [Portability and the C Language](https://en.wikibooks.org/wiki/Portability_and_the_C_Language)
0. [Cosmopolitan: build-once run-anywhere c library](https://github.com/jart/cosmopolitan)
Expand Down
5 changes: 3 additions & 2 deletions documentation/bookmark/data/science.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
# Reference

1. [Exponential smoothing](https://en.wikipedia.org/wiki/Exponential_smoothing)
1. [High Performance Data With Clojure Chris Nuernberger](https://www.youtube.com/watch?v=5mUGu4RlwKE)
0. [OpenRefine](https://openrefine.org/)
0. [Exponential smoothing](https://en.wikipedia.org/wiki/Exponential_smoothing)
0. [High Performance Data With Clojure Chris Nuernberger](https://www.youtube.com/watch?v=5mUGu4RlwKE)

4 changes: 4 additions & 0 deletions documentation/bookmark/database/serverless.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
# Reference

0. [SpacetimeDB](https://spacetimedb.com/)

1 change: 1 addition & 0 deletions documentation/bookmark/datalog.md
Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
# Reference

0. [A Differential Datalog Interpreter](https://arxiv.org/abs/2308.04214)
0. [DECONSTRUCTING DATALOG](http://www.rntz.net/files/thesis.pdf)

3 changes: 2 additions & 1 deletion documentation/bookmark/documentation.md
Original file line number Diff line number Diff line change
Expand Up @@ -58,13 +58,14 @@

# Doclet

0. []()
0. https://docs.oracle.com/javase/8/docs/technotes/guides/javadoc/doclet/overview.html
0. http://www.doclet.com/
0. https://en.wikipedia.org/wiki/Doclet

# Reference

0. [Histoire: A new way to write stories](https://histoire.dev/)
0. [Better Explained](https://betterexplained.com/)
0. [Towards a theory of quality in documentation](https://diataxis.fr/quality/)
0. [The Ultimate Guide to Writing Online](https://perell.com/essay/the-ultimate-guide-to-writing-online/)
0. [Typst: Compose papers faster](https://typst.app/)
Expand Down
4 changes: 4 additions & 0 deletions documentation/bookmark/economics/currency.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
# Reference

0. [Predecimal Currency: The Nightmare in Your Pocket](https://www.youtube.com/watch?v=dip8eHw3guo)

4 changes: 4 additions & 0 deletions documentation/bookmark/entertainment/video.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
# Reference

0. [The Video Essay Explained/Why Click Bait Works](https://www.youtube.com/watch?v=sEEBKbCvDJE)

1 change: 1 addition & 0 deletions documentation/bookmark/gpu_programming.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
# Reference

0. [Optimization Techniques for GPU Programming](https://dl.acm.org/doi/pdf/10.1145/3570638)
0. [GPU.js: GPU accelerated JavaScript](https://gpu.rocks/#/)
0. [cudaFlow: Modern C++ Programming Model for GPU Task Graph Parallelism - CppCon 2021](https://www.youtube.com/watch?v=-tIQbIhTAv8)
0. [GPU Accelerated Computing on Cross-Vendor Graphics Cards with Vulkan Kompute - Alejandro Saucedo](https://www.youtube.com/watch?v=DBcXrJtJaIQ)
Expand Down
4 changes: 4 additions & 0 deletions documentation/bookmark/graphic/interactive.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
# Reference

0. [g9](http://omrelli.ug/g9/)

1 change: 1 addition & 0 deletions documentation/bookmark/history.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
# Reference

0. [](https://dinosaurpictures.org/ancient-earth#240)
0. [Dismantling the myth that ancient slavery ‘wasn’t that bad’](https://theconversation.com/dismantling-the-myth-that-ancient-slavery-wasnt-that-bad-205801)
0. [Spartans Were Losers](https://foreignpolicy.com/2023/07/22/sparta-popular-culture-united-states-military-bad-history/)

4 changes: 4 additions & 0 deletions documentation/bookmark/intellectual_property/commons.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
# Reference

0. [Corporations, Share Your Patents: By choosing to share a credit card skimmer detector with other retailers, Target proves that corporate altruism isn’t totally dead.](https://tedium.co/2023/08/09/target-card-skimmer-patent-sharing/)

4 changes: 4 additions & 0 deletions documentation/bookmark/language/constructed.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
# Reference

0. [Toaq](https://toaq.net/)

4 changes: 4 additions & 0 deletions documentation/bookmark/literature/poetry.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
# Reference

0. [Rhyme Theory](https://blog.chaselambda.com/2022/05/07/rhyme-theory.html)

4 changes: 4 additions & 0 deletions documentation/bookmark/math/chaos_theory.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
# Reference

0. [Symmetry in Chaos](http://paulbourke.net/fractals/symmetryinchaos/)

4 changes: 4 additions & 0 deletions documentation/bookmark/minification/css.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
# Reference

0. [Lightning CSS: An extremely fast CSS parser, transformer, bundler, and minifier](https://lightningcss.dev/)

2 changes: 1 addition & 1 deletion documentation/bookmark/music.md
Original file line number Diff line number Diff line change
@@ -1,6 +1,5 @@
# Analysis

0. []()
0. [Three Types of Music Analysis](https://flujoo.github.io/en/three-types-of-music-analysis/)

# Async music
Expand All @@ -9,6 +8,7 @@

# Reference

0. [](https://oscilloscopemusic.com/)
0. [Introduction to Music (Theory)](https://soundcloud.com/languagetransfer/sets/introduction-to-music-theory)
0. [Opusmodus: Music Composition System](https://opusmodus.com/)
0. [Why 12 notes?](https://github.com/aguaviva/articles/blob/main/why_12_notes.ipynb)
Expand Down
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
# Reference

0. []()
0. [The Vector API in Java 19](https://www.baeldung.com/java-vector-api)
0. [](https://docs.oracle.com/en/java/javase/17/docs/api/jdk.incubator.vector/jdk/incubator/vector/Vector.html)
0. [10x Performance Improvement for Expression Evaluation Made Possible by Vectorized Execution and the Community](https://en.pingcap.com/blog/10x-performance-improvement-for-expression-evaluation-made-possible-by-vectorized-execution/)
0. [Closing the Performance Gap Between Lisp and C](https://zenodo.org/record/6335627#.YpzmCDnMJH5)
0. [Vectorization, dependencies and outer loop vectorization: if you can’t beat them, join them](https://johnysswlab.com/vectorization-dependencies-and-outer-loop-vectorization-if-you-cant-beat-them-join-them/)
Expand Down
1 change: 1 addition & 0 deletions documentation/bookmark/play/game/storytelling.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
# Reference

0. [Scènes à faire](https://en.wikipedia.org/wiki/Sc%C3%A8nes_%C3%A0_faire)
0. [Big Dumb Object](https://en.wikipedia.org/wiki/Big_Dumb_Object)
0. [The Seven Basic Plots](https://en.wikipedia.org/wiki/The_Seven_Basic_Plots)
0. [Hook Your Players Fast (Episode 288)](https://www.youtube.com/watch?v=oUFk2ZGYLs8)
Expand Down
4 changes: 4 additions & 0 deletions documentation/bookmark/psychology/relationship/romantic.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
# Reference

0. [‘The female Andrew Tate’: the new influencer dating doctrine is extreme – but I can see why it’s popular](https://www.theguardian.com/commentisfree/2023/aug/09/female-andrew-tate-influencer-dating-debt-man-bills)

4 changes: 4 additions & 0 deletions documentation/bookmark/psychology/social.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
# Reference

0. [Why “anomie” is eroding the soul of our society](https://bigthink.com/thinking/anomie-erodes-soul-society-loneliness/)

4 changes: 4 additions & 0 deletions documentation/bookmark/psychology/social/influence.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
# Reference

0. [The Art of Subtle Influence: How to lead when you don’t have control](https://every.to/no-small-plans/the-art-of-subtle-influence)

1 change: 1 addition & 0 deletions documentation/bookmark/security/authorization.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
# Reference

0. [The 10 Types of Authorization](https://www.osohq.com/post/ten-types-of-authorization)
0. [Cedar](https://github.com/cedar-policy/)
0. [Granular Access Control with Fıratcan Doğan](https://www.youtube.com/watch?v=l9uuXoLCYlA)
0. [Permify: Open source authorization as a service](https://www.permify.co/)
Expand Down
3 changes: 3 additions & 0 deletions documentation/bookmark/security/vulnerability.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,8 @@
# Reference

0. [Milk Sad](https://milksad.info/)
0. [Planting ideas in a computer’s head](https://ethz.ch/en/news-and-events/eth-news/news/2023/08/planting-ideas-in-a-computers-head.html)
0. [Downfall Attacks](https://downfall.page/)
0. [Living Off The Land Drivers](https://www.loldrivers.io/)
0. [DOM Clobbering](https://www.htmhell.dev/adventcalendar/2022/12/)

4 changes: 4 additions & 0 deletions documentation/bookmark/software/configuration.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
# Reference

0. [Node.js's Config Hell Problem](https://deno.com/blog/node-config-hell)

4 changes: 4 additions & 0 deletions documentation/bookmark/state_machine/hierarchical.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
# Reference

0. [Roost HSM](https://github.com/akiscode/roost_hsm)

3 changes: 3 additions & 0 deletions documentation/bookmark/tool/text_editor.md
Original file line number Diff line number Diff line change
Expand Up @@ -193,6 +193,9 @@

## General

0. [Gamut: The Idea Editor](https://gamut.ink/)
0. [How to Build a Text Editor With Java](https://www.youtube.com/playlist?list=PLIRBoI92yManB1eHCupZ6iG61qMTA9hWe)
0. [Hard vs. Soft Line Wrap](https://martin-ueding.de/posts/hard-vs-soft-line-wrap/)
0. [Rich Text Editing is a Layouting Problem: Why powerful rich-text editors implement a layout engine](https://docs.google.com/document/d/e/2PACX-1vSJg7ZunK4wgLM3Sgee2Rjn6xd4shpQKer5zaSFK8RWtYjopzgAeQT7H_gbnZ9m9j2nLleY3pyOw_N3/pub)
0. [Stack graphs: Name resolution at scale](https://dcreager.net/publications/016-stack-graphs/stack-graphs.pdf)
0. [Combobulate: Structured Movement and Editing with Tree-Sitter](https://www.masteringemacs.org/article/combobulate-structured-movement-editing-treesitter)
Expand Down
4 changes: 4 additions & 0 deletions documentation/bookmark/ui__user_interface/framework.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
# Reference

0. [WebFX]()https://webfx.dev/

2 changes: 1 addition & 1 deletion documentation/bookmark/versioning.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
# Reference

0. []()
0. [A Programming Language with Versions](https://prg.is.titech.ac.jp/wp-content/uploads/2023/03/tanabe-phd-dissertation.pdf)
0. [Major Version Numbers are Not Sacred](https://tom.preston-werner.com/2022/05/23/major-version-numbers-are-not-sacred.html)

4 changes: 4 additions & 0 deletions documentation/bookmark/web/application/progressive.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
# Reference

0. [What PWA Can Do Today](https://whatpwacando.today/)

4 changes: 4 additions & 0 deletions documentation/bookmark/web/component.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
# Reference

0. [Web Components: The native way to build powerful user interfaces](https://webcomponents.guide/)

5 changes: 5 additions & 0 deletions documentation/bookmark/web/http/har__archive_format.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
# Reference

0. [Haralyzer](https://haralyzer.readthedocs.io/en/latest/)
0. [HAR](https://en.wikipedia.org/wiki/HAR_(file_format))

3 changes: 1 addition & 2 deletions documentation/bookmark/web_browser.md
Original file line number Diff line number Diff line change
Expand Up @@ -43,7 +43,6 @@
0. []()
0. [V8 Torque user manual](https://v8.dev/docs/torque)
0. [Emacs with Nyxt: extend your editor with the power of a Lisp browser](https://nyxt.atlas.engineer/article/emacs-conf.org)
0. [Web Browser Engineering](https://browser.engineering/)
0. [Public Suffix List](https://publicsuffix.org/)
0. [Public Suffix List Problems](https://github.com/sleevi/psl-problems)
0. https://www.opera.com/gx
Expand All @@ -57,5 +56,5 @@
0. https://v8project.blogspot.com/2018/08/embedded-builtins.html
0. https://developers.google.com/web/updates/2018/09/inside-browser-part1
0. https://addons.mozilla.org/en-US/firefox/addon/tree-style-tab/
0. [Web Browser Engineering](https://browser.engineering/index.html)
0. [Web Browser Engineering](https://browser.engineering/)

3 changes: 2 additions & 1 deletion stdlib/source/documentation/lux.lux
Original file line number Diff line number Diff line change
Expand Up @@ -433,7 +433,8 @@
(when tokens
(^with_template [<tag>]
[(list [_ {<tag> [module name]}])
(in (list (` [(, (text$ module)) (, (text$ name))])))])
(in (list (` [(, (as_text module))
(, (as_text name))])))])
([#Symbol])

_
Expand Down
Loading

0 comments on commit 403d5a4

Please sign in to comment.