Commit Graph

Select branches

Hide Pull Requests

colors

donations

localization

margin-rework

master

search

sidenotes

table-of-contents

Mono Color

• 7fbd4ea9f8 Update theme with syntax highlighting fix master Danila Fedorin 2025-04-12 17:56:44 -0700
• 6fd1e1962b Update theme Danila Fedorin 2025-03-30 23:15:54 -0700
• 62c338e382 Add a post on Chapel's runtime types Danila Fedorin 2025-03-02 22:56:10 -0800
• 40ea9ec637 Update theme for newer Hugo Danila Fedorin 2025-03-02 18:54:28 -0800
• 787e194d41 Update theme with new Hugo support Danila Fedorin 2025-03-02 13:40:21 -0800
• 71162e2db9 Update nokogiri more Danila Fedorin 2025-03-02 13:36:08 -0800
• 43debc65e4 Update nokogiri Danila Fedorin 2025-03-02 13:27:09 -0800
• b07ea85b70 Update ruby scripts to use 'File.exist?' Danila Fedorin 2025-03-02 11:32:55 -0800
• 06e8b8e022 Keep KaTeX css files Danila Fedorin 2025-02-23 17:01:49 -0800
• 647f47a5f3 Remove KaTeX CSS includes if we don't need them. Danila Fedorin 2025-02-23 14:35:31 -0800
• 36e4feb668 Update theme Danila Fedorin 2025-02-23 14:14:15 -0800
• 11be991946 Print number of files processed Danila Fedorin 2025-02-23 13:19:35 -0800
• a8c2b1d05a Fix bug in subsetting script Danila Fedorin 2025-02-23 13:16:33 -0800
• fb46142e9d Remove incorrect print Danila Fedorin 2025-02-23 12:45:24 -0800
• 0b33d03b73 Pass the font folder as part of argv Danila Fedorin 2025-02-23 12:35:45 -0800
• 804147caef Read SVG path from the command line Danila Fedorin 2025-02-23 12:34:44 -0800
• d847d20666 Adjust Python script to also just accept HTML files as args Danila Fedorin 2025-02-23 12:28:19 -0800
• 07408d01a9 Use ARGV like other ruby post-processing scripts Danila Fedorin 2025-02-23 12:22:06 -0800
• 816a473913 Add a (ChatGPT-provided) script to perform subsetting Danila Fedorin 2025-02-23 12:01:21 -0800
• ce8f8fb872 Add a (ChatGPT-provided) script to subset feather icons Danila Fedorin 2025-02-23 11:58:41 -0800
• 2f60004241 Update theme with instanced fonts Danila Fedorin 2025-02-23 11:43:38 -0800
• 7130c6bd11 Fix cross-linking in whitespace-trimmed files Danila Fedorin 2024-12-26 12:35:03 -0800
• c5aacc060a Update theme with font improvements Danila Fedorin 2024-12-26 11:53:29 -0800
• 6048dc0b9c Mark SPA series as completed Danila Fedorin 2024-12-25 19:07:26 -0800
• 1f01c3caff Publish the last two posts in the SPA series Danila Fedorin 2024-12-25 19:05:28 -0800
• bca44343eb Update theme with required shortcodes Danila Fedorin 2024-12-25 19:04:10 -0800
• 3b9c2edcdd Write up the "verified" portion of the forward analysis Danila Fedorin 2024-12-25 19:03:51 -0800
• fa180ee24e Fix thevoid theme on light mode devices 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