arrdem.com
牛: a preface · f : ⊥ x ⊥ → ⊥
https://www.arrdem.com/2014/09/10/ox:_a_preface
The blog of Reid McKenzie. Currently v5.0.5. Ox or oxlang) is an experiment, a dream, a thought which I cant seem to get out of my head. After working primarily in Rich Hickys excelent language Clojure. For over two years now and spending a summer hacking on Oxcart. The Oxlang environment model. Loved or hated this post? Better yet, Buy me a coffee. Immutable Env Things 13 Jun 2016. Apartment Hunting - Day 1 31 May 2016. Deprecation warnings in Jaunt 08 Mar 2016.
arrdem.com
f : ⊥ x ⊥ → ⊥ · Barely typed
https://www.arrdem.com/page/2
The blog of Reid McKenzie. Currently v5.0.5. Hacking like it's 2288. Im an a diehard Fallout franchise fan. While school currently precludes me from playing, I took some time to automate solving the hacking minigame which is used to unlock computer terminals and secured areas in-game. While an obvious algorithm, its a little tedious to do this by hand because theres no good way to keep track of all the candidates which have been removed from consideration. Also computing string overlaps is boring....
arrdem.com
Hardware 101 - Latches, Memories and why Off chip sucks · f : ⊥ x ⊥ → ⊥
https://www.arrdem.com/2014/01/01/Hardware-101
The blog of Reid McKenzie. Currently v5.0.5. Hardware 101 - Latches, Memories and why Off chip sucks. Because I am about to embark on a discussion of microchip design and examination, it is critical that we first agree on the fundamentals of microchip design and appreciate the consequent design constraints enforced upon hardware designers by manufacturing limitations and the laws of physics. First, lets rediscover a latch. ( Latches on Wikipedia. Operations on latched data. Enough about transistors and b...
arrdem.com
Oxcart going forwards · f : ⊥ x ⊥ → ⊥
https://www.arrdem.com/2014/12/11/oxcart_going_forwards
The blog of Reid McKenzie. Currently v5.0.5. When I last wrote. Work pretty much went on hiatus due to my return to school. As there has been some recent interest in the status of Lean Clojure overall I thought Id take the opportunity to review the state of Oxcart and the plan for Oxcart going forwards. The Clojure Community Manager, has repeatedly stated that he expects to see little cross pollination from Oxcart and related work to Clojure itself. Method to compile the following resources with. That on...
arrdem.com
On Future Languages · f : ⊥ x ⊥ → ⊥
https://www.arrdem.com/2014/08/26/on_future_languages
The blog of Reid McKenzie. Currently v5.0.5. Notes at the end of his talk Were Doing It All Wrong [2013]. In the face of incomplete and/or changing requirements all that can be done is to evolve software as rapidly and efficiently as possible to meet changes as Parnas argues. In the context of. Program testing can be used to show the presence of bugs, but never to show their absence! Static model checking on the other hand, can prove the presence of flaws with respect to some system. This property al...
arrdem.com
Batbridge, an introduction to computer architecture · f : ⊥ x ⊥ → ⊥
https://www.arrdem.com/2014/01/10/Batbridge
The blog of Reid McKenzie. Currently v5.0.5. Batbridge, an introduction to computer architecture. The history of computing machines is long and complex. This time last year, I had finished the single class Ive enjoyed most in my academic career to date: CS 352H, Computer Architecture. In this class, we explored at great length the history of computing machines and the various designs which have been developed and sequentially abandoned in the pursuit of speed over the past decades.
arrdem.com
Resume · f : ⊥ x ⊥ → ⊥
https://www.arrdem.com/resume
The blog of Reid McKenzie. Currently v5.0.5. Sorry, looks like your browser doesn't support inline PDF rendering! Here's the link to the PDF!
arrdem.com
Toothpick: A theory of bytecode machines · f : ⊥ x ⊥ → ⊥
https://www.arrdem.com/2015/01/28/toothpick:_a_theory_of_bytecode_machines
The blog of Reid McKenzie. Currently v5.0.5. Toothpick: A theory of bytecode machines. In working on my Batbridge. So lets invent yet another assembler! An assembler is simply a program that describes how to construct a binary instruction encoding from a set of symbolic human-writable mnemonics representing data manipulating directives to computing hardware. Indicates the addition operation, the bits named. Being the register to which the result of the addition will be stored, the bits named. A Theory of...
arrdem.com
Of Hobbes and Reason · f : ⊥ x ⊥ → ⊥
https://www.arrdem.com/2015/03/06/of_hobbes_and_reason
The blog of Reid McKenzie. Currently v5.0.5. Of Hobbes and Reason. This was originally a term paper of mine, written in markdown, and appears here because reasons. The revised and significantly better final verison of this paper now appears here. You arent missing much, its much better than the original. Or the Right of Nature as Hobbes terms it. Loved or hated this post? Better yet, Buy me a coffee. Immutable Env Things 13 Jun 2016. Apartment Hunting - Day 1 31 May 2016.
