Sync Mon Jan 1 01:00:09 UTC 2024

1001.myco

@@ -0,0 +1,6 @@
+= 1001
+https://www.unison-lang.org/docs/the-big-idea/#structured-refactoring
+
+> A friendly programming language from the future.
+
+The big idea behind Unison is that its functions are hashed and content-addressed.

936.myco

@@ -1,9 +0,0 @@
-= 936
-https://tratt.net/laurie/blog/2023/four_kinds_of_optimisation.html
-
-> *. Use a better algorithm.
-> *. Use a better data-structure.
-> *. Use a lower-level system.
-> *. Accept a less precise solution.
-
-Pick the simplest solution.

Laurence Tratt: Four Kinds of Optimisation.myco

@@ -1,9 +0,0 @@
-= Laurence Tratt: Four Kinds of Optimisation
-https://tratt.net/laurie/blog/2023/four_kinds_of_optimisation.html
-
-> *. Use a better algorithm.
-> *. Use a better data-structure.
-> *. Use a lower-level system.
-> *. Accept a less precise solution.
-
-Pick the simplest solution.

💡 The big idea.myco

@@ -0,0 +1,6 @@
+= 💡 The big idea
+https://www.unison-lang.org/docs/the-big-idea/#structured-refactoring
+
+> A friendly programming language from the future.
+
+The big idea behind Unison is that its functions are hashed and content-addressed.