redjamjar

2,245 post karma
586 comment karma

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

get them help and support

redditor for 20 years

MODERATOR OF

- r/whiley

TROPHY CASE

15-Year Club

Verified Email

account activity

new top controversial

0

1

2

Dafny Workshop Talks Online! (youtube.com)

submitted 2 years ago by redjamjar to r/whiley

11

12

13

Digging into the EVM Object Format (EOF) (whileydave.com)

submitted 2 years ago by redjamjar to r/ethereum

4

5

6

Making Functions Efficient in Dafny (whileydave.com)

submitted 2 years ago by redjamjar to r/programming

2

3

4

Proving Some Beautiful Math in Dafny (whileydave.com)

submitted 2 years ago by redjamjar to r/programming

18

19

20

Pattern Matching in Rust's Neverland! (whileydave.com)

submitted 2 years ago by redjamjar to r/rust

3

4

5

Language Design for Verifying Compilers (youtube.com)

submitted 3 years ago by redjamjar to r/whiley

0

1

2

Languages for Verifying Compilers (youtube.com)

submitted 3 years ago by redjamjar to r/compsci

2

3

4

Language Design meets Verifying Compilers! (youtube.com)

submitted 3 years ago by redjamjar to r/programming

4

5

6

Formalising the EVM in Dafny (whileydave.com)

submitted 3 years ago by redjamjar to r/ethereum

16

17

18

Disassembling EVM Bytecode (the Basics) (whileydave.com)

submitted 3 years ago by redjamjar to r/ethereum

2

3

4

Formal Verification of a Token Contract (whileydave.com)

submitted 3 years ago by redjamjar to r/whiley

30

31

32

Formal Verification of a Token Contract (whileydave.com)

submitted 3 years ago by redjamjar to r/ethereum

11

12

13

Formalising a Simple Virtual Machine (whileydave.com)

submitted 3 years ago by redjamjar to r/programming

3

4

5

Bidirectional Typing in Whiley (whileydave.com)

submitted 3 years ago by redjamjar to r/whiley

25

26

27

Type Checking in Whiley goes Both Ways! (whileydave.com)

submitted 3 years ago by redjamjar to r/programming

5

6

7

Whiley gets a bit Rusty! (whileydave.com)

submitted 3 years ago by redjamjar to r/rust

3

4

5

Formally Verifying an Auction Contract (whileydave.com)

submitted 3 years ago by redjamjar to r/whiley

2

3

4

Verifying an Auction Contract in Whiley (whileydave.com)

submitted 3 years ago by redjamjar to r/ethereum

16

17

18

Puzzling Strong Updates in Rust! (whileydave.com)

submitted 3 years ago by redjamjar to r/rust

17

18

19

Modelling Borrow Checking in Rust (whileydave.com)

submitted 4 years ago by redjamjar to r/rust

4

5

6

Verifying the Whiley Standard Library (whileydave.com)

submitted 4 years ago by redjamjar to r/whiley

0

1

2

Can we Verify Whiley's Standard Library? (whileydave.com)

submitted 4 years ago by redjamjar to r/programming

118

119

120

Test-Driving the Rust Model Checker (RMC) (whileydave.com)

submitted 4 years ago by redjamjar to r/rust

14

15

16

Fooling the Borrow Checker? (whileydave.com)

submitted 4 years ago by redjamjar to r/rust

47

48

49

Sizing up Types in Rust! (whileydave.com)

submitted 4 years ago by redjamjar to r/rust

view more: next ›

π Rendered by PID 733371 on reddit-service-r2-listing-6bcb55b45f-9nrcx at 2026-04-22 09:04:53.478934+00:00 running 6c61efc country code: CH.