All languages are bad. Some languages are useful. I enjoy language and type theory, Go, Rust, and static analysis.
- Pittsburgh, PA
Highlights
Block or Report
Block or report RobbieMcKinstry
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories
-
tiny-google Public
Tiny Google is a tiny little search engine, which accepts document uploads and adds them to an inverted index.
Python 3
-
-
AlgoDesign Public
Homework write-ups for CS 1510 Algorithm Design at the University of Pittsburgh
-
1,666 contributions in the last year
Activity overview
Contributed to
whiterabbittech/kraken-rs,
RobbieMcKinstry/acheron,
pulumi/pulumi
and 32 other
repositories
Contribution activity
August 2022
Created 19 commits in 1 repository
Created a pull request in RobbieMcKinstry/acheron that received 1 comment
Opened 11 other pull requests in 1 repository
RobbieMcKinstry/acheron
11
merged
- Rename operator and change opmake signauture to allow for multiple op…
- Engine/workqueue
- Engine/decision table
- Remove status field from clause
- Add iterators to clause and formula
- History/rename
- Condition vs. Literal
- CI/CD with base image for perf
- Fix lints
- Rename resolve to condition
- Add tracking information with a 'summary' type
Created an issue in RobbieMcKinstry/acheron that received 2 comments
Enable GH Actions for CI/CD
We should be running cargo make in CI to verify build correctness.
2
comments
Opened 11 other issues in 1 repository
RobbieMcKinstry/acheron
6
open
5
closed
- Fix Triple-Accounting in History/JobOutput
- Bring Test Coverage Up in Core, Add Tests for Conditioning
- Add Tests for Parsing
- Add Iteration to Formulas, Clauses
- Remove "Status" field from Clause
- Use "String::Join" in Clause::Display Impl
- Rename "Operation" to "Operator"
- Replace Arc with Rc
- Remove nondeterminism
- Remove "is_sat" with a "Status".
- Address New Lint Violations
12
contributions
in private repositories
Aug 1





