Commit Graph

Select branches

Hide Pull Requests

colors

donations

localization

margin-rework

master

search

sidenotes

table-of-contents

Mono Color

• 3bac151b08 Make the fooder divider a container. Danila Fedorin 2020-12-30 18:06:38 -0800
• c61d9ccb99 Adjust footer divider style. Danila Fedorin 2020-12-30 18:00:44 -0800
• 56ad03b833 Remove index, since it's currently unused. Danila Fedorin 2020-12-30 16:47:01 -0800
• 2f9e6278ba Use feather for starts. Danila Fedorin 2020-12-30 16:42:19 -0800
• 17e0fbc6fb Remove search for now, since it screws with page load times. Danila Fedorin 2020-12-30 15:50:00 -0800
• 7ee7feadf3 Link to favorite posts from footer. Danila Fedorin 2020-12-30 14:45:30 -0800
• b36ea558a3 Update index. Danila Fedorin 2020-12-30 14:43:55 -0800
• 17d6a75465 Remove double toml extension from index. Danila Fedorin 2020-12-30 14:42:39 -0800
• d5541bc985 Add favorites page. Danila Fedorin 2020-12-30 14:41:29 -0800
• 98a46e9fd4 Display star near favorite posts. Danila Fedorin 2020-12-30 14:27:42 -0800
• 2e3074df00 Add favorite posts Danila Fedorin 2020-12-30 14:27:22 -0800
• b3dc3e690b Update search index. Danila Fedorin 2020-12-30 13:41:29 -0800
• b1943ede2f Add internship footer to posts (sorry) Danila Fedorin 2020-12-30 13:41:03 -0800
• 0467e4e12f Disable progress bar in Stork. Danila Fedorin 2020-12-28 22:44:34 -0800
• 8164624cee Remove useless paragraph element and fix CSS. Danila Fedorin 2020-12-28 22:41:15 -0800
• e0451d026c Update index. search Danila Fedorin 2020-12-28 22:32:24 -0800
• 1f1345477f Use Hugo's plaintext instead of file path for Stork index. Danila Fedorin 2020-12-28 22:32:17 -0800
• 44529e872f Fix wrong path name for index file. Danila Fedorin 2020-12-28 22:23:29 -0800
• a10996954e Redirect search index. Danila Fedorin 2020-12-28 22:22:37 -0800
• 4d1dfb5f66 Generate initial index. This will not be static indefinitely; I just need to find a way to build it in Nix. Danila Fedorin 2020-12-28 22:22:19 -0800
• f97b624688 Tweak search styles a little bit. Danila Fedorin 2020-12-28 22:03:04 -0800
• 8215c59122 Change search highlight color. Danila Fedorin 2020-12-27 22:24:43 -0800
• eb97bd9c3e Add search box to main page. Danila Fedorin 2020-12-27 20:09:05 -0800
• d2e100fe4b Add search CSS. Danila Fedorin 2020-12-27 20:08:40 -0800
• de09a1f6bd Enable TOML output. Danila Fedorin 2020-12-27 20:08:27 -0800
• c40672e762 Add a way to generate TOML template for Stork. Danila Fedorin 2020-12-27 20:08:18 -0800
• 565d4a6955 Update resume. Danila Fedorin 2020-12-14 18:03:31 -0800
• 8f0f2eb35e Finish up the Coq Advent of Code post. Danila Fedorin 2020-12-02 18:45:28 -0800
• 234b795157 Add Coq advent of code post. Danila Fedorin 2020-12-02 01:14:32 -0800
• e317c56c99 Add some shortcodes for making the game theory post nicer. Danila Fedorin 2020-11-08 21:22:51 -0800
• 29d12a9914 Publish new Idris post. Danila Fedorin 2020-11-02 01:08:41 -0800
• b459e9cbfe Update typesafe imperative language post draft. Danila Fedorin 2020-11-01 23:56:55 -0800
• 52abe73ef7 Make the typesafe imperative language work properly. Danila Fedorin 2020-10-31 01:34:23 -0700
• f0fe481bcf Add post about the typesafe imperative language. Danila Fedorin 2020-10-30 19:07:30 -0700
• 222446a937 Add non-color indication to highlighted lines. Danila Fedorin 2020-10-10 17:12:40 -0700
• e7edd43034 Add draft warning. Danila Fedorin 2020-09-27 16:22:29 -0700
• 2bc2c282e1 Revert "Experimentally enable shortcodes" Danila Fedorin 2020-09-27 14:47:25 -0700
• 5cc92d3a9d Experimentally enable shortcodes Danila Fedorin 2020-09-27 14:42:35 -0700
• 4be8a25699 Add a label to codelines that includes the source file. Danila Fedorin 2020-09-27 14:41:56 -0700
• d3421733e1 Update resume. Danila Fedorin 2020-09-25 22:52:07 -0700
• 4c099a54e8 Publish part 13. Danila Fedorin 2020-09-19 16:27:41 -0700
• 9f77f07ed2 Finish 13th part of the compiler series. Danila Fedorin 2020-09-19 16:14:07 -0700
• 04ab1a137c Mark 13th post as draft Danila Fedorin 2020-09-19 11:59:54 -0700
• 53744ac772 Fix wording Danila Fedorin 2020-09-18 15:14:34 -0700
• 50a1c33adb Adjust code lines. Danila Fedorin 2020-09-18 14:42:50 -0700
• d153af5212 Get rid of more constructors and make mangled names optional. Danila Fedorin 2020-09-18 14:09:03 -0700
• a336b27b6c Remove unneeded explicit calls to std::string Danila Fedorin 2020-09-18 12:27:57 -0700
• 97eb4b6e3e Fix silent error in set_mangled_name Danila Fedorin 2020-09-18 12:02:37 -0700
• 430768eac5 Add a TODO to part 13. Danila Fedorin 2020-09-17 22:56:08 -0700
• 5db864881a Fix use of wrong environment for name mangling. Danila Fedorin 2020-09-17 22:55:27 -0700
• d3b1047d37 Renamed the file since we have no optimization. Danila Fedorin 2020-09-17 22:36:43 -0700
• 98cac103c4 Update blog post, switching away from two sections. Danila Fedorin 2020-09-17 22:35:40 -0700
• 7226d66f67 Remove the parent method from type_env. Danila Fedorin 2020-09-17 22:35:12 -0700
• 8a352ed3ea Roll back optimization changes. Danila Fedorin 2020-09-17 20:14:39 -0700
• 02f8306c7b Use an instruction instead of a special-case boolean instruction. Danila Fedorin 2020-09-17 18:33:52 -0700
• cf6f353f20 Change tagging to assume sign extension. Danila Fedorin 2020-09-17 18:30:55 -0700
• 7a631b3557 Make a few more things classes. Danila Fedorin 2020-09-17 18:30:41 -0700
• 5e13047846 Make global scope a class. Danila Fedorin 2020-09-15 19:45:05 -0700
• c17d532802 Make type_mgr a class. Danila Fedorin 2020-09-15 19:19:58 -0700
• 55e4e61906 Make mangler a class and reformat graph. Danila Fedorin 2020-09-15 19:13:48 -0700
• f2f88ab9ca Make env a class. Danila Fedorin 2020-09-15 19:12:12 -0700
• ba418d357f Make type_env a class. Danila Fedorin 2020-09-15 19:10:36 -0700
• 0e3f16139d Make llvm_context a class. Danila Fedorin 2020-09-15 19:08:00 -0700
• 55486d511f Make some refactors for name mangling and encapsulation. Danila Fedorin 2020-09-15 18:51:28 -0700
• 6080094c41 Require mangled names for global variables. Danila Fedorin 2020-09-15 14:39:31 -0700
• 6b8d3b0f8a Refactor errors and update post draft. Danila Fedorin 2020-09-11 21:29:49 -0700
• 725958137a Factor type into case strategy constructor. Danila Fedorin 2020-09-11 13:03:00 -0700
• 1f6b4bef74 Start working on part 13 of compiler series. Danila Fedorin 2020-09-11 02:16:57 -0700
• fe1e0a6de0 Switch to using FILE* and default YY_INPUT. Danila Fedorin 2020-09-11 02:16:29 -0700
• 1f3c42fc44 Change constructor visibility to global. Danila Fedorin 2020-09-10 20:11:42 -0700
• 8bf67c7dc3 Merge branch 'master' of https://dev.danilafe.com/Web-Projects/blog-static into master Danila Fedorin 2020-09-10 18:47:55 -0700
• 13214cee96 Try out unboxing integers. Danila Fedorin 2020-09-10 17:32:16 -0700
• 579c7bad92 Enable more syntax. Danila Fedorin 2020-09-10 16:04:44 -0700
• f00a6a7783 Actually use the environment for binop functions. Danila Fedorin 2020-09-10 16:03:56 -0700
• 2a81fdd9fb Stop using mangled names for local variables. Danila Fedorin 2020-09-10 15:14:19 -0700
• 17c59e595c Add assertion regarding local name mangling. Danila Fedorin 2020-09-10 15:05:02 -0700
• ad2576eae2 Move common code into loops. Danila Fedorin 2020-09-10 14:50:03 -0700
• 72d8179cc5 Add compile-time flag to disable output. Danila Fedorin 2020-09-10 14:07:28 -0700
• dbabec0db6 Tweak parsed type error warning. Danila Fedorin 2020-09-10 14:04:06 -0700
• 76675fbc9b Make make_case_for throw from the second time on. Danila Fedorin 2020-09-10 14:03:04 -0700
• ca395b5c09 Add programs to trigger error cases. Danila Fedorin 2020-09-10 14:02:19 -0700
• 1a05d5ff7a Add type errors to identifier nodes. Danila Fedorin 2020-09-10 12:59:26 -0700
• 56f0dbd02f Prevent case compilation from crashing and burning. Danila Fedorin 2020-09-10 12:53:55 -0700
• 9fc0ff961d Add more built-in boolean-specific instructions. Danila Fedorin 2020-09-10 12:44:41 -0700
• 73441dc93b Register booleans as internal types. Danila Fedorin 2020-09-10 00:54:35 -0700
• df5f5eba1c Make sure to delete LLVM target machine. Danila Fedorin 2020-09-09 23:45:48 -0700
• d950b8dc90 Initialize graph indegree. Danila Fedorin 2020-09-09 23:44:53 -0700
• 85394b185d Add prototype impl of case specialization. Danila Fedorin 2020-09-09 22:49:35 -0700
• 86b49f9cc3 Add 'internal' types. Danila Fedorin 2020-09-09 18:08:38 -0700
• 9769b3e396 Replace throw 0 with real exceptions or assertions. Danila Fedorin 2020-09-09 17:19:23 -0700
• e337992410 Add sources for unification type errors. Danila Fedorin 2020-09-09 15:26:04 -0700
• d5c3a44041 Add extra line after code fence. Danila Fedorin 2020-09-09 15:25:48 -0700
• eade42be49 Print locations in non-unification type errors. Danila Fedorin 2020-09-09 15:15:25 -0700
• d0fac50cfd Add locations to patterns. Danila Fedorin 2020-09-09 15:15:09 -0700
• dd4aa6fb9d Require C++17 for optionals Danila Fedorin 2020-09-09 15:14:37 -0700
• aa867b2e5f Add locations to error reporting. Danila Fedorin 2020-09-09 15:08:43 -0700
• 2fa2be4b9e Add a method to print location. Danila Fedorin 2020-09-09 14:41:16 -0700
• d5536467f6 Touch up source index code. Danila Fedorin 2020-09-09 14:20:10 -0700
• 67cb61c93f Keep track of locations in definitions. Danila Fedorin 2020-09-09 14:19:46 -0700
• 578d580683 Make driver keep track of line numbers and locations. Danila Fedorin 2020-09-09 13:57:01 -0700