443 Commits (master)
 

Author SHA1 Message Date
  Danila Fedorin 8f0f2eb35e Finish up the Coq Advent of Code post. 7 hours ago
  Danila Fedorin 234b795157 Add Coq advent of code post. 1 day ago
  Danila Fedorin e317c56c99 Add some shortcodes for making the game theory post nicer. 3 weeks ago
  Danila Fedorin 29d12a9914 Publish new Idris post. 1 month ago
  Danila Fedorin b459e9cbfe Update typesafe imperative language post draft. 1 month ago
  Danila Fedorin 52abe73ef7 Make the typesafe imperative language work properly. 1 month ago
  Danila Fedorin f0fe481bcf Add post about the typesafe imperative language. 1 month ago
  Danila Fedorin 222446a937 Add non-color indication to highlighted lines. 1 month ago
  Danila Fedorin e7edd43034 Add draft warning. 2 months ago
  Danila Fedorin 2bc2c282e1 Revert "Experimentally enable shortcodes" 2 months ago
  Danila Fedorin 5cc92d3a9d Experimentally enable shortcodes 2 months ago
  Danila Fedorin 4be8a25699 Add a label to codelines that includes the source file. 2 months ago
  Danila Fedorin d3421733e1 Update resume. 2 months ago
  Danila Fedorin 4c099a54e8 Publish part 13. 2 months ago
  Danila Fedorin 9f77f07ed2 Finish 13th part of the compiler series. 2 months ago
  Danila Fedorin 04ab1a137c Mark 13th post as draft 2 months ago
  Danila Fedorin 53744ac772 Fix wording 2 months ago
  Danila Fedorin 50a1c33adb Adjust code lines. 2 months ago
  Danila Fedorin d153af5212 Get rid of more constructors and make mangled names optional. 2 months ago
  Danila Fedorin a336b27b6c Remove unneeded explicit calls to std::string 2 months ago
  Danila Fedorin 97eb4b6e3e Fix silent error in set_mangled_name 2 months ago
  Danila Fedorin 430768eac5 Add a TODO to part 13. 2 months ago
  Danila Fedorin 5db864881a Fix use of wrong environment for name mangling. 2 months ago
  Danila Fedorin d3b1047d37 Renamed the file since we have no optimization. 2 months ago
  Danila Fedorin 98cac103c4 Update blog post, switching away from two sections. 2 months ago
  Danila Fedorin 7226d66f67 Remove the parent method from type_env. 2 months ago
  Danila Fedorin 8a352ed3ea Roll back optimization changes. 2 months ago
  Danila Fedorin 02f8306c7b Use an instruction instead of a special-case boolean instruction. 2 months ago
  Danila Fedorin cf6f353f20 Change tagging to assume sign extension. 2 months ago
  Danila Fedorin 7a631b3557 Make a few more things classes. 2 months ago
  Danila Fedorin 5e13047846 Make global scope a class. 2 months ago
  Danila Fedorin c17d532802 Make type_mgr a class. 2 months ago
  Danila Fedorin 55e4e61906 Make mangler a class and reformat graph. 2 months ago
  Danila Fedorin f2f88ab9ca Make env a class. 2 months ago
  Danila Fedorin ba418d357f Make type_env a class. 2 months ago
  Danila Fedorin 0e3f16139d Make llvm_context a class. 2 months ago
  Danila Fedorin 55486d511f Make some refactors for name mangling and encapsulation. 2 months ago
  Danila Fedorin 6080094c41 Require mangled names for global variables. 2 months ago
  Danila Fedorin 6b8d3b0f8a Refactor errors and update post draft. 2 months ago
  Danila Fedorin 725958137a Factor type into case strategy constructor. 2 months ago
  Danila Fedorin 1f6b4bef74 Start working on part 13 of compiler series. 2 months ago
  Danila Fedorin fe1e0a6de0 Switch to using FILE* and default YY_INPUT. 2 months ago
  Danila Fedorin 1f3c42fc44 Change constructor visibility to global. 2 months ago
  Danila Fedorin 8bf67c7dc3 Merge branch 'master' of https://dev.danilafe.com/Web-Projects/blog-static into master 2 months ago
  Danila Fedorin 13214cee96 Try out unboxing integers. 2 months ago
  Danila Fedorin 579c7bad92 Enable more syntax. 2 months ago
  Danila Fedorin f00a6a7783 Actually use the environment for binop functions. 2 months ago
  Danila Fedorin 2a81fdd9fb Stop using mangled names for local variables. 2 months ago
  Danila Fedorin 17c59e595c Add assertion regarding local name mangling. 2 months ago
  Danila Fedorin ad2576eae2 Move common code into loops. 2 months ago