Account name:
Password
(OpenID?)
(Forgot it?)
Remember Me
You're viewing
juan_gandhi
's journal
Create a Dreamwidth Account
Learn More
Interest
Region
Site and Account
FAQ
Email
Reload page in style:
site
light
Observations
Views from Souths
logic timeline
logic timeline
Sep
.
18th
,
2020
08:18 am
juan_gandhi
Dana S. Scott, A Timeline for Logic, λ-Calculus, and Programming Language Theory
Threaded
|
Flat
no subject
Date:
2020-09-18 05:05 pm (UTC)
From:
sassa_nf
> Theorem. The category of T0-topological spaces with an equivalence
relation and continuous functions respecting equivalences
is cartesian closed.
so cool...
(no subject)
From:
juan_gandhi
-
Date:
2020-09-18 05:12 pm (UTC)
-
Expand
(no subject)
From:
sassa_nf
-
Date:
2020-09-18 05:38 pm (UTC)
-
Expand
no subject
Date:
2020-09-18 05:23 pm (UTC)
From:
vit_r
Почему у математиков так часто дикие проблемы с цветами и шрифтами. Конечно не то, что немецкие профессора иногда выдают, но всё-таки... :-/
(no subject)
From:
dmm
-
Date:
2020-09-18 07:09 pm (UTC)
-
Expand
(no subject)
From:
juan_gandhi
-
Date:
2020-09-18 08:15 pm (UTC)
-
Expand
(no subject)
From:
vit_r
-
Date:
2020-09-18 08:19 pm (UTC)
-
Expand
(no subject)
From:
dmm
-
Date:
2020-09-19 04:11 am (UTC)
-
Expand
(no subject)
From:
juan_gandhi
-
Date:
2020-09-19 04:24 am (UTC)
-
Expand
(no subject)
From:
dmm
-
Date:
2020-09-19 04:44 am (UTC)
-
Expand
(no subject)
From:
juan_gandhi
-
Date:
2020-09-19 05:37 am (UTC)
-
Expand
(no subject)
From:
dmm
-
Date:
2020-09-19 05:45 am (UTC)
-
Expand
(no subject)
From:
dmm
-
Date:
2020-09-19 04:49 am (UTC)
-
Expand
(no subject)
From:
dmm
-
Date:
2020-09-19 04:53 am (UTC)
-
Expand
(no subject)
From:
juan_gandhi
-
Date:
2020-09-19 05:35 am (UTC)
-
Expand
no subject
Date:
2020-09-18 07:03 pm (UTC)
From:
dmm
On the last slide, the item before last: "Functional Reactive Programming"
:-) This makes me pretty happy, as I think about "our approach to programming" as a version of functional reactive programming" :-)
16 comments
Reply
Threaded
|
Flat
Profile
Juan-Carlos Gandhi
patryshev.com
Recent Entries
Archive
Reading
Network
Tags
Memories
Profile
June
2025
S
M
T
W
T
F
S
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
Most Popular Tags
books
-
42 uses
categories
-
59 uses
code sample
-
54 uses
españa
-
48 uses
fp
-
120 uses
fprog
-
24 uses
france
-
74 uses
haskell
-
68 uses
idiocracy
-
40 uses
idiots
-
40 uses
java
-
111 uses
javascript
-
33 uses
life
-
25 uses
logic
-
38 uses
math
-
25 uses
monad
-
45 uses
monads
-
40 uses
philosophy
-
57 uses
politics
-
25 uses
propaganda
-
27 uses
scala
-
432 uses
types
-
24 uses
wtf
-
26 uses
ахинея
-
169 uses
бля
-
45 uses
вата
-
43 uses
ватоведение
-
127 uses
ватология
-
49 uses
дыбр
-
630 uses
жизнь
-
94 uses
идиоты
-
28 uses
искусство
-
57 uses
истории
-
69 uses
история
-
60 uses
кино
-
79 uses
культура
-
26 uses
литература
-
58 uses
логика
-
26 uses
новости
-
26 uses
политика
-
163 uses
программирование
-
29 uses
пропаганда
-
159 uses
россия
-
28 uses
русоведение
-
33 uses
русофобия
-
115 uses
толстой
-
32 uses
фигня
-
27 uses
философия
-
575 uses
франция
-
39 uses
языки
-
26 uses
Page Summary
sassa_nf
-
(no subject)
vit_r
-
(no subject)
dmm
-
(no subject)
Active Entries
1:
роботы помогают
2:
Глубоко копает человек
3:
почитал про Стерненко
4:
fucking claude.ai
Style Credit
Style:
Neutral Good
for
Practicality
by
timeasmymeasure
Expand Cut Tags
No cut tags
Page generated Jun. 10th, 2025 10:45 am
Powered by
Dreamwidth Studios
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasuretimeasmymeasure
no subject
Date: 2020-09-18 05:05 pm (UTC)relation and continuous functions respecting equivalences
is cartesian closed.
so cool...
(no subject)
From:(no subject)
From:no subject
Date: 2020-09-18 05:23 pm (UTC)(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:no subject
Date: 2020-09-18 07:03 pm (UTC):-) This makes me pretty happy, as I think about "our approach to programming" as a version of functional reactive programming" :-)