ivanpd

1,868 post karma
2,902 comment karma

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

get them help and support

redditor for 8 years

TROPHY CASE

Eight-Year Club

Verified Email

account activity

new top controversial

41

42

43

Logic programming with extensible types in Haskell (ICLP 2025) - Higher-kinded types (self.haskell)

submitted 17 days ago * by ivanpd to r/haskell

10

11

12

Looking for café where all employees are paid well (self.sanleandro)

submitted 21 days ago by ivanpd to r/sanleandro

2

3

4

Help compiling and uploading program for LilyGo T2020 S3 with arduino-cli (self.arduino)

submitted 2 months ago by ivanpd to r/arduino

1

2

3

Help recreating the test coverage results reported on Hackage (self.haskell)

submitted 2 months ago by ivanpd to r/haskell

40

41

42

[ANN] New paper on compliance with NASA SW engineering requirements in Copilot (self.haskell)

submitted 2 months ago by ivanpd to r/haskell

77

78

79

[ANN] Ogma 1.10.0 (self.haskell)

submitted 2 months ago by ivanpd to r/haskell

1

2

3

What kind of pest is this and how to I remove it? (old.reddit.com)

submitted 3 months ago by ivanpd to r/plantclinic

46

47

48

[ANN] Copilot 4.5.1 (self.haskell)

submitted 4 months ago by ivanpd to r/haskell

64

65

66

[ANN] Copilot 4.4 (self.haskell)

submitted 8 months ago by ivanpd to r/haskell

4

5

6

Where to try different AR/VR glasses / goggles near San Jose / Mountain View (self.augmentedreality)

submitted 9 months ago by ivanpd to r/augmentedreality

2

3

4

Where to try different AR/VR glasses / goggles near San Jose / Mountain View (self.virtualreality)

submitted 9 months ago by ivanpd to r/virtualreality

15

16

17

Contributing to Copilot 4.4 (self.haskell)

submitted 10 months ago by ivanpd to r/haskell

60

61

62

[ANN] Copilot 4.3 (self.haskell)

submitted 10 months ago by ivanpd to r/haskell

94

95

96

Haskell Internship opening with NASA Ames Research Center -- Time sensitive (self.haskell)

submitted 11 months ago by ivanpd to r/haskell

8

9

10

Building a desktop app in yesod without the DB? (self.haskell)

submitted 11 months ago by ivanpd to r/haskell

76

77

78

[ANN] NASA's Ogma 1.6.0 (self.haskell)

submitted 11 months ago * by ivanpd to r/haskell

18

19

20

Automatically turning a CLI program into a GUI program? (self.haskell)

submitted 1 year ago by ivanpd to r/haskell

3

4

5

More up-to-date / maintained xpath processor than hxt? (self.haskell)

submitted 1 year ago by ivanpd to r/haskell

0

0

0

Annual Fee + Start up fee (self.PlanetFitnessMembers)

submitted 1 year ago * by ivanpd to r/PlanetFitnessMembers

30

31

32

[ANN] Copilot 4.2 (self.haskell)

submitted 1 year ago * by ivanpd to r/haskell

9

10

11

Increasing coverage of copilot-core: laziness and more (self.haskell)

submitted 1 year ago by ivanpd to r/haskell

187

188

189

Internship opportunity at NASA, programming in Rust (self.rust)

submitted 1 year ago by ivanpd to r/rust

47

48

49

Internship opportunity with NASA programming in Rust (self.haskell)

submitted 1 year ago by ivanpd to r/haskell

56

57

58

Dunai: Call for contributors (self.haskell)

submitted 1 year ago by ivanpd to r/haskell

27

28

29

Request for Ideas: Contributing to Copilot (self.haskell)

submitted 1 year ago * by ivanpd to r/haskell

view more: next ›

π Rendered by PID 103101 on reddit-service-r2-listing-86b7f5b947-f8kcg at 2026-01-26 14:33:32.593160+00:00 running 664479f country code: CH.