hyperbrainer

Mon Jun 19, 2023 3:10pm PST

Karma:

417

submitted

Fri Apr 25, 2025 6:46pm PST

Curry: A functional logic programming language

@hyperbrainer

8

36

166

Thurs Apr 24, 2025 7:12am PST

The Busy Beaver Frontier [pdf]

@hyperbrainer

4

Sat Apr 19, 2025 9:12pm PST

Monsky's Theorem

@hyperbrainer

5

13

49

Wed Apr 2, 2025 1:13pm PST

JSON Hijacking (2009)

@hyperbrainer

2

Mon Mar 31, 2025 8:01pm PST

My Book's Pre-Sale Just Barely Succeeded

@hyperbrainer

4

7

19

Sun Mar 30, 2025 12:47pm PST

Tail Call Recursion in Java with ASM (2023)

@hyperbrainer

8

48

96

Sun Mar 23, 2025 6:55am PST

Gmail's upgraded search results help you find the emails you want, faster

@hyperbrainer

4

6

10

Wed Mar 12, 2025 7:26pm PST

Teleo-Reactive Programs

@hyperbrainer

1

1

7

Sat Mar 8, 2025 12:33pm PST

No dumb questions: What's the biggest number?

@hyperbrainer

1

4

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

12

68

113

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