hyperbrainer

Mon Jun 19, 2023 3:10pm PST

Karma:

224

submitted

Tues Feb 18, 2025 4:30pm PST

Down with Determinants by Sheldon Axler (1994) [pdf]

@hyperbrainer

1

Tues Feb 18, 2025 2:09pm PST

Cot: The Rust web framework for lazy developers

@hyperbrainer

11

61

102

Fri Feb 14, 2025 8:43pm PST

Why Did Prisma Choose Rust Initially? [video]

@hyperbrainer

4

Mon Jan 20, 2025 5:48pm PST

VictorTaelin: SupGen is a coding AI runs on 1 core CPU can prove theorems

@hyperbrainer

6

5

38

Fri Jan 17, 2025 11:04am PST

Theorems for a Price: Tomorrow's Semi-Rigorous Mathematical Culture (1994) [pdf]

@hyperbrainer

1

1

2

Thurs Nov 7, 2024 4:57pm PST

Welcoming two new Rust GPU maintainers

@hyperbrainer

2

Wed Oct 9, 2024 8:52pm PST

Fast Haskell: Competing with C at parsing XML (2017)

@hyperbrainer

5

Fri Sep 13, 2024 7:42am PST

User-Space Interrupts (2021)

@hyperbrainer

4

7

38