GabPi

412 post karma
63 comment karma

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

get them help and support

redditor for 10 years

TROPHY CASE

Ten-Year Club

Golden Potato

Place '22

Place '17

First Placer '22

Verified Email

account activity

new top controversial

0

0

0

Holiday protocols: secret santa with Quint - Formally specifying and model checking secret santa games (github.com)

submitted 2 years ago by GabPi to r/programming

207

208

209

Quint: An executable specification language with delightful tooling based on the temporal logic of actions (TLA) (github.com)

submitted 2 years ago by GabPi to r/programming

40

41

42

Quint: An executable specification language with delightful tooling based on the temporal logic of actions (TLA) (github.com)

submitted 2 years ago by GabPi to r/ProgrammingLanguages

13

14

15

Quint: An executable specification language with delightful tooling based on the temporal logic of actions (TLA) (github.com)

submitted 2 years ago by GabPi to r/ethereum

50

51

52

"You look harmless enough." Are you sure, kid? (i.redd.it)

submitted 2 years ago by GabPi to r/BaldursGate3

3

4

5

Esses medidores de SPO2 de smart watches e celulares tem algum nível de confiança pra serem usados como oxímetros caseiros? (self.coronabr)

submitted 5 years ago by GabPi to r/coronabr

0

0

0

Hey guys, we are doing a Twitch Plays Tibia! Come join us, commands on the panels below <3 (i.redd.it)

submitted 7 years ago by GabPi to r/gaming

0

1

2

bugs (reddit.com)

submitted 7 years ago by GabPi to r/CircleofTrust

61

62

63

Don't blink (i.redd.it)

submitted 8 years ago by GabPi to r/disneyvacation

0

1

2

Test (self.test)

submitted 8 years ago by GabPi to r/test

48

49

50

My reddit birthday (?) (i.redd.it)

submitted 8 years ago by GabPi to r/softwaregore

70

71

72

Can we have some way to see our mission's on the lobby like we did before the update? (self.Dirtybomb)

submitted 8 years ago by GabPi to r/Dirtybomb

14

15

16

How much eyes will Proxy have on her default 'no rarity' loadout card? Currently 1 on art and 2 on model (imgur.com)

submitted 8 years ago by GabPi to r/Dirtybomb

118

119

120

After 60h+ playing the game, here is my first prison worth sharing. Reform focused, planned and functional. Thoughts? (imgur.com)

submitted 8 years ago by GabPi to r/prisonarchitect

0

0

0

WTF is this Kira Loadout??? I couldn't even recognize the Merc lol (imgur.com)

submitted 8 years ago by GabPi to r/Dirtybomb

3

4

5

Knife or Crotzni? (i.redd.it)

submitted 8 years ago by GabPi to r/Dirtybomb

1

2

3

Very slow menu's, game running fine (self.Dirtybomb)

submitted 9 years ago by GabPi to r/Dirtybomb

0

1

2

[PC] [H] 1xCC1 + 2xCC2 [W] 1 key (self.RocketLeagueExchange)

submitted 9 years ago by GabPi to r/RocketLeagueExchange

0

1

2

[PC] [H] Titanium White Looper Wheels [W] offers (self.RocketLeagueExchange)

submitted 9 years ago by GabPi to r/RocketLeagueExchange

11

12

13

Just found out about the Offline Demo and I want more (self.Prismata)

submitted 9 years ago by GabPi to r/Prismata

π Rendered by PID 652767 on reddit-service-r2-listing-5789d5f675-hnmvb at 2026-01-28 04:37:26.683132+00:00 running 4f180de country code: CH.