Author of interpreterbook.com and compilerbook.com. I like to program where the rubber hits the road — wherever that may be.
- Bavaria, Germany
- https://thorstenball.com
- @thorstenball
Highlights
Block or Report
Block or report mrnugget
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
virtual_brainfuck_machine Public
Companion repository for a blog post about Brainfuck, interpreters and VMs
-
scheme_x86 Public
Writing a Scheme to x86 compiler by following Abdulaziz Ghuloum's "An Incremental Approach to Compiler Construction"
2,510 contributions in the last year
Less
More
Activity overview
Contributed to
sourcegraph/sourcegraph,
mrnugget/vimconfig,
sourcegraph/src-cli
and 44 other
repositories
Contribution activity
October 2022
Created 6 commits in 2 repositories
Created a pull request in sourcegraph/sourcegraph that received 5 comments
Fix legacy-extensions by passing settings instead of observable
See this comment for more details: #42224 (comment) In short: after disabling extensions we were seeing more queries than before. Suspicion was tha…
+3
−3
•
5
comments
Opened 3 other pull requests in 2 repositories
sourcegraph/handbook
2
merged
sourcegraph/sourcegraph
1
merged
Reviewed 19 pull requests in 3 repositories
sourcegraph/sourcegraph
17 pull requests
- webhooks: Add database Create method
- Update MAUs
- Implement token refreshing for GitHub App
- sg: execute bash in interactive mode
- Check Last ID when updating site config to prevent race conditions
- Add a dedicated PlanFree if no license key is set
- encryption: Add support for webhook encryption
- sg: add src-cli wrapper
- Add AuthenticatorWithRefresh interface for refreshable tokens
- Convert GitLab token refreshing to use AuthenticatorWithRefresh interface
- sg: check dev-private rather than forced update
- sg: remove unused
- Move auth check helpers out of cmd/frontend
- sg: add pidfile
- Update syntax-highlighter docker container
- Tiny tweaks to styling
- admin area: display repositories gitserver shard in list
sourcegraph/src-cli
1 pull request
sourcegraph/handbook
1 pull request
15
contributions
in private repositories
Oct 1 – Oct 7





