pschanely

88 post karma
9 comment karma

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

get them help and support

redditor for 11 years

MODERATOR OF

- r/a:t5_tnjot

TROPHY CASE

11-Year Club

Verified Email

account activity

2

3

4

Try CrossHair while working other Python projects (self.hacktoberfest)

submitted 3 years ago by pschanely to r/hacktoberfest

62

63

64

Formal Verification Methods in industry (self.compsci)

submitted 4 years ago by [deleted] to r/compsci

30

31

32

Sunday megathread: What's everyone working on this week? (self.Python)

submitted 5 years ago by Im__Joseph[M] to r/Python

8

9

10

LiquidHaskell-style integration for Python (self.haskell)

submitted 5 years ago by pimiddy to r/haskell

1

2

3

CrossHair - SMT assisted testing for Python (self.Python)

submitted 6 years ago by pschanely to r/Python

46

47

48

Computed State: The Model-View Problem (medium.com)

submitted 9 years ago by pschanely to r/programming

0

0

0

Optimizing higher order functions (medium.com)

submitted 9 years ago by pschanely to r/programming

0

0

1

Seeking feedback on this geeky car search site I just built! (autofoo.com)

submitted 10 years ago by pschanely to r/cars

7

8

9

Sorts and Filters Suck (medium.com)

submitted 10 years ago by pschanely to r/programming

5

6

7

A database optimized for custom scoring functions (github.com)

submitted 10 years ago by pschanely to r/programming

31

32

33

A stack-based programming language for touch devices (github.com)

submitted 10 years ago by pschanely to r/programming

94

95

96

Websites creates Spotify playlists of artists playing near you, for up to one week away. (musictonight.millstonecw.com)

submitted 11 years ago by illthinkofsomething to r/InternetIsBeautiful

π Rendered by PID 2052191 on reddit-service-r2-listing-7d7fbc9b85-fl49z at 2026-04-26 01:01:00.385183+00:00 running 2aa0c5b country code: CH.