From 3c65349df2d275f73d41ed6ecb8331afc906a38f Mon Sep 17 00:00:00 2001 From: Greg Shuflin Date: Fri, 27 Jan 2023 14:58:18 -0800 Subject: [PATCH] Some layout tweaks --- index.html | 71 +++++++++++++++++++++++++++++++++--------------------- style.css | 4 +++ 2 files changed, 48 insertions(+), 27 deletions(-) diff --git a/index.html b/index.html index 56d6972..d828483 100644 --- a/index.html +++ b/index.html @@ -11,10 +11,12 @@

Greg Shuflin - Software Developer

+
+

Download a copy of my resume. +

Contact me via or LinkedIn. -

Download a copy of my resume.

See open-source code I've written:

+
@@ -39,12 +42,17 @@ 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 a BA 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. +

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 @@ -55,36 +63,45 @@

Open-source contributions

-

I recently started porting the SSHFS UNIX utility - from C to Rust. +

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 gitea.everydayimshuflin.com, to + reduce my dependency on cloud services I have no control over. -

I'm a user of and occasional - contributor to the just - command runner +

+ -

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 gitea.everydayimshuflin.com, to - reduce my dependency on cloud services I have no control over.

Some personal projects

A few side projects I've worked on diff --git a/style.css b/style.css index de9e414..2d817a2 100644 --- a/style.css +++ b/style.css @@ -20,6 +20,10 @@ header { width:960px; } +section.important-links { + font-size: large; +} + body { background-color:#2B2B4D; color: white;