Commit Graph

405 Commits

Author SHA1 Message Date
07859cd1af Publish SPA part 6, for real this time
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-11-27 16:30:13 -08:00
19be7eb1f5 Edit and publish post on control flow graphs
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-11-27 16:27:26 -08:00
e5fb0a2929 Write more
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-11-16 15:25:26 -08:00
f2e424944e Start working on the control flow graphs post
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-11-13 19:57:08 -08:00
9b93582d18 Fix meta description on part 4 of SPA 2024-11-03 17:59:37 -08:00
9fc2d16fb8 Adjust dates of part 4 and part 5 to match real publication dates
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-11-03 17:51:13 -08:00
f00c69f02c Edit and publish SPA part 5 2024-11-03 17:50:11 -08:00
4fc1191d13 Proofread and publish part 4
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-11-03 17:37:44 -08:00
ee13409b33 Add a visualization of two ASTs
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-11-03 17:06:19 -08:00
615aeb72da Finish most of part 5 of SPA series
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-11-03 16:58:06 -08:00
3be67ca4c8 Use unification-based 'eq' for numbers and symbols
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-11-03 16:05:04 -08:00
37dd9ad6d4 Write the semantics section using Bergamot
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-10-13 13:31:47 -07:00
0766211d79 Turn semantics post into page bundle
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-09-15 18:47:32 -07:00
324fa948e6 Bring in more theme updates
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-09-15 16:28:07 -07:00
3e46ff8be6 Update vanilla theme to handle loading Bergamot
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-09-15 15:47:26 -07:00
dde7df4604 Update to new Bergamot version
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-09-15 10:33:40 -07:00
e4101f1396 Fix missing paren
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-09-01 15:19:47 -07:00
d94ceeab2e Make minor edits to part 5 of SPA
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-08-31 11:37:28 -07:00
697f083237 Reference more future posts in SPA intro
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-08-18 15:05:55 -10:00
3e97fdcfea Start work on the draft about semantics
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-08-18 15:05:39 -10:00
40007c427e Avoid using a non-greedy match and just avoid $ in {{< latex >}}
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-08-18 14:16:42 -10:00
7c65afbc93 Fix more line numbers
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-08-18 13:31:08 -10:00
406c934b7a Update code in blog post to match new line numbers
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-08-18 13:22:28 -10:00
6bf7659b19 Fix line numbering issues due to updating Agda
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-08-18 11:14:09 -10:00
0a90e8da29 Write a draft of the fixed point algorithm article
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-08-18 11:05:51 -10:00
7ccbaa7829 Make sure all links are consistent
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-08-09 06:48:26 -07:00
bf9b0aedf9 Edit and publish part 3
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-08-08 17:30:17 -07:00
21b2ff208e Edit and publish part 2
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-08-08 16:45:13 -07:00
ecad4541f6 Add a (not-yet-valid) link to part 4
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-08-08 16:44:48 -07:00
864276ea72 Delete .DS_Store file
No idea how I managed to commit it.

Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-08-01 21:23:13 -07:00
51bcd116b3 Update other dates on lattice drafts
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-07-06 17:52:17 -07:00
928adbd594 Publish Agda SPA post about lattices
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-07-06 17:46:54 -07:00
e91b6f692f Publish introducton to SPA in Agda
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-07-06 17:42:44 -07:00
861dafef70 Finish up draft about lattices of finite height.
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-07-05 20:43:26 -07:00
388c23c376 Write more on finite height lattices
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-07-05 12:09:29 -07:00
826a16eb66 Start working on part 3
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-06-27 22:26:01 -07:00
4fd6dd5606 Make minor edits to article and update theme
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-06-24 19:59:51 -07:00
b3db25c470 Fix some typos and publish the microfeatures post
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-06-23 18:02:13 -07:00
6a7b6ffc1f Write an article about microfeatures
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-06-23 17:59:03 -07:00
0bf3facf6c Add series navigation before appendix
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-06-19 22:04:01 -07:00
8656985885 Introduce "join" and "meet" as terms
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-06-16 20:12:39 -07:00
1fb7e5ff85 Finish draft of part 2, combining lattices
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-06-16 18:09:56 -07:00
df75d6e017 Slightly expand the draft.
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-06-09 19:39:00 -07:00
7b03183e75 Continue expanding on the map draft
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-06-09 18:02:04 -07:00
4c70e61a14 Write some more in combining lattices
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-05-30 22:41:15 -07:00
8e4759bd2b Start on the navigation links in Agda SPA intro
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-05-30 20:52:33 -07:00
71c030b947 Slightly tweak wording and front matter in Agda SPA posts
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-05-30 20:02:49 -07:00
1f3ab5349a Restore the dates in 'learning emulation' to their proper ones.
I found the original dates using the Wayback machine.

https://web.archive.org/web/20161022053013/https://danilafe.com/

Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-05-30 18:58:38 -07:00
b66c58b68e Lightly edit and publish the Agda+Hugo post
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-05-30 00:30:05 -07:00
13636a0d29 Write more about Agda+Hugo
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-05-30 00:13:48 -07:00