🍜
Always munching ramen
PhD @ EPFL, Switzerland.
- Lausanne, Switzerland
-
04:20
- 1h ahead - https://nkagami.me
- https://orcid.org/0009-0005-2543-3309
Pinned Loading
-
lampepfl/gears
lampepfl/gears PublicA strawman for a low-level async library in Scala 3.
-
706 contributions in the last year
Day of Week | March Mar | 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
Activity overview
Contributed to
natsukagami/nix-home,
natsukagami/youmubot,
natsukagami/tree-sitter-hylo
and 24 other
repositories
Loading
Contribution activity
March 2025
Created 4 commits in 2 repositories
Created a pull request in scala/scala3 that received 5 comments
Add capture-checking annotations to scala.util.boundary
Adds capture-tracking annotations to scala.util.boundary
.
The following changes are made:
Label[T]
is now a capability, directly inheriting caps.C…
+54
−6
lines changed
•
5
comments
Opened 3 other pull requests in 1 repository
scala/scala3
1
open
2
merged
-
Changes in preparation to make
caps.Capability
stableThis contribution was made on Mar 20 -
Show the Autofill completion case as what would be auto-filled
This contribution was made on Mar 17
-
Ignore ending
$
when looking at end marker namesThis contribution was made on Mar 13
Created an issue in scala/scala3 that received 4 comments
Drop @experimental
for retains
and retainsCap
scala.annotation.retains
and retainsCap
are internally used by the capture checker as the representation of capturing types. While capture checking…
4
comments
1
contribution
in private repositories
Mar 10