Newest at the top
2024-10-15 13:18:35 +0200 | petrichor | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-10-15 13:18:07 +0200 | gentauro | (~gentauro@user/gentauro) (Ping timeout: 264 seconds) |
2024-10-15 13:11:57 +0200 | rdcdr | (~rdcdr@user/rdcdr) rdcdr |
2024-10-15 13:11:31 +0200 | rdcdr_ | (~rdcdr@97-113-202-179.tukw.qwest.net) (Ping timeout: 264 seconds) |
2024-10-15 13:09:24 +0200 | petrichor | (~znc-user@user/petrichor) petrichor |
2024-10-15 13:09:21 +0200 | Athas | (athas@sigkill.dk) |
2024-10-15 13:07:53 +0200 | rdcdr | (~rdcdr@user/rdcdr) (Ping timeout: 245 seconds) |
2024-10-15 13:07:51 +0200 | <Leonard26> | Thank you :] |
2024-10-15 13:06:57 +0200 | rdcdr_ | (~rdcdr@97-113-202-179.tukw.qwest.net) |
2024-10-15 13:06:56 +0200 | athan | (~athan@syn-173-042-095-241.biz.spectrum.com) (Ping timeout: 252 seconds) |
2024-10-15 13:06:15 +0200 | euleritian | (~euleritia@dynamic-176-000-146-080.176.0.pool.telefonica.de) (Ping timeout: 246 seconds) |
2024-10-15 13:03:50 +0200 | <tomsmeding> | (like `struct` in C creates a new type that is distinct from all other types) |
2024-10-15 13:03:39 +0200 | <tomsmeding> | note that this is different from `newtype` and `data`, which create actual new _types_ that are distinct for all other types |
2024-10-15 13:03:38 +0200 | shryke | (~shryke@91.103.43.254) shryke |
2024-10-15 13:02:44 +0200 | <tomsmeding> | these can have parameters too: `type T a = Maybe [a]`, for example |
2024-10-15 13:02:37 +0200 | caconym | (~caconym@user/caconym) caconym |
2024-10-15 13:02:29 +0200 | <tomsmeding> | Leonard26: for a simple type alias, you can use `type T = Maybe Int` |
2024-10-15 13:00:05 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
2024-10-15 12:59:55 +0200 | athan | (~athan@syn-173-042-095-241.biz.spectrum.com) athan |
2024-10-15 12:59:31 +0200 | synchromesh | (~john@2406:5a00:2497:300:acce:5ad8:3e10:a59d) synchromesh |
2024-10-15 12:59:30 +0200 | <Leonard26> | I was wondering if you could give me an example of how to translate a 'type def' from C/C++ to Haskell? I'm currently working with a language binding and I need to use a 'type def' but I'm having some trouble :/ |
2024-10-15 12:59:30 +0200 | <Leonard26> | Hello everyone! How are you? :] |
2024-10-15 12:59:25 +0200 | petrichor | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-10-15 12:58:36 +0200 | synchromesh | (~john@2406:5a00:2497:300:acce:5ad8:3e10:a59d) (Read error: Connection reset by peer) |
2024-10-15 12:57:15 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
2024-10-15 12:56:01 +0200 | Leonard26 | (~Leonard26@49.236.10.26) |
2024-10-15 12:54:05 +0200 | CiaoSen | (~Jura@2a05:5800:211:b700:ca4b:d6ff:fec1:99da) (Ping timeout: 252 seconds) |
2024-10-15 12:52:14 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2024-10-15 12:48:38 +0200 | <tomsmeding> | also mreh I guess |
2024-10-15 12:48:14 +0200 | <tomsmeding> | but it will need to run ~continuously for things to work smoothly |
2024-10-15 12:47:59 +0200 | <tomsmeding> | you can also self-host a matrix server |
2024-10-15 12:47:24 +0200 | <tomsmeding> | (by having access to the database and such) |
2024-10-15 12:47:12 +0200 | <tomsmeding> | while of course in actuality it does, because a server has a server owner, and they have powers over your account |
2024-10-15 12:46:54 +0200 | <tomsmeding> | so yes, they do, so it "does not matter" which server you create an account on |
2024-10-15 12:46:27 +0200 | <tomsmeding> | lxsameer: the whole point of matrix is that it federates ;) |
2024-10-15 12:44:40 +0200 | __monty__ | (~toonn@user/toonn) toonn |
2024-10-15 12:39:36 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 276 seconds) |
2024-10-15 12:35:33 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) (Ping timeout: 248 seconds) |
2024-10-15 12:33:13 +0200 | <mreh> | gitter.im moved over to matrix, nice |
2024-10-15 12:29:25 +0200 | <lxsameer> | merijn: those are users who joined, not online users |
2024-10-15 12:28:08 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
2024-10-15 12:28:02 +0200 | <mreh> | There are 3k people in #haskell:matrix.org |
2024-10-15 12:27:00 +0200 | <mreh> | I should have said "Haskell space" instead of "room" I think |
2024-10-15 12:24:45 +0200 | Athas | (athas@sigkill.dk) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-10-15 12:23:42 +0200 | <mreh> | I'm pretty new to Matrix |
2024-10-15 12:23:36 +0200 | <mreh> | I don't know. I just found this page https://view.matrix.org/room/!pZFfqwPvNuLROTqRRy:matrix.org/servers |
2024-10-15 12:23:18 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
2024-10-15 12:21:46 +0200 | <lxsameer> | mreh: I don't think matrix servers can federate? can they? |
2024-10-15 12:18:47 +0200 | <mreh> | matrix.org seems to have the most members in the Haskell room |
2024-10-15 12:18:31 +0200 | <mreh> | isn't it decentralised? |