Some guy on Maui... I used to work at Stripe and before that Twitter. I like correct and fast code.
- Maui, HI
- https://posco.dev/
- @posco
- @posco@fosstodon.org
Highlights
- Pro
Block or Report
Block or report johnynek
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
bazeltools/bazel-deps
bazeltools/bazel-deps PublicGenerate bazel dependencies for maven artifacts
-
-
-
typelevel/paiges
typelevel/paiges Publican implementation of Wadler's a prettier printer
-
typelevel/cats-parse
typelevel/cats-parse PublicA parsing library for the cats ecosystem
590 contributions in the last year
Day of Week | April Apr | May May | June Jun | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | March Mar | |||||||||||||||||||||||||||||||||||||||||
Sunday Sun | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Monday Mon | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Tuesday Tue | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Wednesday Wed | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Thursday Thu | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Friday Fri | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Saturday Sat |
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More
Contribution activity
March 2024
Created 33 commits in 2 repositories
Created a pull request in johnynek/bosatsu that received 4 comments
ToyIO demonstration of a basic IO implementation for runtimes
The idea here is to encode general recursion into a data structure, then have the recursive loop be implemented in the runtime or host language.
+216
−2
lines changed
•
4
comments
Opened 13 other pull requests in 1 repository
johnynek/bosatsu
13
merged
-
Improve external def parsing
This contribution was made on Mar 25
-
Change test evaluation
This contribution was made on Mar 25
-
Rename type-check to check
This contribution was made on Mar 25
-
Fix 1157
This contribution was made on Mar 24
-
Fix bug in python if/else chains
This contribution was made on Mar 23
-
Try to fix bosatsuj in CI
This contribution was made on Mar 23
-
Add property checks for BinNat
This contribution was made on Mar 18
-
Add property checks for Nat
This contribution was made on Mar 17
-
add complete queue property checks
This contribution was made on Mar 16
-
Add a Bosatsu/Queue property check
This contribution was made on Mar 15
-
Support comments in headers
This contribution was made on Mar 15
-
improve 1164
This contribution was made on Mar 8
-
Error on unused lets
This contribution was made on Mar 6
Reviewed 15 pull requests in 6 repositories
johnynek/bosatsu
8 pull requests
-
Fix bug in python if/else chains
This contribution was made on Mar 23
-
Add property checks for BinNat
This contribution was made on Mar 18
-
add complete queue property checks
This contribution was made on Mar 16
-
Support comments in headers
This contribution was made on Mar 15
-
Add a Bosatsu/Queue property check
This contribution was made on Mar 15
-
Error on unused lets
This contribution was made on Mar 15
-
improve 1164
This contribution was made on Mar 10
-
ToyIO demonstration of a basic IO implementation for runtimes
This contribution was made on Mar 3
bazeltools/bzl-gen-build
2 pull requests
-
Add tests for new python syntax
This contribution was made on Mar 21
-
Improve Python indexing example
This contribution was made on Mar 1
typelevel/cats-parse
2 pull requests
-
Update fastparse to 3.0.2
This contribution was made on Mar 20
-
Use tlCommandAlias for command aliases
This contribution was made on Mar 15
scala/scala3
1 pull request
-
Re-lub also hard union types in simplify
This contribution was made on Mar 26
scala/improvement-proposals
1 pull request
-
SIP-64: Improve the Syntax of Context Bounds and Givens
This contribution was made on Mar 11
typelevel/cats
1 pull request
-
Optimize traverse
This contribution was made on Mar 4
Created an issue in johnynek/bosatsu that received 2 comments
Opened 8 other issues in 1 repository
johnynek/bosatsu
5
open
3
closed
-
Use cats-effect in core
This contribution was made on Mar 24
-
python code generation has a bug
This contribution was made on Mar 22
-
use parallelism and streaming in bosatsu test
This contribution was made on Mar 22
-
change type-check to just check
This contribution was made on Mar 22
-
using an unimported type gives a bad error message
This contribution was made on Mar 17
-
add a todo function when running type check
This contribution was made on Mar 17
-
syntax to require recursions to be tail recursive.
This contribution was made on Mar 16
-
parsing external def doesn't allow using explicit type parameters
This contribution was made on Mar 16