Compare commits
No commits in common. "master" and "8880ccb2f3dbd0a5c3453d2cc2e260b4f87d523f" have entirely different histories.
master
...
8880ccb2f3
23
default.nix
23
default.nix
@ -1,23 +0,0 @@
|
||||
{ pkgs ? import (fetchTarball "https://github.com/NixOS/nixpkgs/archive/5f9d1bb572e08ec432ae46c78581919d837a90f6.tar.gz") {}}:
|
||||
let
|
||||
resumePackage = pkgs.callPackage ../resume/default.nix {};
|
||||
in pkgs.stdenv.mkDerivation {
|
||||
name = "greg.everydayimshuflin.com-website";
|
||||
src = ./.;
|
||||
|
||||
buildInputs = [resumePackage];
|
||||
installPhase = ''
|
||||
mkdir $out
|
||||
|
||||
|
||||
cp index.html $out
|
||||
cp style.css $out
|
||||
cp self.jpg $out
|
||||
cp favicon.png $out
|
||||
|
||||
mkdir $out/resume/
|
||||
cp ${resumePackage}/*.pdf $out/resume
|
||||
|
||||
'';
|
||||
}
|
||||
|
BIN
favicon.png
BIN
favicon.png
Binary file not shown.
Before Width: | Height: | Size: 1.1 KiB |
126
flake.lock
126
flake.lock
@ -1,126 +0,0 @@
|
||||
{
|
||||
"nodes": {
|
||||
"flake-utils": {
|
||||
"inputs": {
|
||||
"systems": "systems"
|
||||
},
|
||||
"locked": {
|
||||
"lastModified": 1689068808,
|
||||
"narHash": "sha256-6ixXo3wt24N/melDWjq70UuHQLxGV8jZvooRanIHXw0=",
|
||||
"owner": "numtide",
|
||||
"repo": "flake-utils",
|
||||
"rev": "919d646de7be200f3bf08cb76ae1f09402b6f9b4",
|
||||
"type": "github"
|
||||
},
|
||||
"original": {
|
||||
"owner": "numtide",
|
||||
"repo": "flake-utils",
|
||||
"type": "github"
|
||||
}
|
||||
},
|
||||
"flake-utils_2": {
|
||||
"inputs": {
|
||||
"systems": "systems_2"
|
||||
},
|
||||
"locked": {
|
||||
"lastModified": 1685518550,
|
||||
"narHash": "sha256-o2d0KcvaXzTrPRIo0kOLV0/QXHhDQ5DTi+OxcjO8xqY=",
|
||||
"owner": "numtide",
|
||||
"repo": "flake-utils",
|
||||
"rev": "a1720a10a6cfe8234c0e93907ffe81be440f4cef",
|
||||
"type": "github"
|
||||
},
|
||||
"original": {
|
||||
"owner": "numtide",
|
||||
"repo": "flake-utils",
|
||||
"type": "github"
|
||||
}
|
||||
},
|
||||
"nixpkgs": {
|
||||
"locked": {
|
||||
"lastModified": 1689477032,
|
||||
"narHash": "sha256-tcVslINoIDszgc5cES0Y1k0Lq1HHPla9PSALU+Y8jkY=",
|
||||
"owner": "NixOS",
|
||||
"repo": "nixpkgs",
|
||||
"rev": "66c990850b878437510cc6096e6babce86de5dcb",
|
||||
"type": "github"
|
||||
},
|
||||
"original": {
|
||||
"id": "nixpkgs",
|
||||
"type": "indirect"
|
||||
}
|
||||
},
|
||||
"nixpkgs_2": {
|
||||
"locked": {
|
||||
"lastModified": 1686949509,
|
||||
"narHash": "sha256-52OTWmIjf5t5VcoGhSjRsCWHlwSf/mPhY+0fpaiA1hs=",
|
||||
"owner": "NixOS",
|
||||
"repo": "nixpkgs",
|
||||
"rev": "992ccdd822ecff0712ed0004f89df9e96f6a4963",
|
||||
"type": "github"
|
||||
},
|
||||
"original": {
|
||||
"id": "nixpkgs",
|
||||
"type": "indirect"
|
||||
}
|
||||
},
|
||||
"resume-flake": {
|
||||
"inputs": {
|
||||
"flake-utils": "flake-utils_2",
|
||||
"nixpkgs": "nixpkgs_2"
|
||||
},
|
||||
"locked": {
|
||||
"lastModified": 1729051312,
|
||||
"narHash": "sha256-pq+bm0dRjSKzZm7rgeKkRYsxmNrhHMo6LX+JMxMszgM=",
|
||||
"ref": "refs/heads/master",
|
||||
"rev": "ecb83eb0d21a9fae7c4d70859030852cb12a3d34",
|
||||
"revCount": 61,
|
||||
"type": "git",
|
||||
"url": "file:///home/greg/code/active/resume"
|
||||
},
|
||||
"original": {
|
||||
"type": "git",
|
||||
"url": "file:///home/greg/code/active/resume"
|
||||
}
|
||||
},
|
||||
"root": {
|
||||
"inputs": {
|
||||
"flake-utils": "flake-utils",
|
||||
"nixpkgs": "nixpkgs",
|
||||
"resume-flake": "resume-flake"
|
||||
}
|
||||
},
|
||||
"systems": {
|
||||
"locked": {
|
||||
"lastModified": 1681028828,
|
||||
"narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=",
|
||||
"owner": "nix-systems",
|
||||
"repo": "default",
|
||||
"rev": "da67096a3b9bf56a91d16901293e51ba5b49a27e",
|
||||
"type": "github"
|
||||
},
|
||||
"original": {
|
||||
"owner": "nix-systems",
|
||||
"repo": "default",
|
||||
"type": "github"
|
||||
}
|
||||
},
|
||||
"systems_2": {
|
||||
"locked": {
|
||||
"lastModified": 1681028828,
|
||||
"narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=",
|
||||
"owner": "nix-systems",
|
||||
"repo": "default",
|
||||
"rev": "da67096a3b9bf56a91d16901293e51ba5b49a27e",
|
||||
"type": "github"
|
||||
},
|
||||
"original": {
|
||||
"owner": "nix-systems",
|
||||
"repo": "default",
|
||||
"type": "github"
|
||||
}
|
||||
}
|
||||
},
|
||||
"root": "root",
|
||||
"version": 7
|
||||
}
|
43
flake.nix
43
flake.nix
@ -1,43 +0,0 @@
|
||||
{
|
||||
description = "Professional website";
|
||||
|
||||
inputs = {
|
||||
flake-utils.url = "github:numtide/flake-utils";
|
||||
resume-flake.url = "/home/greg/code/active/resume";
|
||||
|
||||
};
|
||||
|
||||
outputs = { self, nixpkgs, flake-utils, resume-flake }:
|
||||
{
|
||||
formatter.x86_64-linux = nixpkgs.legacyPackages.x86_64-linux.nixpkgs-fmt;
|
||||
} //
|
||||
flake-utils.lib.eachDefaultSystem (system:
|
||||
let
|
||||
pkgs = import nixpkgs { inherit system; };
|
||||
resume = resume-flake.packages.x86_64-linux.default;
|
||||
in
|
||||
{
|
||||
packages.default = pkgs.stdenv.mkDerivation {
|
||||
name = "greg.everydayimshuflin.com-website";
|
||||
src = ./.;
|
||||
|
||||
installPhase = ''
|
||||
mkdir -p $out/resume
|
||||
|
||||
|
||||
cp index.html $out
|
||||
cp style.css $out
|
||||
cp self.jpg $out
|
||||
cp favicon.png $out
|
||||
|
||||
cp ${resume}/*.pdf $out/resume
|
||||
|
||||
'';
|
||||
};
|
||||
}
|
||||
|
||||
|
||||
);
|
||||
|
||||
|
||||
}
|
160
index.html
160
index.html
@ -1,130 +1,82 @@
|
||||
<!DOCTYPE html>
|
||||
<html lang="en">
|
||||
<html>
|
||||
<head>
|
||||
<title>Greg Shuflin — Software Developer</title>
|
||||
<meta charset='utf-8'>
|
||||
<meta name='viewport' content='width=device-width'>
|
||||
<link href="style.css" rel="stylesheet">
|
||||
<link rel="icon" type="image/x-icon" href="favicon.png">
|
||||
<title>Greg Shuflin - Software Developer</title>
|
||||
<meta charset='utf-8'/>
|
||||
<link href="style.css" rel="stylesheet"/>
|
||||
</head>
|
||||
<body>
|
||||
<div class="container">
|
||||
<div id='main'>
|
||||
<header>
|
||||
<div class="links">
|
||||
<h1>Greg Shuflin — Software Developer</h1>
|
||||
<ul>
|
||||
<li>Download <a href="./resume/Greg-Shuflin-Resume.pdf">my resume</a></li>
|
||||
<li>Contact me:
|
||||
<ul>
|
||||
<li><a class="emailLink" href="mailto:greg.shuflin+developerportfolio@protonmail.com">greg.shuflin<wbr/>@protonmail.com</a></li>
|
||||
<li><a href='https://www.linkedin.com/in/gregshuflin/'>LinkedIn</a></li>
|
||||
<li><a href="nostr:npub1t4tqw45837fzs0589jqqna0s5wcmzstnsvw2vlrj7934w9l25sgsgnjcsl">Nostr </a>
|
||||
<code class="nostrPubkey">npub1t4tqw45837fzs0589jqqna0s5wcmzstnsvw2vlrj7934w9l25sgsgnjcsl</code>
|
||||
</li>
|
||||
<!--
|
||||
<li>
|
||||
<p>SSH public key:
|
||||
<code>ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIBYZzw9jdXezBuENVPZ+p3FipNN2gT9BUo7nlCTIqLhE</code>
|
||||
</li>
|
||||
-->
|
||||
</ul>
|
||||
<div>
|
||||
<h1>Greg Shuflin - Software Developer</h1>
|
||||
|
||||
<p>Contact me via <a class="emailLink" href="mailto:greg.shuflin+developerportfolio@protonmail.com">greg.shuflin@protonmail.com</a>
|
||||
or <a href='https://www.linkedin.com/in/gregshuflin/'>LinkedIn</a>.
|
||||
|
||||
<p>Download a copy of <a href="./resume/Greg Shuflin resume.pdf">my resume</a>.
|
||||
</div>
|
||||
|
||||
<div id='selfPhoto'>
|
||||
<img src='self.jpg' alt='Self-photo' width='240'/>
|
||||
</div>
|
||||
</header>
|
||||
<main>
|
||||
<div class="photo">
|
||||
<img src='self.jpg' alt='Self-photo'>
|
||||
</div>
|
||||
<section>
|
||||
|
||||
<h2>About me</h2>
|
||||
|
||||
<p>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.
|
||||
programming, full-stack web development, and modern cloud-focused devops/Unix
|
||||
systems administration. I dabble in 3d graphics, functional programming/type
|
||||
theory, programming language design, and mucking about with microcontrollers
|
||||
on the side, and one or another of these skillsets has come in handy before.
|
||||
|
||||
<p>I've shipped code in <strong>Rust</strong>, <strong>Python</strong>,
|
||||
<strong>C/C++</strong>, <strong>Ruby</strong> (on Rails),
|
||||
<strong>Scala</strong>, <strong>Elm</strong>, and <strong>Haskell</strong>.
|
||||
My educational credentials are B.A.s in <strong>Linguistics</strong>,
|
||||
<strong>Computer Science</strong> and <strong>Japanese</strong> from the
|
||||
<strong>University of California, Berkeley</strong>. 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, <a href="https://www.idris-lang.org/">Idris</a> for a living one day.
|
||||
<p>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. I used to
|
||||
have a line here that said "Also if you're hiring for a Rust position I'd
|
||||
love to talk to you.", but since I now have a position where I spend a lot
|
||||
of my time writing Rust, I suppose it worked.
|
||||
|
||||
<p>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.
|
||||
</section>
|
||||
<section>
|
||||
<h2>Open-source contributions</h2>
|
||||
<h2>Open-source work</h2>
|
||||
|
||||
<p>My professional Github profile is <a href="https://github.com/gshuflin">@gshuflin</a>. I have
|
||||
used <a href="https://github.com/neunenak">@neunenak</a> 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 <a href="https://gitea.com">Gitea</a> instance at <a href="https://code.everydayimshuflin.com/greg">code.everydayimshuflin.com</a>, to
|
||||
reduce my dependency on cloud services I have no control over.
|
||||
<p>As part of my work at Toolchain Labs, I
|
||||
<a href="https://github.com/pantsbuild/pants/commits?author=gshuflin">contribute</a>
|
||||
to the <a href="https://www.pantsbuild.org/">Pants</a> build system. Much of my work
|
||||
on this project has involved porting the codebase from a legacy Python execution engine
|
||||
to a modern and more performant Rust execution engine.
|
||||
|
||||
<ul>
|
||||
|
||||
<li>As part of my work at Toolchain Labs, I was a <a href="https://github.com/pantsbuild/pants/commits?author=gshuflin">contributor</a>
|
||||
to the <a href="https://www.pantsbuild.org/">Pants</a> 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.</li>
|
||||
|
||||
<li>I maintain a <a href="https://github.com/typst/typst">typst</a> package
|
||||
<a href="https://code.everydayimshuflin.com/greg/typst-lepizig-glossing">leipzig-glossing</a>
|
||||
for typesetting linguistic interlinear glosses according to the Leipzig Glossing
|
||||
Rules.</li>
|
||||
|
||||
<li>I'm a user of and <a href="https://github.com/casey/just/commits?author=neunenak">occasional
|
||||
contributor to</a> the <a href="https://github.com/casey/just">just</a>
|
||||
command runner, written in Rust.</li>
|
||||
|
||||
|
||||
<li>A wrote a quick and dirty <a href="https://code.everydayimshuflin.com/greg/rust-parser-combinator">parser combinator
|
||||
library</a> in Rust, mostly as a proof of concept. I'd like to see if I can incorporate some of the
|
||||
ideas from the paper <a href="https://research.rug.nl/en/publications/efficient-parsing-with-parser-combinators">
|
||||
Efficient parsing with parser combinators</a> to make it faster.</li>
|
||||
|
||||
|
||||
<li>I contributed a basic <a href="https://github.com/koka-lang/koka/pull/193/commits/ab290a41a4249450d9934a4c23d2b8ed7e98b448">Vim
|
||||
plugin</a> for the <a href="https://koka-lang.github.io/koka/doc/book.html">Koka</a> language,
|
||||
an research programming language experimenting with the very neat idea of
|
||||
algebraic effect systems.</li>
|
||||
|
||||
<li>I wrote a simple Rust command line program for <a href="https://github.com/neunenak/hilite">
|
||||
<p>I wrote a simple Rust command line program for <a href="https://github.com/neunenak/hilite">
|
||||
for highlighting stderr console output</a>, 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 <a href="https://crates.io/crates/hilite">crates.io</a>.</li>
|
||||
is published on <a href="https://crates.io/crates/hilite">crates.io</a>.
|
||||
|
||||
<p>My professional Github profile is <a href="https://github.com/gshuflin">@gshuflin</a>. I have
|
||||
used <a href="https://github.com/neunenak">@neunenak</a> as a personal Github profile in the past,
|
||||
and am in the process of moving my personal code to a <a href="https://gitea.everydayimshuflin.com/greg">self-hosted Gitea
|
||||
instance</a>.
|
||||
|
||||
</ul>
|
||||
</section>
|
||||
<section>
|
||||
<h2>Some personal projects</h2>
|
||||
<p>A few side projects I've worked on that I think are particularly interesting.</p>
|
||||
<p>A few side projects I've worked on
|
||||
that I think are particularly interesting.
|
||||
|
||||
<section>
|
||||
<div>
|
||||
<h3>Schala</h3>
|
||||
|
||||
<p>I've been interested in programming language implementations since my college compilers class,
|
||||
and interested in type theory ever since I learned about Haskell. <a href="https://code.everydayimshuflin.com/greg/schala">
|
||||
and interested in type theory ever since I learned about Haskell. <a href="https://gitea.everydayimshuflin.com/greg/schala">
|
||||
Schala</a> is a Rust framework I've been sporadically working on to give me a place to experiment with multiple programming
|
||||
language ideas, and also the name of the language I'm using this framework to implement. Schala is intended to be an
|
||||
expression-based functional-encouraging programming language using ML-style types with Rust-like syntax.
|
||||
</section>
|
||||
</div>
|
||||
|
||||
<section>
|
||||
<div>
|
||||
<h3>Browser games</h3>
|
||||
<p> These are all open-source collabrations with
|
||||
<a href='https://github.com/AlexNisnevich'>Alex Nisnevich</a> and several
|
||||
other occasional contributors.
|
||||
<ul>
|
||||
<li><a href="https://alexnisnevich.github.io/untrusted/">Untrusted</a>
|
||||
<li><a href="http://alex.nisnevich.com/untrusted/">Untrusted</a>
|
||||
<a href="https://github.com/AlexNisnevich/untrusted" class='codeLink'>(code)</a>
|
||||
- a Javascript roguelike. Every level is deliberately unbeatable, and
|
||||
the player must edit the source code of the level in order to progress.
|
||||
@ -141,12 +93,12 @@
|
||||
where the player takes on the role of a corrupt public transit bureaucrat
|
||||
who is paid-off by an evil ride-sharing corporation, and tasked with
|
||||
making the public bus system worse. Written in
|
||||
<a href='https://elm-lang.org/'>Elm</a>, a Haskell-like pure functional
|
||||
<a href='http://elm-lang.org/'>Elm</a>, a Haskell-like pure functional
|
||||
language that compiles to Javascript/HTML.
|
||||
</li>
|
||||
|
||||
<li>
|
||||
<a href='https://alexnisnevich.github.io/kalevala/'>Kalevala</a>
|
||||
<a href='http://alexnisnevich.github.io/kalevala/'>Kalevala</a>
|
||||
|
||||
<a href='https://github.com/AlexNisnevich/kalevala' class='codeLink'>
|
||||
(code)
|
||||
@ -156,18 +108,18 @@
|
||||
is a <a href='https://github.com/neunenak/voluspa-server' class='codeLink'>fairly-simple Haskell server.</a>
|
||||
|
||||
</li>
|
||||
|
||||
</ul>
|
||||
</section>
|
||||
<section>
|
||||
</div>
|
||||
|
||||
<div>
|
||||
<h3>Other projects</h3>
|
||||
|
||||
<ul>
|
||||
<li><a href="https://code.everydayimshuflin.com/greg/SNES-ASM">SNES Assembly language</a>: some experiments in writing
|
||||
<li><a href="https://gitea.everydayimshuflin.com/greg/SNES-ASM">SNES Assembly language</a>: some experiments in writing
|
||||
custom ROMs in the assembly language used by the Super Nintendo/Super Famicom/SNES.
|
||||
</li>
|
||||
</ul>
|
||||
</section>
|
||||
</section>
|
||||
</main>
|
||||
</div>
|
||||
</body>
|
||||
</html>
|
||||
|
20
justfile
20
justfile
@ -1,18 +1,4 @@
|
||||
default:
|
||||
just --list
|
||||
|
||||
server := "realname-server.everydayimshuflin.com"
|
||||
resume_dir := "/home/greg/code/active/resume"
|
||||
resume_filename := "Greg Shuflin resume.pdf"
|
||||
|
||||
update-resume:
|
||||
nix flake lock --update-input resume-flake
|
||||
|
||||
deploy-html:
|
||||
scp index.html favicon.png style.css self.jpg greg@{{server}}:"/srv/greg.everydayimshuflin.com/"
|
||||
|
||||
deploy-resume-pdf:
|
||||
just {{resume_dir}}/build_resume
|
||||
scp -r "{{resume_dir}}/{{resume_filename}}" greg@{{server}}:"/srv/greg.everydayimshuflin.com/resume"
|
||||
|
||||
deploy: deploy-html deploy-resume-pdf
|
||||
deploy:
|
||||
scp index.html style.css self.jpg greg@realname.everydayimshuflin.com:"/srv/greg.everydayimshuflin.com/"
|
||||
scp -r resume greg@realname.everydayimshuflin.com:"/srv/greg.everydayimshuflin.com/"
|
||||
|
BIN
resume/Greg Shuflin resume.pdf
Normal file
BIN
resume/Greg Shuflin resume.pdf
Normal file
Binary file not shown.
83
style.css
83
style.css
@ -1,74 +1,55 @@
|
||||
* {
|
||||
box-sizing: border-box;
|
||||
@import url(http://fonts.googleapis.com/css?family=Ubuntu:400,700,400italic,700italic);
|
||||
|
||||
h1 {
|
||||
font-family: Ubuntu;
|
||||
}
|
||||
|
||||
header {
|
||||
display: flex;
|
||||
justify-content: space-between;
|
||||
}
|
||||
|
||||
#selfPhoto {
|
||||
margin-top: 20px;
|
||||
margin-right: 30px;
|
||||
}
|
||||
|
||||
#main {
|
||||
margin-left:auto;
|
||||
margin-right:auto;
|
||||
width:960px;
|
||||
}
|
||||
|
||||
body {
|
||||
padding: 0em 0.5em;
|
||||
background-color:#2B2B4D;
|
||||
color: white;
|
||||
font-family: "Fira Sans", sans-serif;
|
||||
font-size: 20px;
|
||||
line-height: 1.5;
|
||||
|
||||
display: flex;
|
||||
flex-direction: column;
|
||||
align-items: center;
|
||||
font-family: Ubuntu;
|
||||
}
|
||||
|
||||
.container {
|
||||
width: 100%;
|
||||
max-width: 961px;
|
||||
display: flex;
|
||||
flex-direction: column;
|
||||
align-items: center;
|
||||
}
|
||||
|
||||
h1 {
|
||||
text-align: center;
|
||||
margin: 0;
|
||||
}
|
||||
|
||||
code.nostrPubkey {
|
||||
display: none;
|
||||
b {
|
||||
font-weight:bolder;
|
||||
}
|
||||
|
||||
a {
|
||||
color: #f74848;
|
||||
color:#ff3333;
|
||||
font-weight:bolder;
|
||||
}
|
||||
|
||||
a:visited {
|
||||
color:#f74848;
|
||||
color:#ff3333;
|
||||
}
|
||||
|
||||
li {
|
||||
font-family: Ubuntu;
|
||||
margin-bottom:10px;
|
||||
}
|
||||
a.codeLink {
|
||||
color:#31E631;
|
||||
font-weight:normal;
|
||||
}
|
||||
|
||||
a.emailLink {
|
||||
color:#31E631;
|
||||
font-family: "monospace";
|
||||
text-decoration: none;
|
||||
}
|
||||
|
||||
.photo {
|
||||
width: 100%;
|
||||
}
|
||||
|
||||
.photo img {
|
||||
width: 100%;
|
||||
|
||||
}
|
||||
|
||||
|
||||
/* Desktop */
|
||||
@media only screen and (min-width: 961px) {
|
||||
code.nostrPubkey {
|
||||
display: revert;
|
||||
}
|
||||
|
||||
.photo {
|
||||
float: right;
|
||||
width: 400px;
|
||||
margin: 1em;
|
||||
}
|
||||
}
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user