Skip to content
Avatar

Achievements

Achievements

Highlights

  • Pro
Block or Report

Block or report SeriousBug

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
SeriousBug/README.md

Hi there 👋

I'm currently working at 🌱 Dendron where we help humans organize and reference any amount of knowledge.

  • 🔭 I’m currently working on writing-assistant, an extension to help people write better.
  • 🌱 I’m learning Rust, a reliable and fast language.
  • 💬 Ask me about Linux, it's one of my favorite things!
  • 🎓 I graduated from the Ohio State University with an MS in Computer Science. You can find my publications online.
  • 😄 Pronouns: He/him

Pinned

  1. Public implementation of Crafty, published in PLDI 2020. https://arxiv.org/abs/2004.00262

    C 1 1

  2. Public implementation of SDP and WDP analyses, published in OOPSLA 2019. https://arxiv.org/abs/1904.13088

    Java

  3. Qualitative user study survey for comparing images.

    Python

  4. A simple Turing Machine simulator, and an esolang.

    Haskell 1

  5. My personal (static) website, generated with Clojure using perun.

    Clojure

  6. A VSCode extension that helps you write better.

    TypeScript 1

1,499 contributions in the last year

Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Mon Wed Fri

Contribution activity

January 2022

Created a pull request in dendronhq/dendron that received 4 comments

fix: Publishing dev server keeps running after exiting on Windows

Fixes an issue where on Windows, the next server would continue running even after the Dendron CLI is interrupted with Ctrl+C. I believe this chang…

+9 −7 4 comments

Created an issue in dendronhq/dendron that received 1 comment

Publishing goes to home page for missing pages

Please select the area your bug applies to. (Multiple selections are Possible. You can leave blank if you're not sure.) Workspace. VSCode worksp…

1 of 7 tasks
1 comment
20 contributions in private repositories Jan 1 – Jan 7

Seeing something unexpected? Take a look at the GitHub profile guide.