?

Interests

Try searching posts and comments with the new LiveJournal text search

Find people and communities interested in:
 
Modify your interests based on those of:
 
 

Results for communities interested in "type theory"

5 matches:

  • welovegeeks - Girls who like geeks (Updated 5 years ago)
  • geekadelaide - Geek Adelaide (Updated 6 years ago)
  • lovingeekladies - We love "Geeky", intelligent, and learned Girls! (Updated 6 years ago)
  • cmu_pl - CMU Programming Languages Blog (Updated 10 years ago)
  • declarative - Declarative Programming Languages (Updated 10 years ago)

Results for users interested in "type theory"

More fun stuff can be found on the interests page.

43 matches:


potan userpic
potan
Name:Mike Potanin
Updated 2 months ago
deni_ok userpic
deni_ok
Name:Долой кровавую ведьму!
Updated 4 months ago
luinied userpic
luinied
Name:[not pictured]
Journal:Careless and mistaken
Updated 5 months ago
jcreed userpic
jcreed
Name:Jason
Journal:Notes from a Medium-Sized Island
Updated 1 year ago
roseandsigil userpic
roseandsigil
Name:mkehrt
Journal:et facta est lux
Updated 1 year ago
maradydd userpic
maradydd
Name:Meredith L. Patterson
Journal:Radio Free Meredith
Updated 1 year ago
sstrickl userpic
sstrickl
Name:Stevie
Updated 2 years ago
yady userpic
yady
Name:Yady
Updated 3 years ago
a_dodecahedron userpic
a_dodecahedron
Name:John
Journal:YOUR HEAD A SPLODE
Updated 3 years ago
atheorist userpic
atheorist
Name:atheorist
Journal:Idle Speculations
Updated 3 years ago
twinofmunin userpic
twinofmunin
Name:car / hugin
Journal:hugin
Updated 4 years ago
no default userpic
titivillus
Name:Matt
Journal:Titivillus
Updated 4 years ago
annodomini userpic
annodomini
Name:Brian
Journal:Geekery
Updated 4 years ago
adi_stass userpic
adi_stass
Name:Adi Stass
Journal:Adi's Rest
Updated 5 years ago
ekorber userpic
ekorber
Name:Erin
Journal:I never post here.
Updated 5 years ago
shae userpic
shae
Name:Shae Erisson
Journal:The Revenge of the Anti-Penguin
Updated 5 years ago
slaught userpic
slaught
Name:Chad
Updated 6 years ago
extensionality userpic
extensionality
Name:extensionality
Journal:you're only what's inside of you
Updated 6 years ago
no default userpic
speleologic
Name:speleologic
Updated 7 years ago
math_foo userpic
math_foo
Name:math_foo
Journal:A Foo's Reflections
Updated 7 years ago
brainyb userpic
brainyb
Name:brainyblonde
Journal:Brainy Blog
Updated 7 years ago
neonelephant userpic
neonelephant
Name:Andrew
Journal:On at least one side
Updated 8 years ago
apm userpic
apm
Name:apm
Journal:c is for cookie, but that is insufficient
Updated 8 years ago
contextfree userpic
contextfree
Name:Context-free journal
Updated 8 years ago
etopiei userpic
etopiei
Name:mBrewer
Updated 8 years ago
mm_kalkin userpic
mm_kalkin
Name:damn hippie
Journal:Никогда не знаешь, где тебе повезёт.
Updated 9 years ago
adamch userpic
adamch
Name:Adam Chlipala
Updated 9 years ago
no default userpic
wiwzik
Name:wiwzik
Journal:Написание программ на Прологе
Updated 9 years ago
no default userpic
lambdageek
Name:Aleksey
Journal:Lambdageek.org/aleksey/journal
Updated 10 years ago
citylight userpic
citylight
Name:Matthew Willson
Journal:Citylight journal
Updated 10 years ago
ford_t userpic
ford_t
Name:Ford
Updated 10 years ago
no default userpic
neelk
Name:neelk
Updated 10 years ago
lambda_man userpic
lambda_man
Name:lambda_man
Journal:Rand ()
Updated 11 years ago
joecat userpic
joecat
Name:joecat
Journal:Joecat
Updated 11 years ago
no default userpic
scook0
Name:scook0
Updated 11 years ago
no default userpic
huge_bear
Name:Michael S.
Updated 12 years ago
mauhuur userpic
mauhuur
Name:mauhuur
Updated 12 years ago
0x00 userpic
0x00
Name:NULL
Journal:char journal[] = "\x00"
Updated 12 years ago
nascent_theory userpic
nascent_theory
Name:r. r. williams
Updated 13 years ago
no default userpic
trustedmech
Name:trustedmech
Updated 13 years ago
efp userpic
efp
Name:Elias Ponvert
Journal:The Philosopher's Corner
Updated 13 years ago
ext_1310628 userpic
Stephan Boyer
Name:Stephan Boyer
Never updated
ext_831224 userpic
Alexander Gryzlov
Name:Alexander Gryzlov
Never updated