Commit Graph

Select branches

Hide Pull Requests

colors

donations

i-love-programming-languages

localization

margin-rework

master

search

sidenotes

table-of-contents

Mono Color

• 5e117e3f48 Ignore warnings encoded as syntax highlighting master Danila Fedorin 2026-01-04 16:33:43 -08:00
• a6f3cd3f9a Update theme. Danila Fedorin 2026-01-03 18:08:51 -08:00
• ccc8d6f0eb Re-enable hiding LaTeX Danila Fedorin 2026-01-03 16:34:57 -08:00
• 7a088d6739 Edit, finish, and publish post on PL i-love-programming-languages Danila Fedorin 2025-12-31 21:27:55 -08:00
• 626baefd76 Do some aggressive trimming and editing. Danila Fedorin 2025-12-30 00:06:17 -08:00
• 4602d02720 [WIP] 2/3 draft Danila Fedorin 2025-12-29 23:07:55 -08:00
• 7fbd4ea9f8 Update theme with syntax highlighting fix Danila Fedorin 2025-04-12 17:56:44 -07:00
• 6fd1e1962b Update theme Danila Fedorin 2025-03-30 23:15:54 -07:00
• 62c338e382 Add a post on Chapel's runtime types Danila Fedorin 2025-03-02 22:56:10 -08:00
• 40ea9ec637 Update theme for newer Hugo Danila Fedorin 2025-03-02 18:54:28 -08:00
• 787e194d41 Update theme with new Hugo support Danila Fedorin 2025-03-02 13:40:21 -08:00
• 71162e2db9 Update nokogiri more Danila Fedorin 2025-03-02 13:36:08 -08:00
• 43debc65e4 Update nokogiri Danila Fedorin 2025-03-02 13:27:09 -08:00
• b07ea85b70 Update ruby scripts to use 'File.exist?' Danila Fedorin 2025-03-02 11:32:55 -08:00
• 06e8b8e022 Keep KaTeX css files Danila Fedorin 2025-02-23 17:01:49 -08:00
• 647f47a5f3 Remove KaTeX CSS includes if we don't need them. Danila Fedorin 2025-02-23 14:35:31 -08:00
• 36e4feb668 Update theme Danila Fedorin 2025-02-23 14:14:15 -08:00
• 11be991946 Print number of files processed Danila Fedorin 2025-02-23 13:19:35 -08:00
• a8c2b1d05a Fix bug in subsetting script Danila Fedorin 2025-02-23 13:16:33 -08:00
• fb46142e9d Remove incorrect print Danila Fedorin 2025-02-23 12:45:24 -08:00
• 0b33d03b73 Pass the font folder as part of argv Danila Fedorin 2025-02-23 12:35:45 -08:00
• 804147caef Read SVG path from the command line Danila Fedorin 2025-02-23 12:34:44 -08:00
• d847d20666 Adjust Python script to also just accept HTML files as args Danila Fedorin 2025-02-23 12:28:19 -08:00
• 07408d01a9 Use ARGV like other ruby post-processing scripts Danila Fedorin 2025-02-23 12:22:06 -08:00
• 816a473913 Add a (ChatGPT-provided) script to perform subsetting Danila Fedorin 2025-02-23 12:01:21 -08:00
• ce8f8fb872 Add a (ChatGPT-provided) script to subset feather icons Danila Fedorin 2025-02-23 11:58:41 -08:00
• 2f60004241 Update theme with instanced fonts Danila Fedorin 2025-02-23 11:43:38 -08:00
• 7130c6bd11 Fix cross-linking in whitespace-trimmed files Danila Fedorin 2024-12-26 12:35:03 -08:00
• c5aacc060a Update theme with font improvements Danila Fedorin 2024-12-26 11:53:29 -08:00
• 6048dc0b9c Mark SPA series as completed Danila Fedorin 2024-12-25 19:07:26 -08:00
• 1f01c3caff Publish the last two posts in the SPA series Danila Fedorin 2024-12-25 19:05:28 -08:00
• bca44343eb Update theme with required shortcodes Danila Fedorin 2024-12-25 19:04:10 -08:00
• 3b9c2edcdd Write up the "verified" portion of the forward analysis Danila Fedorin 2024-12-25 19:03:51 -08:00
• fa180ee24e Fix thevoid theme on light mode devices Danila Fedorin 2024-12-04 13:58:32 -08:00
• 5846dd5d04 Fix typos Danila Fedorin 2024-12-01 22:19:45 -08:00
• f6b347eb05 Fix slugs and add example of constant propagation Danila Fedorin 2024-12-01 22:19:08 -08:00
• c1b27a13ae Add a draft post on forward analysis Danila Fedorin 2024-12-01 22:16:02 -08:00
• 147658ee89 Update theme Danila Fedorin 2024-11-28 20:41:21 -08:00
• 4017c52fee Add a link to the future (not-yet-written) forward analysis post Danila Fedorin 2024-11-28 20:38:18 -08:00
• 65d290556f Write a new post about proving the connection between semantics and CFGs Danila Fedorin 2024-11-28 20:33:08 -08:00
• 854dccd4d2 Update caption / description of SPA part 6 Danila Fedorin 2024-11-27 16:34:03 -08:00
• 07859cd1af Publish SPA part 6, for real this time Danila Fedorin 2024-11-27 16:30:13 -08:00
• 19be7eb1f5 Edit and publish post on control flow graphs Danila Fedorin 2024-11-27 16:27:26 -08:00
• 5de2ae1203 Publish 'the void' Danila Fedorin 2024-11-27 15:13:34 -08:00
• 595a1ad99b More edits Danila Fedorin 2024-11-27 12:27:56 -08:00
• 32ccfc76ae Merge branch 'thevoid' Danila Fedorin 2024-11-27 00:41:05 -08:00
• ae0d54e567 Add draft warning to the void Danila Fedorin 2024-11-27 00:40:44 -08:00
• b774f0e088 More minor edits Danila Fedorin 2024-11-27 00:40:32 -08:00
• e294bcb2d0 Add conclusion and make some edits Danila Fedorin 2024-11-27 00:21:47 -08:00
• 1322e0249c Update theme Danila Fedorin 2024-11-26 19:52:02 -08:00
• e40a05633c Update theme Danila Fedorin 2024-11-25 19:17:13 -08:00
• e5fb0a2929 Write more Danila Fedorin 2024-11-16 15:25:26 -08:00
• 3bd1f0c8a0 Update Agda SPA imp Danila Fedorin 2024-11-16 15:16:57 -08:00
• 948759b7d4 Update the SPA repo Danila Fedorin 2024-11-16 14:44:02 -08:00
• f2e424944e Start working on the control flow graphs post Danila Fedorin 2024-11-13 19:57:08 -08:00
• 8a471c6b45 Add missing imp.bergamot file for rendering imperative programs Danila Fedorin 2024-11-06 10:43:47 -08:00
• 9b93582d18 Fix meta description on part 4 of SPA Danila Fedorin 2024-11-03 17:59:37 -08:00
• 9fc2d16fb8 Adjust dates of part 4 and part 5 to match real publication dates Danila Fedorin 2024-11-03 17:51:13 -08:00
• f00c69f02c Edit and publish SPA part 5 Danila Fedorin 2024-11-03 17:50:11 -08:00
• 4fc1191d13 Proofread and publish part 4 Danila Fedorin 2024-11-03 17:37:44 -08:00
• 951aafc90a Stop using 'symeq' Danila Fedorin 2024-11-03 17:12:39 -08:00
• ee13409b33 Add a visualization of two ASTs Danila Fedorin 2024-11-03 17:06:19 -08:00
• 615aeb72da Finish most of part 5 of SPA series Danila Fedorin 2024-11-03 16:58:06 -08:00
• 3be67ca4c8 Use unification-based 'eq' for numbers and symbols Danila Fedorin 2024-11-03 16:05:04 -08:00
• b216581f2b Editing pass Danila Fedorin 2024-11-03 15:54:18 -08:00
• 1060198b01 Finish draft-sans-ending Danila Fedorin 2024-11-02 20:43:22 -07:00
• 0485917a20 Transcribe more writing Danila Fedorin 2024-10-31 23:47:29 -07:00
• 37dd9ad6d4 Write the semantics section using Bergamot Danila Fedorin 2024-10-13 13:31:47 -07:00
• 77dade1d1d Move all bergamot partials and shortcodes into theme Danila Fedorin 2024-09-15 20:10:04 -07:00
• d140422225 Update theme Danila Fedorin 2024-09-15 20:05:46 -07:00
• 2defe99c73 Update theme w/ more Bergamot affordances Danila Fedorin 2024-09-15 19:49:37 -07:00
• 0766211d79 Turn semantics post into page bundle Danila Fedorin 2024-09-15 18:47:32 -07:00
• b854eade3c Remove configs from website that are now defined in theme Danila Fedorin 2024-09-15 18:46:23 -07:00
• c6f34f8eaa Delete unused shortcodes Danila Fedorin 2024-09-15 17:46:13 -07:00
• 0ba5799c75 Update theme with missing file Danila Fedorin 2024-09-15 16:39:17 -07:00
• 324fa948e6 Bring in more theme updates Danila Fedorin 2024-09-15 16:28:07 -07:00
• 3e46ff8be6 Update vanilla theme to handle loading Bergamot Danila Fedorin 2024-09-15 15:39:46 -07:00
• 18eb1da5ba Allow render rules to be customized using render presets Danila Fedorin 2024-09-15 13:49:57 -07:00
• dde7df4604 Update to new Bergamot version Danila Fedorin 2024-09-15 10:33:40 -07:00
• e4101f1396 Fix missing paren Danila Fedorin 2024-09-01 15:19:47 -07:00
• d94ceeab2e Make minor edits to part 5 of SPA Danila Fedorin 2024-08-31 11:37:28 -07:00
• 697f083237 Reference more future posts in SPA intro Danila Fedorin 2024-08-18 15:05:55 -10:00
• 3e97fdcfea Start work on the draft about semantics Danila Fedorin 2024-08-18 15:05:39 -10:00
• 40007c427e Avoid using a non-greedy match and just avoid $ in {{< latex >}} Danila Fedorin 2024-08-18 14:16:42 -10:00
• 5ab0d0d40e Use a non-greedy match for the double-dollar-sign escaping Danila Fedorin 2024-08-18 14:07:16 -10:00
• 7c65afbc93 Fix more line numbers Danila Fedorin 2024-08-18 13:31:08 -10:00
• fb071e55aa Update 'submodules.json' with new submodule Danila Fedorin 2024-08-18 13:23:20 -10:00
• 406c934b7a Update code in blog post to match new line numbers Danila Fedorin 2024-08-18 13:22:28 -10:00
• 292cf009e6 Remove --local-interfaces as it is no longer needed Danila Fedorin 2024-08-18 12:29:35 -10:00
• 6bf7659b19 Fix line numbering issues due to updating Agda Danila Fedorin 2024-08-18 11:14:09 -10:00
• 0a90e8da29 Write a draft of the fixed point algorithm article Danila Fedorin 2024-08-18 11:05:51 -10:00
• 32fe8e5ee6 Update the referenced Agda submodule Danila Fedorin 2024-08-18 10:30:21 -10:00
• 7ccbaa7829 Make sure all links are consistent Danila Fedorin 2024-08-09 06:48:26 -07:00
• 7817c9a4ce Add draft link support to analyze.rb Danila Fedorin 2024-08-08 17:54:25 -07:00
• bf9b0aedf9 Edit and publish part 3 Danila Fedorin 2024-08-08 17:30:17 -07:00
• 21b2ff208e Edit and publish part 2 Danila Fedorin 2024-08-08 16:45:13 -07:00
• ecad4541f6 Add a (not-yet-valid) link to part 4 Danila Fedorin 2024-08-08 16:44:48 -07:00
• 26a29865e7 Write some more Danila Fedorin 2024-08-08 16:13:57 -07:00
• ba287130d3 Start working on "The Void" Danila Fedorin 2024-08-04 19:37:29 -07:00
• 864276ea72 Delete .DS_Store file Danila Fedorin 2024-08-01 21:23:13 -07:00