!OhIqpkyOYphwciwUwE:matrix.org

F-Sharp

51 Members
F# programming language17 Servers

Load older messages


Timestamp Message
19 Dec 2019
11:15:56@murphy_tcc:matrix.orgmurphyAlthough Kotlin is pretty similar to F# in that is allows combining functional and object-oriented concepts freely.
11:17:30@zerotrustzone:matrix.orgzerotrustzoneYes, I have noticed the similarities there.
11:19:10@murphy_tcc:matrix.orgmurphyHeck, the insight that OOP is not the right solution for everything is even reaching the C++ and Java communities – C++11 and Java 8 have lambda expressions now, it took only four decades to take over the concept from LISP ;-)
11:19:47@zerotrustzone:matrix.orgzerotrustzoneYes, yes, I have read about it.
11:20:13@zerotrustzone:matrix.orgzerotrustzoneDon't want (probably) to make money as professional developer though, I'm just playing with it in my free time.
11:20:43@zerotrustzone:matrix.orgzerotrustzoneAnd now I have a vacation (I have angina & I'm on antibiotics), so there's a lot of time to read / play.
11:21:54@murphy_tcc:matrix.orgmurphyOuch, I hope you get well soon, even though I wouldn't want to cut short your play time :-P
11:22:48@zerotrustzone:matrix.orgzerotrustzoneThanks, I'm just sick, tired and overworked - and here are the consequences of my hectic lifestyle, I should expect that.
11:41:23@murphy_tcc:matrix.orgmurphyConcerning encrypted messengers, I wonder why no system uses something like PGP's web of trust to verify identity keys. Or maybe there is such a system and I just don't know it.
11:43:13@murphy_tcc:matrix.orgmurphyBut I think with a central directory of public keys and many connections between the communicating parties, verifying keys using signatures from already trusted parties should work quite well.
11:45:33@murphy_tcc:matrix.orgmurphyAt least it would get rid of the problem that, in Matrix for example, you have to manually verify every combination of keys between all the devices each party is using just to fully secure a one-on-one chat. For two persons who each use, say, a smartphone, a work computer and a home computer, that's already quite annoying.
16:22:37@gadrev:matrix.orggadrev joined the room.
23:05:43@nicola:privacytools.ionicola joined the room.
20 Dec 2019
12:22:55@duquedeturing:matrix.orgduquedeturing joined the room.
24 Dec 2019
14:38:19@stefan:potatofrom.spacestefan joined the room.
20:14:53@damnesia:matrix.orgdamnesia joined the room.
26 Dec 2019
13:18:45@jason:nerdsin.spacejason joined the room.
13:38:25@michail:ru-matrix.orgmichail joined the room.
27 Dec 2019
09:49:35@antoine:hackerspaces.beantoine joined the room.
31 Dec 2019
01:42:57@kunigunde:kde.orgkunigunde joined the room.
4 Jan 2020
00:53:07@damnesia:matrix.orgdamnesia changed their profile picture.
07:08:59@damnesia:matrix.orgdamnesia changed their profile picture.
7 Jan 2020
11:13:55@friedrich:matrix.kiwifarms.netfriedrich joined the room.
17:27:52@alexandros:asra.gralexandros joined the room.
21:22:18@mateo:matrix.ordoevangelistarum.commateo joined the room.
8 Jan 2020
23:40:27@frederike:feneas.orgfrederike joined the room.
11 Jan 2020
22:24:42@olaf:chat.weho.stolaf joined the room.
16 Jan 2020
19:25:15@hopar:matrix.orghopar joined the room.
24 Jan 2020
05:23:14@damnesia:matrix.orgdamnesia removed their profile picture.
05:33:24@damnesia:matrix.orgdamnesia set a profile picture.

There are no newer messages yet.


Back to Room List