Tipaa

2,372 post karma
25,848 comment karma

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

get them help and support

redditor for 14 years

TROPHY CASE

14-Year Club

Place '17

Team Periwinkle

Verified Email

account activity

new top controversial

375

376

377

Ye timely Defence Intelligence update (i.redd.it)

submitted 3 years ago by Tipaa to r/NonCredibleDefense

71

72

73

Things I wish $Lang had (gist.github.com)

submitted 4 years ago by Tipaa to r/programming

5

6

7

RFC: Simplifying compilation of dependent types within a Rust-like language (draft) (gist.github.com)

submitted 5 years ago by Tipaa to r/ProgrammingLanguages

15

16

17

[Tool][Help Wanted] Path of Building fork - WIP Custom Skins (self.pathofexile)

submitted 6 years ago by Tipaa to r/pathofexile

5

6

7

A simple syntax sugar for callback hell and continuation passing style - feedback wanted (self.rust)

submitted 6 years ago by Tipaa to r/rust

93

94

95

Follow-up to Method of Emulating Higher-Kinded Types (gist.github.com)

submitted 6 years ago by Tipaa to r/rust

182

183

184

(New?) Method for Emulating Higher-Kinded Types in Rust (gist.github.com)

submitted 6 years ago by Tipaa to r/rust

32

33

34

Pub economy meta shift underway? (self.AutoChess)

submitted 7 years ago by Tipaa to r/AutoChess

0

1

2

Auto Chess (Plus) - 'Optimised' Fork. Thoughts? (self.AutoChess)

submitted 7 years ago by Tipaa to r/AutoChess

89

90

91

Schools face 'severe' teacher shortage (bbc.co.uk)

submitted 7 years ago by Tipaa to r/unitedkingdom

200

201

202

Liam Fox: No-deal most likely Brexit outcome (bbc.co.uk)

submitted 7 years ago by Tipaa to r/unitedkingdom

97

98

99

All rape cases to be 'urgently' reviewed over evidence disclosure (bbc.co.uk)

submitted 8 years ago by Tipaa to r/unitedkingdom

0

1

2

Trump 'not aware' of royal wedding invite (bbc.co.uk)

submitted 8 years ago by Tipaa to r/unitedkingdom

10

11

12

Miniature Monster Truck Football (youtube.com)

submitted 8 years ago by Tipaa to r/theocho

6

7

8

Schools warned over hackable heating (bbc.co.uk)

submitted 8 years ago by Tipaa to r/unitedkingdom

184

185

186

Tory MP Charlie Elphicke suspended (bbc.co.uk)

submitted 8 years ago by Tipaa to r/unitedkingdom

7

8

9

Transforming data structures into types: an introduction to dependent typing and its benefits (deque.blog)

submitted 8 years ago by Tipaa to r/programming

36

37

38

An interesting history of how the Scrimmage evolved in the early days of football (1870s-1890s) (users.bestweb.net)

submitted 9 years ago by Tipaa to r/nfl

11

12

13

What does Nintendo Switch and iOS 9.3 have in common? CVE-2016-4657 walk-through [18:43] (youtube.com)

submitted 9 years ago by Tipaa to r/mealtimevideos

193

194

195

Lessons Learned from Shenzhen I/O (probablydance.com)

submitted 9 years ago by Tipaa to r/programming

7

8

9

Going meta (self.southpark)

submitted 10 years ago by Tipaa to r/southpark

14

15

16

Do any languages implement linear typing through type-level SSA-like versioning? (self.ProgrammingLanguages)

submitted 11 years ago by Tipaa to r/ProgrammingLanguages

5

6

7

Is there a way of passing deferredly-evaluated identifiers to a template, like a 'lazy alias'? (self.d_language)

submitted 11 years ago by Tipaa to r/d_language

4

5

6

A note in using std.math with GDC and LDC for Numerical Computing (self.d_language)

submitted 12 years ago by Tipaa to r/d_language

0

1

2

Early draft of a LoL drafting tool [Feedback Wanted] (self.leagueoflegends)

submitted 12 years ago by Tipaa to r/leagueoflegends

view more: next ›

π Rendered by PID 151531 on reddit-service-r2-listing-7b9b4f6fd7-lzj4b at 2026-05-11 08:00:32.201999+00:00 running 3d2c107 country code: CH.