14 July 2018

  1. Modified: Inductive Logic Programming in microkanren-in-minikanren

    Implementing inductive logic programming by implementing a logic programming language in a logic programming language.

17 October 2017

30 September 2017

29 September 2017

22 September 2017

  1. Modified: Wei in the Real World

    An unfinished notebook.

23 June 2017

  1. Modified: Wei in the Real World

    An unfinished notebook.

20 March 2017

17 March 2017

13 March 2017

  1. Modified: Wei in the Real World

    An unfinished notebook.

12 March 2017

05 January 2017

01 January 2017

  1. Modified: Wei in the Real World

    An unfinished notebook.

11 December 2016

17 October 2016

16 October 2016

  1. Modified: Wei in the Real World

    An unfinished notebook.

28 August 2016

  1. Modified: What's New

    New Articles, New Thoughts.

  2. Modified: Thursdays

    A Project about Computer Essays

    Thursdays is an project that aimed at producing an programming essay every other Thursday. Unfortunately it is not active now. During its lifetime, 13 essays about logic programming, compilers and artificial languages, were written.

  3. Modified: Draw a Jellyfish

    How to Draw a Jellyfish in Javascript.

16 August 2016

  1. Modified: Wei in the Real World

    An unfinished notebook.

10 August 2016

  1. Modified: Wei in the Real World

    An unfinished notebook.

  2. Modified: Journals in Place

    Something Worth Recording.

    This chapter deals with some technical projects that I worked on. Currently there are two – one is about writing a microkernel in Rust, and the other is about my Google Summer of Code experience of working in a Julia project.

  3. Modified: Writing a Microkernel in Rust

    It's Called Rux.

    I am writing a microkernel called Rux. It is a L4-family microkernel implemented in Rust. And this is the journal that records my experiences in implementing it. In general, writing something like a kernel is addictive – you just don’t want to stop when you start, and it is far more enjoyable that I previously thought it would be.

  4. Modified: The First Month of Writing a Microkernel

    Monolithic and Capabilities.

  5. Modified: What's New

    New Articles, New Thoughts.

  6. Modified: Miscellaneous

    Useful information about me.

    Random notes and collection of talks I did belong to this place.

  7. Modified: Thursdays

    A Project about Computer Essays

    Thursdays is an project that aimed at producing an programming essay every other Thursday. Unfortunately it is not active now. During its lifetime, 13 essays about logic programming, compilers and artificial languages, were written.

  8. Modified: Thursdays and RC

    After My Last Presentation at Recurse Center.

  9. Modified: Tic Tac Toe in miniKanren

    Simple Good Old-Fashioned AI.

  10. Modified: Pivot Table in miniKanren

    Pivoting Backwards.

  11. Modified: First-class Predicate

    An Introduction to Mm.

  12. Modified: Inductive Logic Programming in microkanren-in-minikanren

    Implementing inductive logic programming by implementing a logic programming language in a logic programming language.

  13. Modified: Terminal Emulator in Reagent

    Writing a Terminal Emulator in Reagent.

  14. Modified: Pagination for Multilingual Jekyll Website

    Sometimes Pagination is Hard.

  15. Modified: Loops in Netwire

    A Thing You Should Know About Functional Reactive Programming.

  16. Modified: Draw a Jellyfish

    How to Draw a Jellyfish in Javascript.

  17. Modified: Hack the Ship's Internet

    Adventure of hacking for Internet access on a ship.

06 April 2016

  1. Modified: Wei in the Real World

    An unfinished notebook.

  2. Modified: Journals in Place

    Something Worth Recording.

    This chapter deals with some technical projects that I worked on. Currently there are two – one is about writing a microkernel in Rust, and the other is about my Google Summer of Code experience of working in a Julia project.

02 April 2016

24 March 2016

23 February 2016

  1. Modified: Thursdays

    A Project about Computer Essays

    Thursdays is an project that aimed at producing an programming essay every other Thursday. Unfortunately it is not active now. During its lifetime, 13 essays about logic programming, compilers and artificial languages, were written.

  2. Modified: Tic Tac Toe in miniKanren

    Simple Good Old-Fashioned AI.

  3. Modified: Pivot Table in miniKanren

    Pivoting Backwards.

11 February 2016

  1. Modified: Thursdays

    A Project about Computer Essays

    Thursdays is an project that aimed at producing an programming essay every other Thursday. Unfortunately it is not active now. During its lifetime, 13 essays about logic programming, compilers and artificial languages, were written.

  2. New: Tic Tac Toe in miniKanren

    Simple Good Old-Fashioned AI.

  3. New: Pivot Table in miniKanren

    Pivoting Backwards.

07 February 2016

  1. Modified: Wei in the Real World

    An unfinished notebook.

  2. New: What's New

    New Articles, New Thoughts.

06 February 2016

  1. Modified: Wei in the Real World

    An unfinished notebook.

  2. New: Journals in Place

    Something Worth Recording.

    This chapter deals with some technical projects that I worked on. Currently there are two – one is about writing a microkernel in Rust, and the other is about my Google Summer of Code experience of working in a Julia project.

  3. New: Writing a Microkernel in Rust

    It's Called Rux.

    I am writing a microkernel called Rux. It is a L4-family microkernel implemented in Rust. And this is the journal that records my experiences in implementing it. In general, writing something like a kernel is addictive – you just don’t want to stop when you start, and it is far more enjoyable that I previously thought it would be.

  4. New: The First Month of Writing a Microkernel

    Monolithic and Capabilities.

  5. Modified: Miscellaneous

    Useful information about me.

    Random notes and collection of talks I did belong to this place.

  6. Modified: Thursdays

    A Project about Computer Essays

    Thursdays is an project that aimed at producing an programming essay every other Thursday. Unfortunately it is not active now. During its lifetime, 13 essays about logic programming, compilers and artificial languages, were written.

  7. Modified: First-class Predicate

    An Introduction to Mm.

  8. Modified: Inductive Logic Programming in microkanren-in-minikanren

    Implementing inductive logic programming by implementing a logic programming language in a logic programming language.

  9. Modified: Terminal Emulator in Reagent

    Writing a Terminal Emulator in Reagent.

  10. Modified: Pagination for Multilingual Jekyll Website

    Sometimes Pagination is Hard.

  11. Modified: Loops in Netwire

    A Thing You Should Know About Functional Reactive Programming.

  12. Modified: Hack the Ship's Internet

    Adventure of hacking for Internet access on a ship.

05 February 2016

  1. New: Wei in the Real World

    An unfinished notebook.

  2. New: Miscellaneous

    Useful information about me.

    Random notes and collection of talks I did belong to this place.

  3. New: First-class Predicate

    An Introduction to Mm.

  4. New: Inductive Logic Programming in microkanren-in-minikanren

    Implementing inductive logic programming by implementing a logic programming language in a logic programming language.

  5. New: Terminal Emulator in Reagent

    Writing a Terminal Emulator in Reagent.

  6. New: Pagination for Multilingual Jekyll Website

    Sometimes Pagination is Hard.

  7. New: Loops in Netwire

    A Thing You Should Know About Functional Reactive Programming.

  8. New: Hack the Ship's Internet

    Adventure of hacking for Internet access on a ship.

06 January 2016

05 January 2016

24 December 2015

22 December 2015

21 December 2015