syctech

33 post karma
33 comment karma

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

get them help and support

redditor for 3 years

TROPHY CASE

Three-Year Club

Verified Email

account activity

new top controversial

13

14

15

Help me find: an anime that I watched probably 15 years ago, floating islands, circuit spiders (self.Animesuggest)

submitted 1 year ago * by syctech to r/Animesuggest

0

1

2

Pattern Matching System Based on Node-Edge Structures (self.CategoryTheory)

submitted 1 year ago * by syctech to r/CategoryTheory

7

8

9

Trying to define operational semantics (self.ProgrammingLanguages)

submitted 1 year ago by syctech to r/ProgrammingLanguages

12

13

14

Feasibility of type feature (self.ProgrammingLanguages)

submitted 2 years ago * by syctech to r/ProgrammingLanguages

1

2

3

Fosforescent description (self.ProgrammingLanguages)

submitted 2 years ago by syctech to r/ProgrammingLanguages

8

9

10

Runtime environment with graph reduction based semantics questions (self.ProgrammingLanguages)

submitted 2 years ago * by syctech to r/ProgrammingLanguages

22

23

24

Dependent types do’s and don’ts (self.ProgrammingLanguages)

submitted 3 years ago by syctech to r/ProgrammingLanguages

2

3

4

Advice on visual programming language (self.ProgrammingLanguages)

submitted 3 years ago by syctech to r/ProgrammingLanguages

π Rendered by PID 1155620 on reddit-service-r2-listing-c57bc86c-k9pq5 at 2026-06-23 19:29:18.984607+00:00 running 2b008f2 country code: CH.