What you should know about type systems
I read today, a really good essay on type systems. It covers what they can be used for and the differences between dynamic and static systems (although the word ‘type’ is used in both, it doesn’t mean the same thing…
Grading
Ugh. I spent too much time today and yesterday doing grading. I shouldn’t be this slow at it. Here’s the general process: Look at 5–10 submissions and note what are the most common errors. From this, a rubric can be…
Tricks of the Trade
Today, Howard Rheingold was searching for examples of clear posts in which to use as examples of online communication. One of the respondents identified a really good series set of descriptions answering the question, What is it like to have…
Introverts
Even though extroverts make up the majority of people on this pale blue dot, I happen to feel comfortably at home in academia. The profession seems overwhelmed with introverts. It’s not as if we are shy, or afraid of interaction,…
Great Presentations
Back when my interest in teaching was only just a spark on the kindling of my brain, I started to investigate the tricks of communication. Up to that point in my life I had completely underestimated the importance of communication….
The Good IR: Multiple Returns
This post is part of a seres: The Good IR (BasicBlocks and control flow instructions) The Good IR: Other Control Flow Structures The Good IR: Instructions and Values The Good IR: Reporting Semantic Errors via Type Checking The Good IR:…
The Good IR: Reporting Semantic Errors via Type Checking
This post is part of a seres: The Good IR (BasicBlocks and control flow instructions) The Good IR: Other Control Flow Structures The Good IR: Instructions and Values The Good IR: Reporting Semantic Errors via Type Checking The Good IR:…
The Good IR: Instructions and Values
This post is part of a seres: The Good IR (BasicBlocks and control flow instructions) The Good IR: Other Control Flow Structures The Good IR: Instructions and Values The Good IR: Reporting Semantic Errors via Type Checking The Good IR:…
The Good IR: Other Control Flow Structures
This post is part of a seres: The Good IR (BasicBlocks and control flow instructions) The Good IR: Other Control Flow Structures The Good IR: Instructions and Values The Good IR: Reporting Semantic Errors via Type Checking The Good IR:…
Transforming Heuristics
Many of the real problems in the world are NP. Things like Scheduling, Register Allocation, Routing packages, etc. In solving these really hard problems, we invent heuristics. Typically such heuristics are specific to the problem domain. For example, UPS might…