1<!DOCTYPE html> 2 3<html> 4 5<head> 6 <meta charset="UTF-8"> 7 <meta name="viewport" content="width=device-width, initial-scale=1"> 8 <title>about me</title> 9 <link rel="stylesheet" type="text/css" href="/css/style.css"> 10</head> 11 12<body> 13 <a href="/">home</a> 14 15 <h1>about me</h1> 16 17 <hr> 18 19 <div class="qabox"> 20 <div class="qacontent"> 21 <h2>q & a</h2> 22 <p> 23 <strong>q: </strong> <em>who are you?</em> <br> 24 <strong>a: </strong> my name is william. some friends call me will. 25 some (mostly on the internet) call me <a href="yossarian">yossarian</a>. <br> 26 <br> 27 <strong>q: </strong> <em>what do you do?</em> <br> 28 <strong>a: </strong> 29 i write <a href="#opensource">open source software</a> for a living; 30 currently for <a href="https://astral.sh">astral</a>, previously 31 for <a href="https://trailofbits.com">trail of bits</a>. 32 i once studied <a href="#phil">philosophy</a> and <a href="#compsci">computer science</a>. <br> 33 <br> 34 <strong>q: </strong> <em>why is this site simple/ugly/lowercase?</em> <br> 35 <strong>a: </strong> <a href="https://yossarian.net/junk/favorite_quotes/quote28.html">the main question is 36 whether the stuff is literature or not</a>. <br> 37 <br> 38 <strong>q: </strong> <em>are you available for hire?</em> <br> 39 <strong>a: </strong> please see my <a href="/resume.pdf">resume</a> for my status. 40 i do <strong>not</strong> respond to third-party recruiters, and i am 41 <strong>not</strong> officially represented by any recruiters. i <strong>do not</strong> 42 have a linkedin account; anybody purporting to be me there is an impersonator. 43 <br> 44 </p> 45 </div> 46 47 <div class="qapicture"> 48 <img src="/res/img/me.jpg"> 49 </div> 50 </div> 51 52 <hr> 53 54 <div id="compsci"> 55 <h2>computer science</h2> 56 57 <p> 58 i am not naturally talented at math, but have always been fascinated by 59 logic and language. that fascination drives my current interests: compilers and program 60 analysis, systems programming, and cybersecurity. 61 </p> 62 63 <p> 64 i believe strongly in software <strong>engineering</strong>: i like writing 65 <strong>correct and reliable</strong> software, especially for other programmers. 66 i think that security engineering and quality engineering are, to a first approximation, 67 the <strong>same thing</strong>. 68 </p> 69 70 <p> 71 some <strike>buzz</strike>keywords: automated vulnerability reasoning, static and dynamic instrumentation, 72 multi- and inter-representational analysis, program synthesis, applied cryptography, 73 package management. 74 </p> 75 </div> 76 77 <hr> 78 79 <div> 80 <h2 id="phil">philosophy</h2> 81 82 <p> 83 logic and language are topics of interest for me in philosophy as well, 84 but ethical philosophy appeals to me most of all. in particular, i am 85 interested in theories of rights and duties, 86 as well as the problems of coercion and exploitation as they concern and 87 (de)legitimize choice. i am also interested in moral education as it applies to 88 beneficence, charity and authenticity (of the good/bad faith kind), 89 and public discourse. 90 </p> 91 92 <p> 93 <a href="labels">check this out</a> if labels are your kind of thing. 94 </p> 95 </div> 96 97 <hr> 98 99 <div> 100 <h2 id="opensource">open source work</h2> 101 102 <p> 103 i spend a lot of time tinkering in the open source community, 104 both on my <a href="https://github.com/woodruffw">own projects</a> 105 and on larger ones. in particular, i am a member of the 106 <a href="https://github.com/homebrew">homebrew</a> development team 107 and an active professional and hobby contributor to several other projects. most of my 108 professional work is open source, and i like it that way. i am <strong>not</strong> 109 interested in professional work that is primarily proprietary, although 110 i am willing to work in a hybrid setting. 111 </p> 112 113 <p> 114 if you like my projects, you can support me with one of these services: 115 </p> 116 117 <ul> 118 <li> 119 <a href="https://github.com/sponsors/woodruffw">GitHub Sponsors</a> 120 </li> 121 <li> 122 <a href="https://ko-fi.com/woodruffw">ko-fi</a> 123 </li> 124 </ul> 125 126 <p> 127 alternatively, you can support my work by using 128 the referral links below when signing up for a service. they help 129 me keep my own projects and research available: 130 </p> 131 132 <ul> 133 <li> 134 <a href="https://m.do.co/c/f86841bfd5ba">DigitalOcean</a> 135 </li> 136 </ul> 137 </div> 138 139 <hr> 140 141 <h2>other facts</h2> 142 143 <p> 144 i have a lot of hobbies, but my biggest non-technical ones are 145 <a href="/media/bikes/">bicycling</a>, film photography (portraiture), 146 chess, and handball (ny style). 147 </p> 148 149 <p> 150 outside of computer science and philosophy, i'm interested in 151 a variety of fields: mathematics (discrete), linguistics, 152 classics (greco-roman), latin (classical), ××××ש (YIVO), psychology 153 (will, action), and literature (most kinds).
154 </p> 155 156 <p> 157 i organize <a href="/brothercon">brothercon</a>, a gathering for 158 people who like NYC dollar pizza. 159 </p> 160 161 <p> 162 i do a regular <a href="/junk/badradio">online radio show</a> on a friend's internet radio server. 163 </p> 164 165 <hr> 166 167 <h2>elsewhere on the web</h2> 168 169 <p> 170 this is a partial collection of my online accounts, in no particular order. 171 </p> 172 173 <p> 174 <strong>please note</strong>: i do <strong>not</strong> have an active twitter or linkedin 175 account. 176 </p> 177 178 <p> 179 anybody who claims to be me on those platforms is an impersonator. 180 </p> 181 182 <p> 183 <ul> 184 <li><a href="https://www.last.fm/user/yossarian_flew">last.fm</a></li> 185 <li><a href="https://strava.com/athletes/woodruffw">strava</a></li> 186 <li><a href="https://github.com/woodruffw">github</a></li> 187 <li><a href="https://keybase.io/yossarian">keybase</a></li> 188 <li><a href="https://www.instagram.com/8x5clpw2/">instagram</a></li> 189 <li><a href="https://news.ycombinator.com/user?id=woodruffw">hacker news</a></li> 190 <li><a href="https://www.reddit.com/user/yossarian_flew_away">reddit</a></li> 191 <li><a href="https://infosec.exchange/@yossarian">mastodon</a></li> 192 <li><a href="https://bsky.app/profile/yossarian.net">bluesky</a></li> 193 <li><a href="https://www.goodreads.com/user/show/52271911-william-woodruff">goodreads</a></li> 194 <li><a href="https://letterboxd.com/cpt_yossarian/">letterboxd</a></li> 195 <li><a href="https://youtube.com/@8x5clpw2">youtube</a></li> 196 <li><a href="https://www.patreon.com/yossarian">patreon</a></li> 197 <li><a href="https://asciinema.org/~yossarian">asciinema</a></li> 198 </ul> 199 </p> 200</body> 201 202</html>
Line numbers count LF bytes from the start of the resource, as the search results do. Vendor segments are library code the classifier recognised; they are stored but not indexed. Bytes are shown as Latin1 characters, one per byte.