avatar

Danny Willems

If we use « it is not rocket science » to describe something easy, what if you are a rocket scientist and find your job easy?

Joined on Nov, 2013357 repositories

Pull Requests

1,877

Code Reviews

2,584

Activity Feed (latest 50)

pushed to main in o1-labs/seeds

Jul 4, 2025, 2:27 PM

merged a pull request in o1-labs/seeds

Jul 4, 2025, 2:27 PM

reviewed a pull request in o1-labs/seeds

Jul 4, 2025, 2:27 PM

Description of `ForkEvent` isn't defined

Jul 2, 2025, 4:10 PM

commented on issue MinaProtocol/mina#17455

Jul 2, 2025, 3:28 PM

commented on issue MinaProtocol/mina#17455

Jul 2, 2025, 3:28 PM

pushed to dw/adding-jammy in MinaProtocol/mina

Jul 2, 2025, 3:27 PM

deleted branch dkijania/delete_automation_folder at MinaProtocol/mina

Jul 2, 2025, 3:26 PM

pushed to compatible in MinaProtocol/mina

Jul 2, 2025, 3:26 PM

merged a pull request in MinaProtocol/mina

Jul 2, 2025, 3:26 PM

deleted branch dkijania/remove_unused_oses at MinaProtocol/mina

Jul 2, 2025, 3:25 PM

pushed to compatible in MinaProtocol/mina

Jul 2, 2025, 3:25 PM

merged a pull request in MinaProtocol/mina

Jul 2, 2025, 3:25 PM

commented on issue MinaProtocol/mina#17429

Jul 2, 2025, 2:53 PM

commented on issue MinaProtocol/mina#17447

Jul 2, 2025, 2:51 PM

commented on issue MinaProtocol/mina#17454

Jul 2, 2025, 2:50 PM

commented on issue MinaProtocol/mina#17454

Jul 2, 2025, 2:49 PM

pushed to dw/update-opam-docker-build in MinaProtocol/mina

Jul 2, 2025, 2:49 PM

deleted branch dw/rocksdb-warning-error at MinaProtocol/mina

Jul 2, 2025, 8:23 AM

pushed to compatible in MinaProtocol/mina

Jul 2, 2025, 8:23 AM

merged a pull request in MinaProtocol/mina

Jul 2, 2025, 8:23 AM

deleted branch dw/remove-unused-handler-register at MinaProtocol/mina

Jul 2, 2025, 8:23 AM

pushed to compatible in MinaProtocol/mina

Jul 2, 2025, 8:23 AM

merged a pull request in MinaProtocol/mina

Jul 2, 2025, 8:23 AM

deleted branch dw/bump-up-some-deps at MinaProtocol/mina

Jul 1, 2025, 9:56 PM

pushed to compatible in MinaProtocol/mina

Jul 1, 2025, 9:56 PM

merged a pull request in MinaProtocol/mina

Jul 1, 2025, 9:56 PM

commented on issue MinaProtocol/mina#17414

Jul 1, 2025, 8:41 PM

commented on issue MinaProtocol/mina#17415

Jul 1, 2025, 8:41 PM

pushed to dw/remove-unused-handler-register in MinaProtocol/mina

Jul 1, 2025, 8:41 PM

pushed to dw/cli-treat-warnings-as-errors in MinaProtocol/mina

Jul 1, 2025, 8:41 PM

commented on issue MinaProtocol/mina#17413

Jul 1, 2025, 8:41 PM

commented on issue MinaProtocol/mina#17413

Jul 1, 2025, 8:41 PM

commented on issue MinaProtocol/mina#17413

Jul 1, 2025, 8:40 PM

pushed to dw/rocksdb-warning-error in MinaProtocol/mina

Jul 1, 2025, 8:40 PM

pushed to dw/rocksdb-warning-error in MinaProtocol/mina

Jul 1, 2025, 8:40 PM

commented on issue MinaProtocol/mina#17412

Jul 1, 2025, 8:38 PM

pushed to dw/merkle-ledger-dune-enforce-warn-error in MinaProtocol/mina

Jul 1, 2025, 8:38 PM

commented on issue MinaProtocol/mina#17412

Jul 1, 2025, 8:38 PM

pushed to dw/merkle-ledger-dune-enforce-warn-error in MinaProtocol/mina

Jul 1, 2025, 8:38 PM

reviewed a pull request in MinaProtocol/mina

Jul 1, 2025, 8:29 PM

commented on pull request MinaProtocol/mina#17456

Jul 1, 2025, 8:22 PM

reviewed a pull request in MinaProtocol/mina

Jul 1, 2025, 8:22 PM

commented on pull request MinaProtocol/mina#17456

Jul 1, 2025, 8:17 PM

reviewed a pull request in MinaProtocol/mina

Jul 1, 2025, 8:17 PM

commented on issue MinaProtocol/mina#17456

Jul 1, 2025, 8:03 PM

created a branch dw/mina-net2-move-to-alcotest in MinaProtocol/mina

Jul 1, 2025, 8:01 PM

reviewed a pull request in MinaProtocol/mina

Jul 1, 2025, 7:56 PM

pushed to dkijania/delete_automation_folder in MinaProtocol/mina

Jul 1, 2025, 7:54 PM

commented on pull request MinaProtocol/mina#17447

Jul 1, 2025, 7:47 PM