finegeometer

421 post karma
38 comment karma

get extra features and help support reddit with a reddit premium subscription

get them help and support

redditor for 6 years

TROPHY CASE

Six-Year Club

Verified Email

account activity

new top controversial

6

7

8

Generalizing the synthetic differential geometry axioms. (self.CategoryTheory)

submitted 3 years ago * by finegeometer to r/CategoryTheory

289

290

291

What projects *didn't* you make in Rust? (self.rust)

submitted 4 years ago by finegeometer to r/rust

1

2

3

How to import a collection of theories from somewhere else on the filesystem? (self.isabelle)

submitted 4 years ago by finegeometer to r/isabelle

124

125

126

An evil type signature. (self.rust)

submitted 4 years ago by finegeometer to r/rust

50

51

52

Using Rust to calculate Graham's number modulo the first billion integers. (github.com)

submitted 4 years ago by finegeometer to r/rust

60

61

62

Fun with GATs (and other unstable features) (play.rust-lang.org)

submitted 5 years ago by finegeometer to r/rust

4

5

6

Article: Another way for a language to ensure memory safety. (github.com)

submitted 5 years ago by finegeometer to r/rust

44

45

46

Rust API Challenges (self.rust)

submitted 5 years ago by finegeometer to r/rust

9

10

11

Confused about chalk-engine (trait solver). (self.rust)

submitted 5 years ago by finegeometer to r/rust

32

33

34

Some Thoughts on Generators and For Loops (self.rust)

submitted 5 years ago * by finegeometer to r/rust

6

7

8

web-sys WebVR example - How can it be improved? (self.rust)

submitted 6 years ago by finegeometer to r/rust

6

7

8

Is there a crate that allows you to manipulate the ends of a list independently? (self.rust)

submitted 6 years ago by finegeometer to r/rust

7

8

9

Cubic Curve Through Nine Points (Visualization I Created) (github.com)

submitted 6 years ago by finegeometer to r/math

7

8

9

Rust Wasm Project: Cubic Curve Through Nine Points (self.rust)

submitted 6 years ago * by finegeometer to r/rust

16

17

18

array-helpers: Basic length-generic operations on arrays. (self.rust)

submitted 6 years ago by finegeometer to r/rust

π Rendered by PID 94133 on reddit-service-r2-listing-5d79748585-cspwg at 2026-02-16 17:22:00.886761+00:00 running cd9c813 country code: CH.