From 5115117ccd144a5299b6b9ede1ad2b2979c47b34 Mon Sep 17 00:00:00 2001 From: Greg Shuflin Date: Wed, 16 Oct 2024 02:15:50 -0700 Subject: [PATCH] More work on responsive site --- index-mobile.html | 84 ++++++++++++++++++++++++++++++++++++++++++++--- 1 file changed, 79 insertions(+), 5 deletions(-) diff --git a/index-mobile.html b/index-mobile.html index 2fb76c9..2883c64 100644 --- a/index-mobile.html +++ b/index-mobile.html @@ -19,23 +19,97 @@ + -
-

SSH public key: - ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIBYZzw9jdXezBuENVPZ+p3FipNN2gT9BUo7nlCTIqLhE -

Self-photo
+
+

About me

+

I'm a software engineer with broad expertise across several different + disciplines of industry software development, particularly network + programming, full-stack web development, all things cryptocurrency, and + modern cloud-focused devops/Unix systems administration. On the side, I + dabble in 3d graphics, functional programming/type theory, programming + language design, and mucking about with microcontrollers. + +

I've shipped code in Rust, Python, + C/C++, Ruby (on Rails), + Scala, Elm, and Haskell. + My educational credentials are B.A.s in Linguistics, + Computer Science and Japanese from the + University of California, Berkeley. My language of choice + for most sorts of software project is Rust these days, but there's a whole + wide world out there of interesting developments in programming language + research - I'd love to write, say, Idris for a living one day. + +

My passion as a software developer is software correctness - I think the + industry as a whole places too little emphasis on writing software that does + the right thing from the beginning. I want to use the best tools and + practices available to write software that is easily maintainable and + minimizes bugs from the start of a project onwards. +

+
+

Open-source contributions

+ +

My professional Github profile is @gshuflin. I have + used @neunenak as a personal Github profile in the past, and still use it + for contributing to projects that use Github as their main git repository host. I've moved most of my personal code + to a self-hosted Gitea instance at code.everydayimshuflin.com, to + reduce my dependency on cloud services I have no control over. + +

    + +
  • As part of my work at Toolchain Labs, I was a contributor + to the Pants build system. + Much of my work on this project involved porting the codebase from a + legacy Python execution engine to a modern and more performant Rust + execution engine + +
  • I maintain a typst package + leipzig-glossing + for typesetting linguistic interlinear glosses according to the Leipzig Glossing + Rules. + +
  • I'm a user of and occasional + contributor to the just + command runner, written in Rust. + + +
  • A wrote a quick and dirty parser combinator + library in Rust, mostly as a proof of concept. I'd like to see if I can incorporate some of the + ideas from the paper + Efficient parsing with parser combinators to make it faster. + + +
  • I contributed a basic Vim + plugin for the Koka language, + an research programming language experimenting with the very neat idea of + algebraic effect systems. + +
  • I wrote a simple Rust command line program for + for highlighting stderr console output, inspired by Mike Schiraldi's hilite utility, which + I used at Meraki for making the actual errors more obvious in lengthy C++ compiler output. It + is published on crates.io. + +
+
+