blog-static

Author	SHA1	Message	Date
Danila Fedorin	5846dd5d04	Fix typos Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-12-01 22:19:45 -08:00
Danila Fedorin	f6b347eb05	Fix slugs and add example of constant propagation Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-12-01 22:19:08 -08:00
Danila Fedorin	c1b27a13ae	Add a draft post on forward analysis Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-12-01 22:16:02 -08:00
Danila Fedorin	147658ee89	Update theme Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-11-28 20:41:21 -08:00
Danila Fedorin	4017c52fee	Add a link to the future (not-yet-written) forward analysis post Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-11-28 20:38:18 -08:00
Danila Fedorin	65d290556f	Write a new post about proving the connection between semantics and CFGs Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-11-28 20:33:08 -08:00
Danila Fedorin	854dccd4d2	Update caption / description of SPA part 6 Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-11-27 16:34:03 -08:00
Danila Fedorin	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
Danila Fedorin	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
Danila Fedorin	5de2ae1203	Publish 'the void' Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-11-27 15:13:34 -08:00
Danila Fedorin	595a1ad99b	More edits Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-11-27 12:27:56 -08:00
Danila Fedorin	32ccfc76ae	Merge branch 'thevoid'	2024-11-27 00:41:05 -08:00
Danila Fedorin	ae0d54e567	Add draft warning to the void Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-11-27 00:40:44 -08:00
Danila Fedorin	b774f0e088	More minor edits Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-11-27 00:40:32 -08:00
Danila Fedorin	e294bcb2d0	Add conclusion and make some edits Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-11-27 00:21:47 -08:00
Danila Fedorin	1322e0249c	Update theme Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-11-26 19:52:02 -08:00
Danila Fedorin	e40a05633c	Update theme Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-11-25 19:17:13 -08:00
Danila Fedorin	e5fb0a2929	Write more Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-11-16 15:25:26 -08:00
Danila Fedorin	3bd1f0c8a0	Update Agda SPA imp	2024-11-16 15:16:57 -08:00
Danila Fedorin	948759b7d4	Update the SPA repo Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-11-16 14:44:02 -08:00
Danila Fedorin	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
Danila Fedorin	8a471c6b45	Add missing imp.bergamot file for rendering imperative programs Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-11-06 10:43:47 -08:00
Danila Fedorin	9b93582d18	Fix meta description on part 4 of SPA	2024-11-03 17:59:37 -08:00
Danila Fedorin	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
Danila Fedorin	f00c69f02c	Edit and publish SPA part 5	2024-11-03 17:50:11 -08:00
Danila Fedorin	4fc1191d13	Proofread and publish part 4 Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-11-03 17:37:44 -08:00
Danila Fedorin	951aafc90a	Stop using 'symeq' Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-11-03 17:12:39 -08:00
Danila Fedorin	ee13409b33	Add a visualization of two ASTs Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-11-03 17:06:19 -08:00
Danila Fedorin	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
Danila Fedorin	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
Danila Fedorin	b216581f2b	Editing pass Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-11-03 15:54:18 -08:00
Danila Fedorin	1060198b01	Finish draft-sans-ending	2024-11-02 20:43:22 -07:00
Danila Fedorin	0485917a20	Transcribe more writing Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-10-31 23:47:29 -07:00
Danila Fedorin	37dd9ad6d4	Write the semantics section using Bergamot Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-10-13 13:31:47 -07:00
Danila Fedorin	77dade1d1d	Move all bergamot partials and shortcodes into theme Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-09-15 20:10:04 -07:00
Danila Fedorin	d140422225	Update theme Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-09-15 20:05:46 -07:00
Danila Fedorin	2defe99c73	Update theme w/ more Bergamot affordances Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-09-15 19:49:37 -07:00
Danila Fedorin	0766211d79	Turn semantics post into page bundle Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-09-15 18:47:32 -07:00
Danila Fedorin	b854eade3c	Remove configs from website that are now defined in theme Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-09-15 18:46:23 -07:00
Danila Fedorin	c6f34f8eaa	Delete unused shortcodes Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-09-15 17:46:13 -07:00
Danila Fedorin	0ba5799c75	Update theme with missing file Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-09-15 16:39:17 -07:00
Danila Fedorin	324fa948e6	Bring in more theme updates Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-09-15 16:28:07 -07:00
Danila Fedorin	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
Danila Fedorin	18eb1da5ba	Allow render rules to be customized using render presets Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-09-15 13:49:57 -07:00
Danila Fedorin	dde7df4604	Update to new Bergamot version Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-09-15 10:33:40 -07:00
Danila Fedorin	e4101f1396	Fix missing paren Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-09-01 15:19:47 -07:00
Danila Fedorin	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
Danila Fedorin	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
Danila Fedorin	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
Danila Fedorin	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
Danila Fedorin	5ab0d0d40e	Use a non-greedy match for the double-dollar-sign escaping Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-08-18 14:07:16 -10:00
Danila Fedorin	7c65afbc93	Fix more line numbers Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-08-18 13:31:08 -10:00
Danila Fedorin	fb071e55aa	Update 'submodules.json' with new submodule Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-08-18 13:23:20 -10:00
Danila Fedorin	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
Danila Fedorin	292cf009e6	Remove --local-interfaces as it is no longer needed Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-08-18 12:29:35 -10:00
Danila Fedorin	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
Danila Fedorin	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
Danila Fedorin	32fe8e5ee6	Update the referenced Agda submodule Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-08-18 10:30:21 -10:00
Danila Fedorin	7ccbaa7829	Make sure all links are consistent Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-08-09 06:48:26 -07:00
Danila Fedorin	7817c9a4ce	Add draft link support to analyze.rb Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-08-08 17:54:25 -07:00
Danila Fedorin	bf9b0aedf9	Edit and publish part 3 Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-08-08 17:30:17 -07:00
Danila Fedorin	21b2ff208e	Edit and publish part 2 Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-08-08 16:45:13 -07:00
Danila Fedorin	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
Danila Fedorin	26a29865e7	Write some more	2024-08-08 16:13:57 -07:00
Danila Fedorin	ba287130d3	Start working on "The Void"	2024-08-04 19:37:29 -07:00
Danila Fedorin	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
Danila Fedorin	23eb36b911	Update theme Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-07-16 14:31:06 -07:00
Danila Fedorin	51bcd116b3	Update other dates on lattice drafts Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-07-06 17:52:17 -07:00
Danila Fedorin	928adbd594	Publish Agda SPA post about lattices Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-07-06 17:46:54 -07:00
Danila Fedorin	e91b6f692f	Publish introducton to SPA in Agda Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-07-06 17:42:44 -07:00
Danila Fedorin	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
Danila Fedorin	388c23c376	Write more on finite height lattices Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-07-05 12:09:29 -07:00
Danila Fedorin	82d9196c90	Update theme with bugfix Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-06-27 22:32:13 -07:00
Danila Fedorin	826a16eb66	Start working on part 3 Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-06-27 22:26:01 -07:00
Danila Fedorin	0b97eb85a1	Update theme Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-06-26 19:49:24 -07:00
Danila Fedorin	a2132001e8	Update theme Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-06-26 19:25:32 -07:00
Danila Fedorin	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
Danila Fedorin	7b71ec4402	Update theme some more Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-06-24 19:49:05 -07:00
Danila Fedorin	07771117ac	Update theme Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-06-24 19:28:41 -07:00
Danila Fedorin	7fbc884e94	Actually disable new tab external links Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-06-24 18:48:13 -07:00
Danila Fedorin	b40be72590	Disable opening external links in new tab Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-06-24 17:52:14 -07:00
Danila Fedorin	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
Danila Fedorin	6a7b6ffc1f	Write an article about microfeatures Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-06-23 17:59:03 -07:00
Danila Fedorin	c87bb90c48	Update theme Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-06-23 17:57:06 -07:00
Danila Fedorin	a6225191d0	Update theme Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-06-19 22:44:53 -07:00
Danila Fedorin	afb904a64c	Update theme Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-06-19 22:29:09 -07:00
Danila Fedorin	cbad391dcd	Update theme Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-06-19 22:18:19 -07:00
Danila Fedorin	0bf3facf6c	Add series navigation before appendix Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-06-19 22:04:01 -07:00
Danila Fedorin	a9da39b987	Update theme Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-06-19 22:03:54 -07:00
Danila Fedorin	1071bdd35a	Update theme Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-06-19 17:31:34 -07:00
Danila Fedorin	8656985885	Introduce "join" and "meet" as terms Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-06-16 20:12:39 -07:00
Danila Fedorin	3be523b79e	Update theme Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-06-16 19:45:29 -07:00
Danila Fedorin	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
Danila Fedorin	df75d6e017	Slightly expand the draft. Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-06-09 19:39:00 -07:00
Danila Fedorin	29c9af4902	Update theme to generate links to file ranges where possible Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-06-09 18:52:01 -07:00
Danila Fedorin	7b03183e75	Continue expanding on the map draft Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-06-09 18:02:04 -07:00
Danila Fedorin	4c70e61a14	Write some more in combining lattices Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-30 22:41:15 -07:00
Danila Fedorin	b2b225f4ae	Create only undirected edges from smaller node ID to higher node ID Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-30 21:07:23 -07:00
Danila Fedorin	c17142e648	Fix the call to 'uniq' in analyze.rb Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-30 20:58:03 -07:00
Danila Fedorin	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
Danila Fedorin	d2807917d2	Insert sequential links for series in analyze.rb Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-30 20:52:14 -07:00
Danila Fedorin	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
Danila Fedorin	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
Danila Fedorin	daaccb9b2f	Add new groups to content graph script Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-30 00:38:27 -07:00
Danila Fedorin	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
Danila Fedorin	13636a0d29	Write more about Agda+Hugo Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-30 00:13:48 -07:00
Danila Fedorin	5232f0a6e2	Update theme with new code highlighting Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-27 18:58:20 -07:00
Danila Fedorin	6a168f2fe1	Start on a draft about Agda and Hugo Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-25 23:28:18 -07:00
Danila Fedorin	04f12b545d	Minor edits to 'lattices 2' Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-25 20:45:19 -07:00
Danila Fedorin	711b01175d	Put the number back to what it was Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-24 23:12:27 -07:00
Danila Fedorin	272c2666c5	Inconsequential tweak to test Agda caching in build system Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-24 13:44:34 -07:00
Danila Fedorin	60ba43378a	Make the destination folders Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-24 13:21:33 -07:00
Danila Fedorin	1da60b3b28	Print result of executing command Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-24 13:17:44 -07:00
Danila Fedorin	ee118b07e5	Make build-agda-html.rb more configurable This should use it from Nix, and cache the Agda compilations Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-24 12:31:26 -07:00
Danila Fedorin	06ee998d54	Allow executing non-remote JS for KaTeX Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-23 21:14:49 -07:00
Danila Fedorin	c197a45540	Port over the HTML conversion script to execute JS Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-23 21:03:03 -07:00
Danila Fedorin	4d23b45633	Update theme Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-23 00:57:07 -07:00
Danila Fedorin	c027efa931	Stop crashing on failed Agda invocation Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-23 00:31:36 -07:00
Danila Fedorin	96c4d6fecc	Fail if couldn't build Agda Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-23 00:04:13 -07:00
Danila Fedorin	4e1fd54c58	Add Gemfile and lock for nokogiri since a script now uses it Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-22 23:14:51 -07:00
Danila Fedorin	d6db020e1c	Adjust build script to accept Agda invocation This might come in useful from NixOS Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-22 23:05:36 -07:00
Danila Fedorin	c0f4fe017f	Replace absolute links with relrefs Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-22 23:05:11 -07:00
Danila Fedorin	11d726a6ad	Fix absolute link in favor of relref Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-22 23:01:26 -07:00
Danila Fedorin	37399afc68	Update theme to generate series meta Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-22 22:42:04 -07:00
Danila Fedorin	5c19fc4208	Automatically group files using the series meta Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-22 22:41:32 -07:00
Danila Fedorin	00f0f13b93	Support cross-file linking Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-22 22:29:26 -07:00
Danila Fedorin	54844fb954	Add script to generate HTML for all Agda files appropriately Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-22 17:34:32 -07:00
Danila Fedorin	6ffd3afeaa	Update theme Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-22 17:07:37 -07:00
Danila Fedorin	9d0dcd98bd	Improve support when code occurrs multiple times Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-22 17:05:38 -07:00
Danila Fedorin	f78f877e21	Support blocks that are the entire file Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-22 16:50:45 -07:00
Danila Fedorin	5d0b903c03	Support non-submodule code Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-22 16:47:42 -07:00
Danila Fedorin	032411fe9c	Add a script to generate links using Agda's HTML output Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-22 16:28:00 -07:00
Danila Fedorin	76b061d699	Update theme Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-22 16:23:47 -07:00
Danila Fedorin	08d37c839c	Update theme Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-21 23:51:08 -07:00
Danila Fedorin	0a26230fe1	Remove unused shortcodes Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-21 20:09:48 -07:00
Danila Fedorin	2e59beda0c	Update theme	2024-05-21 19:05:07 -07:00
Danila Fedorin	ee8b1f5dc0	Write a bit more, enable support for paragraph links Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-21 19:04:08 -07:00
Danila Fedorin	4938cdaecd	Work some more on lattices 2 Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-20 22:46:18 -07:00
Danila Fedorin	84f28ae5ce	Add tags to Agda articles Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-20 21:46:14 -07:00
Danila Fedorin	58e7a1f2dc	Start on a draft of 'combining lattices' Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-20 21:39:03 -07:00
Danila Fedorin	78bba7a0e9	Update the blog for series navigation Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-20 00:37:16 -07:00
Danila Fedorin	9d31764073	Tie up Lattices (1), and plan to write Lattices (2) Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-19 22:29:24 -07:00
Danila Fedorin	d787548915	Update theme Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-16 16:17:01 -07:00
Danila Fedorin	a29bca499f	Switch to using data/ for submodule information Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-16 15:52:33 -07:00
Danila Fedorin	60d3b3025a	Flesh out the Lattices post some more Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-14 21:43:12 -07:00
Danila Fedorin	c036041339	Update theme Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-14 20:32:37 -07:00
Danila Fedorin	1df315612a	Update "typesafe interpreter" article to new math delimiters Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-13 19:08:17 -07:00
Danila Fedorin	15beddf96b	Update btree article with new math delimiters Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-13 19:07:44 -07:00
Danila Fedorin	20d8b18a9b	Update 'stack language recursion' article to new math delimiters Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-13 19:07:01 -07:00
Danila Fedorin	53ff0c39e4	Update "search as polynomial" article to new math delimiters Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-13 19:06:33 -07:00
Danila Fedorin	357a3bef09	Update the modulo patterns article to use new delimiters Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-13 19:04:08 -07:00
Danila Fedorin	81eef51e88	Update 'math rendering is wrong' to new math delimiters Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-13 19:02:14 -07:00
Danila Fedorin	10dfb2fe49	Update "church encoding" article to new math delimiters Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-13 19:01:42 -07:00
Danila Fedorin	ef76149112	Update 'newtype' article to new math delimiters Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-13 19:01:08 -07:00
Danila Fedorin	a6a330a78e	Update Haskell LSP article to new math delimiters Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-13 19:00:23 -07:00
Danila Fedorin	7f4d0df366	Update "catemorphisms" article to new math delimiters Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-13 18:59:54 -07:00
Danila Fedorin	3eddac0a89	Update "proving my compiler incorrect" to new math delimiters Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-13 18:58:50 -07:00
Danila Fedorin	6e7ac1c1ca	Update "I don't like Coq's docs" article to new math delimiters Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-13 18:58:15 -07:00
Danila Fedorin	68d9cf1274	Update 'evaluator for Dawn in Coq' article to new math delimiters Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-13 18:57:15 -07:00
Danila Fedorin	5eb0d1548c	Update dawn-in-coq to new math delimiters Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-13 18:55:59 -07:00
Danila Fedorin	e543904995	Update boolean values article to new math delimiters Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-13 18:54:11 -07:00
Danila Fedorin	ffda1d3235	Moved the bergamot article to new math delimiters Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-13 18:52:21 -07:00
Danila Fedorin	b705aa217c	Update "expr pattern in agda" to new math delimiters Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-13 18:50:56 -07:00
Danila Fedorin	6f20b17948	Update "compiler: polymorphic data types" to new math delimiters Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-13 18:50:05 -07:00
Danila Fedorin	2fde7e5cf8	Update "compiler: polymorphism" to new math delimiters Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-13 18:48:34 -07:00
Danila Fedorin	bee06b6731	Update "compiler: compilation" to use new math delimiters Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-13 18:43:14 -07:00
Danila Fedorin	d3fa7336a2	Update "compiler: execution" to new math delimiters Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-13 18:38:05 -07:00
Danila Fedorin	96545a899f	Update "compiler: typechecking" to new math delimiters Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-13 18:33:30 -07:00
Danila Fedorin	6ef5ae2394	Update "types: variables" to new math delimiters Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-13 18:31:52 -07:00
Danila Fedorin	05a31dd4d4	Update 'compiler: parsing' article to new string literals Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-13 18:30:27 -07:00
Danila Fedorin	d9d5c8bf14	Switch 'types: basics' to new math delimiters Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-13 18:28:36 -07:00
Danila Fedorin	291a1f0178	Update SPA article on Lattices with new math delimiters Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-13 18:22:21 -07:00
Danila Fedorin	2547b53aa2	Switch "Homework for an assignment" post 2 to new math delimiters Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-13 18:20:54 -07:00
Danila Fedorin	409f8b7186	Switch tokenizing article to new math delimiters Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-13 18:20:04 -07:00
Danila Fedorin	189422bf1e	Convert AoC Coq article to new math delimiters Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-13 18:16:20 -07:00
Danila Fedorin	74daeee140	Enable goldmark passthrough Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-13 17:47:52 -07:00
Danila Fedorin	befcd3cf98	Add a sidenote about land and lor. Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-13 15:41:50 -07:00
Danila Fedorin	e063ff6aa5	Update the vanilla theme Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-12 18:58:44 -07:00
Danila Fedorin	6179c86919	Show the basic Nat lattice. Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-12 18:52:26 -07:00
Danila Fedorin	a20fe07a56	Move original 'monotone function' text into new post and heavily rework it Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-12 18:28:44 -07:00
Danila Fedorin	2b5dcf12d7	Rename the SPA intro to have a specific name Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-12 13:50:29 -07:00
Danila Fedorin	5873c1ca96	Write a high-level introduction for the SPA series Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-12 13:49:21 -07:00
Danila Fedorin	c6e2ecb996	Add first section of Agda program analysis article Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-03-14 22:25:17 -07:00
Danila Fedorin	2130b00752	Narrow some of the tags Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-03-13 15:59:46 -07:00
Danila Fedorin	474c3a8348	Switch bracket types in Agda expression pattern post Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-03-13 15:05:37 -07:00
Danila Fedorin	29a18b8b37	Add description to expr_pattern Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-03-11 23:26:07 -07:00
Danila Fedorin	21ab4f0a8b	Update theme	2024-03-11 23:21:08 -07:00
Danila Fedorin	7d2842fd64	Add article about the 'deeply embedded expression' pattern	2024-03-11 23:15:56 -07:00
Danila Fedorin	cd4c121e07	Update the theme Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-03-11 15:50:40 -07:00
Danila Fedorin	d0570f876e	Add the SPA code as a submodule Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-03-11 14:34:35 -07:00
Danila Fedorin	8bf99a1ab0	Update theme Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-02-02 21:05:48 -08:00
Danila Fedorin	fdcd4ddd60	Defer loading of KaTeX JS and Bergamot support code	2023-12-30 19:56:14 -08:00
Danila Fedorin	c09fff455f	Update theme.	2023-12-30 19:40:10 -08:00
Danila Fedorin	0b3755c69a	Use a shim instead of the real katex-expression because it hardcodes too much. We don't need a second bundle of KaTeX, or all of the fonts a second time, served from a CDN we don't control. Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2023-12-30 19:38:37 -08:00
Danila Fedorin	e90fb64946	Update theme Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2023-12-30 16:31:46 -08:00
Danila Fedorin	d542a4790e	Update theme	2023-12-30 16:16:10 -08:00
Danila Fedorin	bc5cb4009c	Update theme	2023-12-30 16:02:52 -08:00
Danila Fedorin	6724533d0e	Update theme and change config.toml to match	2023-12-30 14:48:16 -08:00
Danila Fedorin	0f0668b77b	Make use of theme's support for Plausible.	2023-12-30 13:13:00 -08:00
Danila Fedorin	266bf9b4cf	Add an exercise about conversions to types: basics Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2023-12-29 12:47:58 -08:00
Danila Fedorin	a6f3bccf64	Use markdown for exercises, since it works fine out of the box. Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2023-12-28 16:05:15 -08:00
Danila Fedorin	2d640f2e6a	Center the 'no proofs' message	2023-12-28 13:20:19 -08:00
Danila Fedorin	d7d99205a1	Properly escape < in HTML content.	2023-12-28 00:36:58 -08:00
Danila Fedorin	9f437d5b9f	Add a couple of exercises to types: basics. Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2023-12-28 00:13:13 -08:00
Danila Fedorin	0d3100ba33	Make exercises into details (so they can be collapsed)	2023-12-28 00:12:51 -08:00
Danila Fedorin	72fb69d87b	Make minor changes to types: basics. Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2023-12-27 23:31:45 -08:00
Danila Fedorin	ed4fcf5e9d	Start explaining exercises in types intro. Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2023-12-27 23:31:28 -08:00
Danila Fedorin	8742c6e7b9	Add a Bergamot exercise shortcode to give exercises. Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2023-12-27 23:31:00 -08:00
Danila Fedorin	d7d7254a7b	Extract loading and closing bergamot into a helper script. Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2023-12-27 23:30:16 -08:00
Danila Fedorin	7e8870de6c	Factor launching bergamot into a helper function	2023-12-27 13:27:20 -08:00
Danila Fedorin	8f2b2addc2	Rename the widget IDs to not include numbers.	2023-12-27 13:16:20 -08:00
Danila Fedorin	e4743bbdef	Make some edits to 'types' part 1.	2023-12-26 14:02:48 -08:00
Danila Fedorin	80cdea6932	Update rendering rules for changes to Bergamot.	2023-12-26 13:22:38 -08:00
Danila Fedorin	645f2c5c9c	Update inference rules to match new Bergamot's single-literal output Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2023-12-26 13:21:37 -08:00
Danila Fedorin	85b81ffc98	Modify rendering rules to handle precedence Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2023-12-25 18:42:43 -08:00
Danila Fedorin	fa5536f504	Add special styling for bergamot error messages Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2023-12-25 18:42:29 -08:00
Danila Fedorin	16086e79b0	Proofread and publish bergamot post Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2023-12-22 22:15:17 -08:00
Danila Fedorin	b001bba3b8	Tweak rendering rules to support int(x) and str(x). Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2023-12-22 22:00:46 -08:00
Danila Fedorin	0c895a2662	Add an initial draft of the Bergamot post. Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2023-12-22 22:00:06 -08:00
Danila Fedorin	6f0641f315	Render variables better Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2023-12-22 16:04:47 -08:00
Danila Fedorin	dc9dbe8a0f	Update for bergamot requiring an 'input program' too Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2023-12-22 16:04:33 -08:00
Danila Fedorin	0b8096f973	Tweak the menu selector style Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2023-12-22 16:04:04 -08:00
Danila Fedorin	d58a2a9975	Add overflow scroll to proof tree view. Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2023-12-21 21:27:39 -08:00
Danila Fedorin	a83268a6e3	Update use of the bergamot widget Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2023-12-21 17:26:19 -08:00
Danila Fedorin	5c83f234c6	Include rendering rules in Bergamot widget. Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2023-12-03 00:03:08 -08:00
Danila Fedorin	24abec4045	Add some more CSS for the updates to the bergamot widget Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2023-12-03 00:01:49 -08:00
Danila Fedorin	56ff56281e	Add missing SCSS file for bergamot.	2023-11-29 23:26:09 -08:00
Danila Fedorin	c25f9ad9ae	Add the work-in-progress Bergamot widget to the basics page.	2023-11-29 23:21:15 -08:00
Danila Fedorin	5041c90ac0	Add some partials to load and create a Bergamot widget. I've set up some infrastructure to build and host a bergamot JS file using Nix on static.danilafe.com. Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2023-11-29 22:29:14 -08:00
Danila Fedorin	2855675fa5	Update theme Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2023-11-29 22:28:31 -08:00
Danila Fedorin	209689c5f4	Update the theme Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2023-11-27 22:18:15 -08:00
Danila Fedorin	3d64b0aa28	Update the 'vanilla' theme Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2023-11-24 11:04:42 -08:00
Danila Fedorin	3bceab0606	Fix dates Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2023-10-14 15:58:20 -07:00
Danila Fedorin	c189da3671	Finalize the X Macro article Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2023-10-14 15:38:54 -07:00
Danila Fedorin	dd232cedb5	Fixup links and add description to X Macros article.	2023-10-09 20:33:21 -07:00
Danila Fedorin	88c5daa561	Add the 'chapel' tag to the alloy article Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2023-10-09 20:24:19 -07:00
Danila Fedorin	4f281ef108	Add a draft article about X Macros	2023-10-09 20:23:57 -07:00
Danila Fedorin	12aca7ca58	Update the Alloy blogpost to point to the GitHub files. Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2023-10-09 14:41:03 -07:00
Danila Fedorin	77ec1aa969	Update the 'vanilla' theme Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2023-10-09 14:40:45 -07:00
Danila Fedorin	8710a5554c	Fix mistakes in the example.agda file for IsSomething. Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2023-09-03 11:38:00 -07:00
Danila Fedorin	6b24d67409	Minor wording updates to the Agda post.	2023-08-31 22:30:36 -07:00
Danila Fedorin	48c3105f42	Finish and publish the IsSomething article	2023-08-31 22:16:26 -07:00
Danila Fedorin	032453c4d0	Add a first draft of the IsSomething article	2023-08-28 23:04:39 -07:00
Danila Fedorin	f093868da1	Add the missing general-base pattern drawing code	2023-08-28 20:46:29 -07:00
Danila Fedorin	1f5e38190d	Fix DeMorgan's link	2023-06-04 22:03:38 -07:00
Danila Fedorin	250884c7bc	Edit and publish Alloy article	2023-06-04 21:56:45 -07:00
Danila Fedorin	8a2e91e65e	Update theme	2023-06-04 21:54:19 -07:00
Danila Fedorin	5910ce7980	Say screw it and publish polynomial article	2023-05-22 21:42:32 -07:00
Danila Fedorin	00bec06012	Make some edits to the polynomial draft Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2023-05-22 20:44:50 -07:00
Danila Fedorin	54dccdbc7d	Fix accidentally lowercased shortcode	2023-05-14 21:23:22 -07:00
Danila Fedorin	2bd776ec55	Add a description and disclaimer to the Alloy draft.	2023-05-14 21:18:23 -07:00
Danila Fedorin	23cf7c9e8b	Finish initial draft of the Alloy article.	2023-05-14 21:13:23 -07:00
Danila Fedorin	384f5de765	Make some more progress on the Alloy article.	2023-05-14 16:00:55 -07:00
Danila Fedorin	9ae4798d80	Hide Alloy article even from draft side	2023-05-04 21:03:37 -07:00
Danila Fedorin	850ccbdcee	Update theme	2023-05-04 21:02:07 -07:00
Danila Fedorin	d8ab3f2226	Continue working on the Alloy blog post	2023-05-04 21:01:31 -07:00
Danila Fedorin	9ddd2dd3bc	Add initial draft of alloy article	2023-05-04 01:03:58 -07:00
Danila Fedorin	f579641866	Add support for discussion rooms and add one to polynomial article	2023-04-15 15:09:06 -07:00
Danila Fedorin	a71c0c4e74	Update theme	2023-04-09 22:52:37 -07:00
Danila Fedorin	d3921f9e20	Update the theme to better deal with dark mode	2023-04-09 22:39:47 -07:00
Danila Fedorin	e0d7332dea	Update theme	2023-03-11 14:57:12 -08:00
Danila Fedorin	d6b8eb8548	Update theme with CSS variable fallbacks	2023-03-11 14:08:26 -08:00
Danila Fedorin	2964b6c6fa	Tweak some wording in the variables article	2023-03-11 12:15:21 -08:00
Danila Fedorin	a0cd1074e1	Update the theme with dark mode support	2023-03-11 12:14:57 -08:00
Danila Fedorin	cc2b5ef918	Remove the resume, as it's now auto-built	2023-02-19 22:49:55 -08:00
Danila Fedorin	d003fdf357	Update theme	2023-02-19 15:11:03 -08:00
Danila Fedorin	5384faf3ec	Update theme with support for series	2023-01-31 18:54:57 -08:00
Danila Fedorin	a833cd84f3	Add series tags to relevant articles	2023-01-31 18:53:30 -08:00
Danila Fedorin	7f1b9d31ea	Add all the series pages	2023-01-31 18:53:02 -08:00
Danila Fedorin	5bd8c11a86	Tag the more rough articles as expired to make sure they don't show up	2023-01-29 21:23:59 -08:00
Danila Fedorin	846d85bb7a	Add missing source file to typeclasses-are-logic post	2023-01-29 21:12:10 -08:00
Danila Fedorin	b492c2d0fb	Add more drafts	2023-01-29 21:08:31 -08:00
Danila Fedorin	1a6f5e061b	Add a very rough draft of the idris catemorphisms article I found lying around	2023-01-29 21:00:22 -08:00
Danila Fedorin	5c62107e3b	Put language code back into config.toml	2023-01-01 20:52:55 -08:00
Danila Fedorin	0891c5da62	Update theme	2023-01-01 19:37:08 -08:00
Danila Fedorin	2d22f0b2f2	Remove the code for the linear multistep article, too	2023-01-01 15:27:27 -08:00
Danila Fedorin	1961e545c0	Extract compiler into its own repo	2023-01-01 15:09:41 -08:00
Danila Fedorin	7951fcc494	Update theme	2023-01-01 14:32:42 -08:00
Danila Fedorin	6bf0b37694	Move the content graph layout into theme	2023-01-01 13:21:10 -08:00
Danila Fedorin	7a51132e69	Add back the tags page content via Markdown	2023-01-01 13:00:41 -08:00
Danila Fedorin	98f071df6d	Update theme	2023-01-01 12:59:45 -08:00
Danila Fedorin	9543296ffd	Delete some generated files in favor of generating them at build time	2023-01-01 12:30:49 -08:00
Danila Fedorin	16dd545c22	Make use of the theme's supported i18n features	2023-01-01 12:30:49 -08:00
Danila Fedorin	e7cb818f05	Merge branch 'master' of https://dev.danilafe.com/Web-Projects/blog-static	2022-12-30 13:35:00 -08:00
Danila Fedorin	ed89ade5e3	Update theme	2022-12-30 13:34:56 -08:00
Danila Fedorin	80d2eec5ed	Update theme	2022-12-30 13:29:03 -08:00
Danila Fedorin	8d980b0287	Fix typo in equation for search-as-polynomial article	2022-12-30 13:27:47 -08:00
Danila Fedorin	baa199c50f	Prevent overlap in polynomial search article	2022-12-09 15:42:48 -08:00
Danila Fedorin	29a0d2e357	Remove linear multistep article (transferred to Chapel blog)	2022-12-09 15:42:29 -08:00
Danila Fedorin	7ab72668e1	Update the theme	2022-12-09 15:41:27 -08:00
Danila Fedorin	ca3345cb33	Edit and improve the polynomial search post	2022-10-26 21:26:27 -07:00
Danila Fedorin	0ade4b2efb	Add a tiny section about the tropical semiring to polynomial post	2022-10-25 22:46:05 -07:00
Danila Fedorin	2439a02dbb	Add draft of first part of polynomials article	2022-10-23 17:27:30 -07:00
Danila Fedorin	a785c71c5f	Update theme with new KaTeX version	2022-10-18 19:32:50 -07:00
Danila Fedorin	db852cab68	Update about page	2022-10-18 18:09:40 -07:00
Danila Fedorin	6a5718c45e	Remove donation info	2022-10-18 18:09:40 -07:00
Danila Fedorin	c68dbdb8fe	Fix line range in linear multistep solver post	2022-10-04 13:20:56 -07:00
Danila Fedorin	49e0e2eb67	Make some edits to the variables article	2022-09-11 12:35:23 -07:00
Danila Fedorin	7d5b39f130	Make most tables not wrap on small screens	2022-09-10 23:56:08 -07:00
Danila Fedorin	dd8c846b3e	Fix typo in the polymorphism article	2022-09-10 17:20:09 -07:00
Danila Fedorin	392b103f38	Fix a mental typo in part 2 of types series	2022-09-10 12:33:43 -07:00
Danila Fedorin	347c818ab6	Add a summary to the end of part 1 of types series	2022-09-10 12:33:07 -07:00
Danila Fedorin	9192b870b6	Add a draft of the variables post in the types series	2022-08-29 21:45:53 -07:00
Danila Fedorin	c21757694e	Update the theme	2022-08-28 19:10:27 -07:00
Danila Fedorin	770c7d0663	Finish draft of Type Theory post	2022-08-28 19:05:59 -07:00
Danila Fedorin	bd8c9d8cdc	Add draft of compiler article	2022-08-10 19:26:04 -07:00
Danila Fedorin	10a4435760	Continue work on the type theory draft	2022-07-02 17:30:31 -07:00
Danila Fedorin	bc52c2c685	Use the new dialog environment to discuss the meaning of n	2022-07-02 16:16:26 -07:00
Danila Fedorin	81c8b2a903	Update theme	2022-07-02 16:16:08 -07:00
Danila Fedorin	5ef10238e3	Start working on the basics part of the type systems articles	2022-06-30 21:58:57 -07:00
Danila Fedorin	d2e8f809d0	Write some more for types series' intro.	2022-06-27 21:34:31 -07:00
Danila Fedorin	8e550dc982	Start working on types series?	2022-06-27 19:38:58 -07:00
Danila Fedorin	ed81ca957b	Add missing backslashes to post	2022-06-26 18:35:47 -07:00
Danila Fedorin	f8ab8257e7	Remove phone number	2022-05-15 11:44:04 -07:00
Danila Fedorin	2474804258	Update the resume to fix link typo	2022-04-30 15:24:53 -07:00
Danila Fedorin	e23dc1c063	Fix invalid KaTeX escape characters	2022-04-28 22:46:22 -07:00
Danila Fedorin	9b28528acc	Update generated files	2022-04-26 13:19:04 -07:00
Danila Fedorin	86fd460a7a	Revert "Remove generated files" This reverts commit `609b8c76b6`.	2022-04-26 13:15:56 -07:00
Danila Fedorin	609b8c76b6	Remove generated files	2022-04-26 20:04:51 -07:00
Danila Fedorin	57aecc46be	Update and publish catamorphism article	2022-04-24 01:09:34 -07:00
Danila Fedorin	ded50480a8	Update resume	2022-04-22 18:54:05 -07:00
Danila Fedorin	4043a5c1a3	Add a draft of the catmorphisms post	2022-04-22 17:20:32 -07:00
Danila Fedorin	b96d405270	Change tags on Nix Blog article	2022-04-10 13:11:50 -07:00
Danila Fedorin	85751ba294	Update the search index and graph view	2022-04-10 13:07:06 -07:00
Danila Fedorin	6145d9e804	Edit and public Nix Blog article	2022-04-10 13:04:03 -07:00
Danila Fedorin	fe1c05fe46	Finih up draft of the Nix Blog article	2022-04-10 00:53:35 -07:00
Danila Fedorin	dc3f086b9d	Update the blog flake submodule and Nix Blog post	2022-04-09 15:55:21 -07:00
Danila Fedorin	e778b8710d	Add some more content to Nix Blog post	2022-04-09 15:35:52 -07:00
Danila Fedorin	20be96253c	Fix analyzer script and update graph JSON	2022-04-09 03:24:15 -07:00
Danila Fedorin

Compare commits

533 Commits

localizati ... master

Compare commits

533 Commits localizati ... master

533 Commits

localizati ... master