455 Commits (search)
 

Author SHA1 Message Date
Danila Fedorin e0451d026c Update index. 1 year ago
Danila Fedorin 1f1345477f Use Hugo's plaintext instead of file path for Stork index. 1 year ago
Danila Fedorin 44529e872f Fix wrong path name for index file. 1 year ago
Danila Fedorin a10996954e Redirect search index. 1 year ago
Danila Fedorin 4d1dfb5f66 Generate initial index. This will not be static indefinitely; I just need to find a way to build it in Nix. 1 year ago
Danila Fedorin f97b624688 Tweak search styles a little bit. 1 year ago
Danila Fedorin 8215c59122 Change search highlight color. 1 year ago
Danila Fedorin eb97bd9c3e Add search box to main page. 1 year ago
Danila Fedorin d2e100fe4b Add search CSS. 1 year ago
Danila Fedorin de09a1f6bd Enable TOML output. 1 year ago
Danila Fedorin c40672e762 Add a way to generate TOML template for Stork. 1 year ago
Danila Fedorin 565d4a6955 Update resume. 1 year ago
Danila Fedorin 8f0f2eb35e Finish up the Coq Advent of Code post. 1 year ago
Danila Fedorin 234b795157 Add Coq advent of code post. 1 year ago
Danila Fedorin e317c56c99 Add some shortcodes for making the game theory post nicer. 1 year ago
Danila Fedorin 29d12a9914 Publish new Idris post. 1 year ago
Danila Fedorin b459e9cbfe Update typesafe imperative language post draft. 1 year ago
Danila Fedorin 52abe73ef7 Make the typesafe imperative language work properly. 1 year ago
Danila Fedorin f0fe481bcf Add post about the typesafe imperative language. 1 year ago
Danila Fedorin 222446a937 Add non-color indication to highlighted lines. 1 year ago
Danila Fedorin e7edd43034 Add draft warning. 1 year ago
Danila Fedorin 2bc2c282e1 Revert "Experimentally enable shortcodes" 1 year ago
Danila Fedorin 5cc92d3a9d Experimentally enable shortcodes 1 year ago
Danila Fedorin 4be8a25699 Add a label to codelines that includes the source file. 1 year ago
Danila Fedorin d3421733e1 Update resume. 1 year ago
Danila Fedorin 4c099a54e8 Publish part 13. 1 year ago
Danila Fedorin 9f77f07ed2 Finish 13th part of the compiler series. 1 year ago
Danila Fedorin 04ab1a137c Mark 13th post as draft 1 year ago
Danila Fedorin 53744ac772 Fix wording 1 year ago
Danila Fedorin 50a1c33adb Adjust code lines. 1 year ago
Danila Fedorin d153af5212 Get rid of more constructors and make mangled names optional. 1 year ago
Danila Fedorin a336b27b6c Remove unneeded explicit calls to std::string 1 year ago
Danila Fedorin 97eb4b6e3e Fix silent error in set_mangled_name 1 year ago
Danila Fedorin 430768eac5 Add a TODO to part 13. 1 year ago
Danila Fedorin 5db864881a Fix use of wrong environment for name mangling. 1 year ago
Danila Fedorin d3b1047d37 Renamed the file since we have no optimization. 1 year ago
Danila Fedorin 98cac103c4 Update blog post, switching away from two sections. 1 year ago
Danila Fedorin 7226d66f67 Remove the parent method from type_env. 1 year ago
Danila Fedorin 8a352ed3ea Roll back optimization changes. 1 year ago
Danila Fedorin 02f8306c7b Use an instruction instead of a special-case boolean instruction. 1 year ago
Danila Fedorin cf6f353f20 Change tagging to assume sign extension. 1 year ago
Danila Fedorin 7a631b3557 Make a few more things classes. 1 year ago
Danila Fedorin 5e13047846 Make global scope a class. 1 year ago
Danila Fedorin c17d532802 Make type_mgr a class. 1 year ago
Danila Fedorin 55e4e61906 Make mangler a class and reformat graph. 1 year ago
Danila Fedorin f2f88ab9ca Make env a class. 1 year ago
Danila Fedorin ba418d357f Make type_env a class. 1 year ago
Danila Fedorin 0e3f16139d Make llvm_context a class. 1 year ago
Danila Fedorin 55486d511f Make some refactors for name mangling and encapsulation. 1 year ago
Danila Fedorin 6080094c41 Require mangled names for global variables. 1 year ago