Roboticist, engineer, and web developer
Part of the NumPy development team
|
Jan
14 |
|
awarded | Nice Answer |
|
Jan
4 |
|
comment |
How can I tell if a ctypes integer type is big endian? Clever, thanks! |
|
Jan
4 |
|
accepted | How can I tell if a ctypes integer type is big endian? |
| 2025 | |||
|---|---|---|---|
|
Dec
6 |
|
awarded | Popular Question |
|
Sep
25 |
|
awarded | Nice Question |
|
Sep
23 |
|
awarded | Good Answer |
|
Jun
5 |
|
awarded | Yearling |
|
May
22 |
|
comment |
Lean 4: Decidable-instance mismatch when applying a general insert lemma Your mistake here is open Classical, which is generally considered an antipattern when used globally. You should add [DecidableEq α] to your assumptions instead.
|
|
May
6 |
|
awarded | Yearling |
|
May
6 |
|
awarded | Yearling |
|
May
3 |
|
awarded | Announcer |
|
Apr
23 |
|
awarded | Nice Answer |
|
Mar
28 |
|
awarded | Popular Question |
|
Mar
3 |
|
awarded | Enlightened |
|
Mar
3 |
|
awarded | Nice Answer |
|
Feb
9 |
|
awarded | Yearling |
|
Feb
9 |
|
awarded | Yearling |
|
Jan
16 |
|
awarded | Announcer |
|
Jan
7 |
|
awarded | Revival |
|
Jan
3 |
|
awarded | Nice Answer |