Matt Might
Computer scientist and professor; author of The Illustrated Guide to a Ph.D. and of a long-running blog on programming languages, research and academia.
Matt Might did not write this page. ppll compiled it from their own words, each linked to the source. Is this you? · Report a mistake
Latest Bluesky
Recommends rcmnd
rcmnd What they recommend 19 things — each backed by an exact quote.
Compiled by rcmnd.app, not by them: the quotes are theirs, and each links to the post it was copied from.
Recent
Uses citeulike
For creating technical and scientific documents, I use exclusively LaTeX, and manage all of my citations with citeulike exporting to BibTeX.
usesthis.com 6 Jan 2012
Uses HyperJuice
When I travel, I always carry a portable power strip for airports and a HyperShop HyperJuice external battery for long plane flights.
usesthis.com 6 Jan 2012
Liked Marcy Recumbent Mag Cycle
I can't afford time off work to exercise, so I attached a Table Mate II couch desk to a Marcy Recumbent Mag Cycle, and moved it next to the desk in my home office. Honestly, I'm more productive on the bike than off.
usesthis.com 6 Jan 2012
Show 16 more
Uses Evernote
My hand-rolled personal note-taking wiki on my linode has been replaced by Evernote on my MacBook Air, iPhone and iPad.
usesthis.com 6 Jan 2012
Uses OmniFocus
For task management, I use OmniFocus on my MacBook Air, my iPhone and my iPad. The shared database lives on my linode and syncs over WebDAV.
usesthis.com 6 Jan 2012
Loved Firebug
Uses Stayfocusd
I use LeechBlock on Firefox and StayFocusd on Chrome to permanently block all timewasting sites.
usesthis.com 6 Jan 2012
Uses LeechBlock
I use LeechBlock on Firefox and StayFocusd on Chrome to permanently block all timewasting sites.
usesthis.com 6 Jan 2012
Loved Omnigraffle
For graphs constructed by hand, OmniGraffle is perfect.
usesthis.com 6 Jan 2012
Loved GraphViz
For rendering graphs based on data, GraphViz creates beautiful images.
usesthis.com 6 Jan 2012
Loved OmniGraphSketcher
For charts (like this one), OmniGraphSketcher for OS X is a joy to use.
usesthis.com 6 Jan 2012
Disliked Beamer
I used to use LaTeX plus beamer, but this setup makes the right things hard (capturing and conveying the essence of an idea visually) and the wrong things easy (flagellating the audience with unparseable mathematics).
usesthis.com 6 Jan 2012
Recommends Keynote
It is worth investing the time to master Keynote animations and transitions, so that style and substance in your talks reinforce one another.
usesthis.com 6 Jan 2012
Uses MacVim
To get a sense of what vim was like, I switched last year (MacVim). I haven't switched back, but I've customized vim to accept all of the emacs keybindings in insertion mode.
usesthis.com 6 Jan 2012
Liked ShiftIt
My only regret in switching from Linux to OS X is giving up the raw efficiency of tiling window managers like ion. ShiftIt makes up some of the difference.
usesthis.com 6 Jan 2012
Uses Linode
A 512 MB RAM, 36 GB linode powers might.net and my personal cloud.
usesthis.com 6 Jan 2012
Loved Kensington remote
You can pry my Kensington remote from my cold, dead, ergonomic grip.
usesthis.com 6 Jan 2012
Uses Linksys E2500
I use a Linksys E2500 Dual-Band router, with SSH and VNC port-forwarded to allow remote access to the home network.
usesthis.com 6 Jan 2012
Liked Western Digital Elements
Every computer has a large dedicated external hard drive for backups. Currently, I'm partial to the Western Digital Elements series.
usesthis.com 6 Jan 2012
Where they publish
Site matt.might.net His site and blog: articles on research, teaching and programming languages.
Link verified 5 Sept 2026.
x.com @mattmight Short posts on research, medicine and academia.
Link verified 5 Sept 2026.
Mastodon @mattmight@mathstodon.xyz His Mastodon account.
Link verified 5 Sept 2026.
Bluesky @matt.might.net Bluesky account on his own domain.
Recent
- not sure AI got this recipe right, or there is a cold fusion Japanese rice cooker model I’m missing 7 Oct 2026
- you were right to push back. it’s really the marshmallows in lucky charms that are load-bearing 1 Oct 2026
- Me to Claude Code: I want you to … Claude Code: But first, log in again. 28 May 2026
Show 5 more
- My favorite zoom error message. 14 May 2026
- Are you finished with the proposal? 27 Oct 2025
- The expression “making time” is strange. Time cannot be manufactured. It can only taken from one thing and given to other. 20 Oct 2025
- Ok. Didn’t know that was a thing. But I don’t judge. 3 Oct 2025
- A scientific Boston massacre. 15 May 2025
Link verified 5 Sept 2026. Recent items update automatically from the channel.
About the English under a post
Some people here publish in a language other than English. Where they do, this site shows a machine translation beneath the post, in this typeface — the site's own, not theirs.
The post itself is never changed, moved or hidden: what is set in the serif above is exactly what the person published, and it is what to quote them on. A translation can be wrong in ways that matter, especially about tone.
Only the post's own words are translated. A quoted post, a linked article and a belief on korrents.com are left in their original language.