Commit Graph

Select branches

Hide Pull Requests

colors

donations

localization

margin-rework

master

search

sidenotes

table-of-contents

Mono Color

• fa180ee24e Fix thevoid theme on light mode devices master Danila Fedorin 2024-12-04 13:58:32 -0800
• 5846dd5d04 Fix typos Danila Fedorin 2024-12-01 22:19:45 -0800
• f6b347eb05 Fix slugs and add example of constant propagation Danila Fedorin 2024-12-01 22:19:08 -0800
• c1b27a13ae Add a draft post on forward analysis Danila Fedorin 2024-12-01 22:16:02 -0800
• 147658ee89 Update theme Danila Fedorin 2024-11-28 20:41:21 -0800
• 4017c52fee Add a link to the future (not-yet-written) forward analysis post Danila Fedorin 2024-11-28 20:38:18 -0800
• 65d290556f Write a new post about proving the connection between semantics and CFGs Danila Fedorin 2024-11-28 20:33:08 -0800
• 854dccd4d2 Update caption / description of SPA part 6 Danila Fedorin 2024-11-27 16:34:03 -0800
• 07859cd1af Publish SPA part 6, for real this time Danila Fedorin 2024-11-27 16:30:13 -0800
• 19be7eb1f5 Edit and publish post on control flow graphs Danila Fedorin 2024-11-27 16:27:26 -0800
• 5de2ae1203 Publish 'the void' Danila Fedorin 2024-11-27 15:13:34 -0800
• 595a1ad99b More edits Danila Fedorin 2024-11-27 12:27:56 -0800
• 32ccfc76ae Merge branch 'thevoid' Danila Fedorin 2024-11-27 00:41:05 -0800
• ae0d54e567 Add draft warning to the void Danila Fedorin 2024-11-27 00:40:44 -0800
• b774f0e088 More minor edits Danila Fedorin 2024-11-27 00:40:32 -0800
• e294bcb2d0 Add conclusion and make some edits Danila Fedorin 2024-11-27 00:21:47 -0800
• 1322e0249c Update theme Danila Fedorin 2024-11-26 19:52:02 -0800
• e40a05633c Update theme Danila Fedorin 2024-11-25 19:17:13 -0800
• e5fb0a2929 Write more Danila Fedorin 2024-11-16 15:25:26 -0800
• 3bd1f0c8a0 Update Agda SPA imp Danila Fedorin 2024-11-16 15:16:57 -0800
• 948759b7d4 Update the SPA repo Danila Fedorin 2024-11-16 14:44:02 -0800
• f2e424944e Start working on the control flow graphs post Danila Fedorin 2024-11-13 19:57:08 -0800
• 8a471c6b45 Add missing imp.bergamot file for rendering imperative programs Danila Fedorin 2024-11-06 10:43:47 -0800
• 9b93582d18 Fix meta description on part 4 of SPA Danila Fedorin 2024-11-03 17:59:37 -0800
• 9fc2d16fb8 Adjust dates of part 4 and part 5 to match real publication dates Danila Fedorin 2024-11-03 17:51:13 -0800
• f00c69f02c Edit and publish SPA part 5 Danila Fedorin 2024-11-03 17:50:11 -0800
• 4fc1191d13 Proofread and publish part 4 Danila Fedorin 2024-11-03 17:37:44 -0800
• 951aafc90a Stop using 'symeq' Danila Fedorin 2024-11-03 17:12:39 -0800
• ee13409b33 Add a visualization of two ASTs Danila Fedorin 2024-11-03 17:06:19 -0800
• 615aeb72da Finish most of part 5 of SPA series Danila Fedorin 2024-11-03 16:58:06 -0800
• 3be67ca4c8 Use unification-based 'eq' for numbers and symbols Danila Fedorin 2024-11-03 16:05:04 -0800
• b216581f2b Editing pass Danila Fedorin 2024-11-03 15:54:18 -0800
• 1060198b01 Finish draft-sans-ending Danila Fedorin 2024-11-02 20:43:22 -0700
• 0485917a20 Transcribe more writing Danila Fedorin 2024-10-31 23:47:29 -0700
• 37dd9ad6d4 Write the semantics section using Bergamot Danila Fedorin 2024-10-13 13:31:47 -0700
• 77dade1d1d Move all bergamot partials and shortcodes into theme Danila Fedorin 2024-09-15 20:10:04 -0700
• d140422225 Update theme Danila Fedorin 2024-09-15 20:05:46 -0700
• 2defe99c73 Update theme w/ more Bergamot affordances Danila Fedorin 2024-09-15 19:49:37 -0700
• 0766211d79 Turn semantics post into page bundle Danila Fedorin 2024-09-15 18:47:32 -0700
• b854eade3c Remove configs from website that are now defined in theme Danila Fedorin 2024-09-15 18:46:23 -0700
• c6f34f8eaa Delete unused shortcodes Danila Fedorin 2024-09-15 17:46:13 -0700
• 0ba5799c75 Update theme with missing file Danila Fedorin 2024-09-15 16:39:17 -0700
• 324fa948e6 Bring in more theme updates Danila Fedorin 2024-09-15 16:28:07 -0700
• 3e46ff8be6 Update vanilla theme to handle loading Bergamot Danila Fedorin 2024-09-15 15:39:46 -0700
• 18eb1da5ba Allow render rules to be customized using render presets Danila Fedorin 2024-09-15 13:49:57 -0700
• dde7df4604 Update to new Bergamot version Danila Fedorin 2024-09-15 10:33:40 -0700
• e4101f1396 Fix missing paren Danila Fedorin 2024-09-01 15:19:47 -0700
• d94ceeab2e Make minor edits to part 5 of SPA Danila Fedorin 2024-08-31 11:37:28 -0700
• 697f083237 Reference more future posts in SPA intro Danila Fedorin 2024-08-18 15:05:55 -1000
• 3e97fdcfea Start work on the draft about semantics Danila Fedorin 2024-08-18 15:05:39 -1000
• 40007c427e Avoid using a non-greedy match and just avoid $ in {{< latex >}} Danila Fedorin 2024-08-18 14:16:42 -1000
• 5ab0d0d40e Use a non-greedy match for the double-dollar-sign escaping Danila Fedorin 2024-08-18 14:07:16 -1000
• 7c65afbc93 Fix more line numbers Danila Fedorin 2024-08-18 13:31:08 -1000
• fb071e55aa Update 'submodules.json' with new submodule Danila Fedorin 2024-08-18 13:23:20 -1000
• 406c934b7a Update code in blog post to match new line numbers Danila Fedorin 2024-08-18 13:22:28 -1000
• 292cf009e6 Remove --local-interfaces as it is no longer needed Danila Fedorin 2024-08-18 12:29:35 -1000
• 6bf7659b19 Fix line numbering issues due to updating Agda Danila Fedorin 2024-08-18 11:14:09 -1000
• 0a90e8da29 Write a draft of the fixed point algorithm article Danila Fedorin 2024-08-18 11:05:51 -1000
• 32fe8e5ee6 Update the referenced Agda submodule Danila Fedorin 2024-08-18 10:30:21 -1000
• 7ccbaa7829 Make sure all links are consistent Danila Fedorin 2024-08-09 06:48:26 -0700
• 7817c9a4ce Add draft link support to analyze.rb Danila Fedorin 2024-08-08 17:54:25 -0700
• bf9b0aedf9 Edit and publish part 3 Danila Fedorin 2024-08-08 17:30:17 -0700
• 21b2ff208e Edit and publish part 2 Danila Fedorin 2024-08-08 16:45:13 -0700
• ecad4541f6 Add a (not-yet-valid) link to part 4 Danila Fedorin 2024-08-08 16:44:48 -0700
• 26a29865e7 Write some more Danila Fedorin 2024-08-08 16:13:57 -0700
• ba287130d3 Start working on "The Void" Danila Fedorin 2024-08-04 19:37:29 -0700
• 864276ea72 Delete .DS_Store file Danila Fedorin 2024-08-01 21:23:13 -0700
• 23eb36b911 Update theme Danila Fedorin 2024-07-16 14:31:06 -0700
• 51bcd116b3 Update other dates on lattice drafts Danila Fedorin 2024-07-06 17:52:17 -0700
• 928adbd594 Publish Agda SPA post about lattices Danila Fedorin 2024-07-06 17:42:53 -0700
• e91b6f692f Publish introducton to SPA in Agda Danila Fedorin 2024-07-06 17:39:03 -0700
• 861dafef70 Finish up draft about lattices of finite height. Danila Fedorin 2024-07-05 20:43:26 -0700
• 388c23c376 Write more on finite height lattices Danila Fedorin 2024-07-05 12:09:29 -0700
• 82d9196c90 Update theme with bugfix Danila Fedorin 2024-06-27 22:32:13 -0700
• 826a16eb66 Start working on part 3 Danila Fedorin 2024-06-27 22:26:01 -0700
• 0b97eb85a1 Update theme Danila Fedorin 2024-06-26 19:49:24 -0700
• a2132001e8 Update theme Danila Fedorin 2024-06-26 19:25:32 -0700
• 4fd6dd5606 Make minor edits to article and update theme Danila Fedorin 2024-06-24 19:59:51 -0700
• 7b71ec4402 Update theme some more Danila Fedorin 2024-06-24 19:49:05 -0700
• 07771117ac Update theme Danila Fedorin 2024-06-24 19:28:41 -0700
• 7fbc884e94 Actually disable new tab external links Danila Fedorin 2024-06-24 18:48:13 -0700
• b40be72590 Disable opening external links in new tab Danila Fedorin 2024-06-24 17:52:14 -0700
• b3db25c470 Fix some typos and publish the microfeatures post Danila Fedorin 2024-06-23 18:02:13 -0700
• 6a7b6ffc1f Write an article about microfeatures Danila Fedorin 2024-06-23 17:59:03 -0700
• c87bb90c48 Update theme Danila Fedorin 2024-06-23 17:57:06 -0700
• a6225191d0 Update theme Danila Fedorin 2024-06-19 22:44:53 -0700
• afb904a64c Update theme Danila Fedorin 2024-06-19 22:29:09 -0700
• cbad391dcd Update theme Danila Fedorin 2024-06-19 22:18:19 -0700
• 0bf3facf6c Add series navigation before appendix Danila Fedorin 2024-06-19 22:04:01 -0700
• a9da39b987 Update theme Danila Fedorin 2024-06-19 22:03:54 -0700
• 1071bdd35a Update theme Danila Fedorin 2024-06-19 17:31:34 -0700
• 8656985885 Introduce "join" and "meet" as terms Danila Fedorin 2024-06-16 20:12:39 -0700
• 3be523b79e Update theme Danila Fedorin 2024-06-16 19:45:29 -0700
• 1fb7e5ff85 Finish draft of part 2, combining lattices Danila Fedorin 2024-06-16 18:09:56 -0700
• df75d6e017 Slightly expand the draft. Danila Fedorin 2024-06-09 19:39:00 -0700
• 29c9af4902 Update theme to generate links to file ranges where possible Danila Fedorin 2024-06-09 18:52:01 -0700
• 7b03183e75 Continue expanding on the map draft Danila Fedorin 2024-06-09 18:02:04 -0700
• 4c70e61a14 Write some more in combining lattices Danila Fedorin 2024-05-30 22:41:15 -0700
• b2b225f4ae Create only undirected edges from smaller node ID to higher node ID Danila Fedorin 2024-05-30 21:07:23 -0700
• c17142e648 Fix the call to 'uniq' in analyze.rb Danila Fedorin 2024-05-30 20:58:03 -0700