Studied Computer Science at ETHZ. Fluent in Nix and Haskell.
Profile picture art by https://artistree.io/pheonyx!
-
Tweag
- Switzerland
Pinned Loading
-
NixOS/nixpkgs-vet
NixOS/nixpkgs-vet PublicTool to vet (check) Nixpkgs, including its pkgs/by-name directory
-
2,622 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 | April Apr | ||||||||||||||||||||||||||||||||||||||||
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
Loading
Contribution activity
April 2025
Created 1 repository
-
infinisil/infra
Nix
This contribution was made on Apr 10
Created a pull request in NixOS/nixpkgs that received 7 comments
ci: Update pinned Nixpkgs
Same as #389635, but now including the nixfmt update from #396013.
Ran ci/update-pinned-nixpkgs.sh
, which updated it to the version from this nixpk…
+2
−2
lines changed
•
7
comments
Opened 12 other pull requests in 6 repositories
NixOS/org
2
open
1
merged
-
Track NixCon organizers externally
This contribution was made on Apr 16
-
Introduce github-mgmt repository
This contribution was made on Apr 10
-
Add more NixCon organisers
This contribution was made on Apr 7
NixOS/nixpkgs
2
merged
1
open
-
Revert "ci: Update pinned Nixpkgs"
This contribution was made on Apr 10
-
lib/tests: Fix eval for Nix >= 2.28
This contribution was made on Apr 10
-
nixfmt-rfc-style: 2025-03-03 -> 2025-04-04
This contribution was made on Apr 4
NixOS/infra
1
open
1
merged
-
Add nixcon CFP email
This contribution was made on Apr 15
-
More NixCon organiser emails
This contribution was made on Apr 10
NixOS/nixos-homepage
2
merged
-
Update board responsibilities to match the constitution
This contribution was made on Apr 4
-
Disclose board member affiliations
This contribution was made on Apr 4
NixOS/foundation
1
merged
-
Update the Readme
This contribution was made on Apr 10
NixOS/nixfmt
1
merged
-
Mergetool fixes
This contribution was made on Apr 2
Reviewed 16 pull requests in 6 repositories
NixOS/nixpkgs
7 pull requests
-
doc: add clarification on logical unit for each commit
This contribution was made on Apr 15
-
icestudio: 0-unstable-2024-11-18 -> 0.12-unstable-2025-03-08
This contribution was made on Apr 8
-
ci/compare: Bring back nix stats comparison
This contribution was made on Apr 7
-
.git-blame-ignore-revs: add missing treewide format
This contribution was made on Apr 4
-
lib.modules: Expose the freeform results readonly via '_module.freeformConfig'
This contribution was made on Apr 3
-
[release-24.11] xorg: format
This contribution was made on Apr 2
-
nixfmt-tree: refactor impl to use
treefmt.withConfig
This contribution was made on Apr 1
NixOS/org
4 pull requests
-
Add more NixCon organisers
This contribution was made on Apr 8
-
Add NixCon sponsorship tiers and process
This contribution was made on Apr 6
-
nixpkgs-committers: Add more contact options
This contribution was made on Apr 2
-
Turn off notifications for nixpkgs-maintainers @ pings
This contribution was made on Apr 1
NixOS/nixfmt
2 pull requests
-
Parse numbers as strings
This contribution was made on Apr 13
-
Mergetool fixes
This contribution was made on Apr 4
NixOS/infra
1 pull request
-
dns: migrate nixcon.org and set up mailing
This contribution was made on Apr 17
NixOS/nix.dev
1 pull request
-
Add some documentation about the official nix formatter
This contribution was made on Apr 14
NixOS/foundation
1 pull request
-
Update the Readme
This contribution was made on Apr 10
Created an issue in NixOS/nixpkgs that received 3 comments
How to resolve formatting-related conflicts
With #380990 (and #395018 on the release branch), there will be a lot of merge conflicts related to formatting (see the announcement for more conte…
3
comments
Opened 7 other issues in 2 repositories
nixcon/2025.nixcon.org
4
open
2
closed
-
Does not work without JS
This contribution was made on Apr 17
-
Better footnotes
This contribution was made on Apr 17
-
Fix page links
This contribution was made on Apr 17
-
Disable animation by default
This contribution was made on Apr 17
-
Todo for the first version
This contribution was made on Apr 10
-
License and transfer
This contribution was made on Apr 9
infinisil/github-test
1
open
-
Request from google@infinisil.com
This contribution was made on Apr 12
36
contributions
in private repositories
Apr 11 – Apr 15