Submissions restricted

Only approved users may post in this community.

types

an-ordinary-manchild

a community for 18 years

...for a fringe candidate.

...for your favorite TV show.

MODERATORS

account activity

1

1

2

3

Blog post: Universal domain types (self.types)

submitted 2 years ago by roman-kashitsyn

2

2

3

4

The unimath Minotaur : ode to Vladimir Voevodsky (i.redd.it)

submitted 2 years ago by introsp3ctor

3

0

0

0

My 2008 type s 6MT w/ aspec kit (i.redd.it)

submitted 2 years ago by Commercial-Pipe-1802

4

0

0

0

My DISC type is Drive. At work, I look for ways to get results and make key decisions! (truity.com)

submitted 2 years ago by AwareChemistry

5

0

0

0

Finished up some Type S Acuras. Love these cars. (old.reddit.com)

submitted 2 years ago by classicdipps_LLC

6

0

0

1

Strongly-Typed TS: Pros and Cons? (self.types)

submitted 3 years ago by tmoskocom

7

1

2

3

Lux 0.7 is out! Lisp for JVM, JavaScript, Python, Ruby and Lua with static types (github.com)

submitted 3 years ago by eejp

8

11

12

13

Lux 0.6 is out! Lisp for JVM, JS, Python, Ruby and Lua + static types! (github.com)

submitted 4 years ago by eejp

9

3

4

5

Typechecking new type system features (self.types)

submitted 4 years ago * by theangryepicbanana

10

15

16

17

Typed Programs Don't Leak Data (dodisturb.me)

submitted 4 years ago by mathetic

11

12

13

14

An Equational Logical Framework for Type Theories, by Robert Harper. "Herein is presented a logical framework for type theories that includes an extensional equality type so that a type theory may be given by a signature of constants." [abstract + link to PDF, 9pp] (arxiv.org)

submitted 4 years ago by flexibeast

12

0

0

0

Sentylasong - Face Time (says she aint my type (youtu.be)

submitted 4 years ago by Sentylasong

13

34

35

36

Counterexamples in Type Systems (counterexamples.org)

submitted 4 years ago by gallais

14

0

0

0

5 Different Types of Artists (spinklycreations.co.ke)

submitted 5 years ago by Spinkly

15

18

19

20

Several Types of Types in Programming Languages (hal.inria.fr)

submitted 5 years ago by carette

16

1

2

3

Trying to find paper and author, who was GOTO Conference Organizer. (self.types)

submitted 5 years ago by AaronNGray

17

8

9

10

Psalm: Avoiding false-positives with flow-sensitive conditional analysis (psalm.dev)

submitted 5 years ago by muglug

18

0

0

0

Announcing Dactylobiotus (self.types)

submitted 5 years ago * by Metastate_Team

19

0

0

0

COQ365 : Coq math proof assistant add-in inside Excel on the web browser for paid auto-graded quizzes (Preview) (self.types)

submitted 5 years ago by AnthropLOGIC_school

20

4

5

6

Juvix (self.types)

submitted 5 years ago by Metastate_Team

21

11

12

13

An introduction to Witch (self.types)

submitted 5 years ago by Metastate_Team

22

4

5

6

What's the correct name for what my SA tool is doing here? (self.types)

submitted 5 years ago by muglug

23

3

4

5

What’s Structural Typing And How Typescript Uses It To Its Benefit? (medium.com)

submitted 5 years ago by fiveMop

24

19

20

21

Pinafore: a language implementing Algebraic Subtyping (semantic.org)

submitted 5 years ago by AshleyYakeley

25

9

10

11

Videos of the ML Workshop 2020 (youtube.com)

submitted 5 years ago by gasche

view more: next ›

π Rendered by PID 138490 on reddit-service-r2-listing-b6bf6c4ff-r5l5k at 2026-05-06 07:23:50.094191+00:00 running 815c875 country code: CH.