Logs: liberachat/#haskell
| 2025-11-11 23:22:40 | → | xff0x joins (~xff0x@2405:6580:b080:900:fdd3:5259:ca0:eb5c) |
| 2025-11-11 23:23:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-11 23:26:07 | × | LainIwakura quits (~LainIwaku@user/LainIwakura) (Quit: Client closed) |
| 2025-11-11 23:27:52 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2025-11-11 23:31:43 | × | haltingsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 2025-11-11 23:32:06 | → | haltingsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-11 23:34:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-11 23:35:17 | × | acarrico quits (~acarrico@pppoe-209-99-223-51.greenmountainaccess.net) (Ping timeout: 256 seconds) |
| 2025-11-11 23:39:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-11 23:41:14 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 2025-11-11 23:49:26 | × | DetourNetworkUK quits (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2025-11-11 23:50:57 | → | DetourNetworkUK joins (~DetourNet@user/DetourNetworkUK) |
| 2025-11-11 23:52:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-11 23:53:31 | × | xff0x quits (~xff0x@2405:6580:b080:900:fdd3:5259:ca0:eb5c) (Quit: xff0x) |
| 2025-11-11 23:55:50 | × | comonad quits (~comonad@2003:d0:2741:a000:c693:4c09:e8b4:6dfd) (Read error: Connection reset by peer) |
| 2025-11-11 23:56:07 | → | xff0x joins (~xff0x@2405:6580:b080:900:1fdc:c04d:3012:9e4) |
| 2025-11-11 23:56:16 | × | EvanR quits (~EvanR@user/evanr) (Quit: Leaving) |
| 2025-11-11 23:56:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-12 00:02:12 | → | comonad joins (~comonad@p200300d02741a000c6934c09e8b46dfd.dip0.t-ipconnect.de) |
| 2025-11-12 00:04:16 | × | deptype_ quits (~deptype@2406:b400:3a:73c2:7318:13e2:7262:b7a3) (Remote host closed the connection) |
| 2025-11-12 00:04:28 | → | deptype_ joins (~deptype@2406:b400:3a:73c2:a158:6fb5:5891:aa15) |
| 2025-11-12 00:07:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-12 00:08:50 | → | Zemy joins (~Zemy@2600:100c:b0a7:6e51:1cb1:caff:fe79:900b) |
| 2025-11-12 00:10:55 | × | Zemy_ quits (~Zemy@72.178.108.235) (Ping timeout: 240 seconds) |
| 2025-11-12 00:12:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-12 00:13:38 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2025-11-12 00:19:35 | → | Zemy_ joins (~Zemy@mobile-107-80-206-85.mycingular.net) |
| 2025-11-12 00:22:20 | × | Zemy quits (~Zemy@2600:100c:b0a7:6e51:1cb1:caff:fe79:900b) (Ping timeout: 256 seconds) |
| 2025-11-12 00:22:27 | → | Core5465 joins (~Zemy@2600:100c:b0a7:6e51:893:97ff:fef3:337a) |
| 2025-11-12 00:24:18 | × | deptype_ quits (~deptype@2406:b400:3a:73c2:a158:6fb5:5891:aa15) (Remote host closed the connection) |
| 2025-11-12 00:24:33 | → | deptype_ joins (~deptype@2406:b400:3a:73c2:e972:e1ac:37fa:5348) |
| 2025-11-12 00:26:18 | × | Zemy_ quits (~Zemy@mobile-107-80-206-85.mycingular.net) (Ping timeout: 256 seconds) |
| 2025-11-12 00:26:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-12 00:27:59 | → | Zemy joins (~Zemy@76.184.46.188) |
| 2025-11-12 00:31:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-12 00:31:24 | × | Core5465 quits (~Zemy@2600:100c:b0a7:6e51:893:97ff:fef3:337a) (Ping timeout: 256 seconds) |
| 2025-11-12 00:31:32 | → | Zemy_ joins (~Zemy@2600:100c:b0a7:6e51:c4c2:4ff:fe87:76e5) |
| 2025-11-12 00:34:25 | × | Zemy quits (~Zemy@76.184.46.188) (Ping timeout: 240 seconds) |
| 2025-11-12 00:34:59 | → | AlexNoo_ joins (~AlexNoo@5.139.233.178) |
| 2025-11-12 00:37:52 | × | AlexZenon quits (~alzenon@5.139.232.215) (Ping timeout: 246 seconds) |
| 2025-11-12 00:38:39 | × | AlexNoo quits (~AlexNoo@5.139.232.215) (Ping timeout: 252 seconds) |
| 2025-11-12 00:38:51 | → | john4 joins (~John@cpc157419-sotn14-2-0-cust964.15-1.cable.virginm.net) |
| 2025-11-12 00:39:25 | <john4> | hai |
| 2025-11-12 00:41:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-12 00:42:06 | <john4> | why Haskell bad type system |
| 2025-11-12 00:43:29 | → | solar joins (~sailor@82.222.122.165) |
| 2025-11-12 00:43:32 | <int-e> | why the confrontational premise |
| 2025-11-12 00:43:44 | <john4> | hello solar |
| 2025-11-12 00:43:48 | <john4> | it's me |
| 2025-11-12 00:43:51 | <john4> | Dio |
| 2025-11-12 00:44:05 | <john4> | because types aren't type safe |
| 2025-11-12 00:44:27 | <john4> | Unlike in good dependently typed languages with first class records *wink* |
| 2025-11-12 00:44:31 | <john4> | benim gardas |
| 2025-11-12 00:44:47 | <solar> | tamamdır |
| 2025-11-12 00:44:50 | × | deptype_ quits (~deptype@2406:b400:3a:73c2:e972:e1ac:37fa:5348) (Remote host closed the connection) |
| 2025-11-12 00:44:58 | <john4> | lmao |
| 2025-11-12 00:45:00 | <john4> | ozur |
| 2025-11-12 00:45:02 | <solar> | :))) |
| 2025-11-12 00:45:03 | → | deptype_ joins (~deptype@2406:b400:3a:73c2:38c9:be26:79f8:86b8) |
| 2025-11-12 00:45:20 | <solar> | i hate oop, xml, uml etc |
| 2025-11-12 00:45:27 | <john4> | amen |
| 2025-11-12 00:45:35 | <solar> | btw i'm not a type of declaretive programmer |
| 2025-11-12 00:45:58 | <solar> | just wanted to be see what u all talking |
| 2025-11-12 00:46:14 | <john4> | Sunu derim, Turing makinesi'yle lambda kalkulu ikisi de tam komputasyon modelleri |
| 2025-11-12 00:46:16 | × | acidjnk quits (~acidjnk@p200300d6e7171989dd8db5c7ed4575d8.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2025-11-12 00:46:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-12 00:46:29 | <solar> | hahaha ıbdsaıhbıw biliyorum biliyorum |
| 2025-11-12 00:46:35 | <solar> | sen hiç elm dilini duydun mu? |
| 2025-11-12 00:46:42 | <john4> | duydum |
| 2025-11-12 00:46:43 | <solar> | web development yapabilirsin |
| 2025-11-12 00:46:47 | → | acidjnk joins (~acidjnk@p200300d6e7171961bd4b6122a2993081.dip0.t-ipconnect.de) |
| 2025-11-12 00:46:52 | <john4> | FRP'ye dalarken |
| 2025-11-12 00:47:28 | <john4> | bilmem, J*vascript egilimi var gibi geldi de, ama tekrar bi bakarim |
| 2025-11-12 00:48:02 | <solar> | elixir ve phoenix framework u ile de web development yapılabilir çok güçlü aletler |
| 2025-11-12 00:48:21 | <solar> | herkes bi gün erlang sanal makinesinin değerini bilecek! |
| 2025-11-12 00:48:35 | → | AlexZenon joins (~alzenon@5.139.233.178) |
| 2025-11-12 00:49:01 | <solar> | couchdb de erlang üzeri çalışıyor diye hatırlıyorum |
| 2025-11-12 00:49:06 | <john4> | heh, bir gun herkez dizi bukecek diyon |
| 2025-11-12 00:49:48 | <john4> | erlang sanirim duydum da hic dogru duzgun bakmadim |
| 2025-11-12 00:50:14 | <solar> | tele komünikasyon firmalarının gözdesi |
| 2025-11-12 00:50:45 | <solar> | ulike i said before, i'm not a declaretive programmer not some OOP fanboy either |
| 2025-11-12 00:51:16 | <solar> | love the pointer system of golang |
| 2025-11-12 00:51:32 | <john4> | errors as values eh? |
| 2025-11-12 00:51:35 | <solar> | this is the real purity |
| 2025-11-12 00:51:41 | <solar> | idk |
| 2025-11-12 00:52:07 | <john4> | heh, aslinda sey |
| 2025-11-12 00:52:17 | <solar> | evet? |
| 2025-11-12 00:52:24 | <john4> | Fonksiyonel progrmalamayi sevme sebebim cogunlukla matematikten |
| 2025-11-12 00:52:33 | <john4> | Curry-Howard'dan duydun mu? |
| 2025-11-12 00:52:55 | <solar> | tanımıyorum |
| 2025-11-12 00:53:23 | <solar> | daha çok analitik tipte bir matematik tecihimdir, fazla komplike işlemler beynimi yakıyor |
| 2025-11-12 00:53:26 | <solar> | basit olmalı |
| 2025-11-12 00:53:50 | × | trickard quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-12 00:54:03 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-12 00:54:06 | <john4> | Programlamayla mantigi farkli kurallar ve degerlerle ayni seyi yaptiginin adi |
| 2025-11-12 00:54:18 | <john4> | yani gizlice es seyler |
| 2025-11-12 00:54:27 | <solar> | bu doğru sadece "aynı şey" pek benlik değil |
| 2025-11-12 00:54:29 | × | Tuplanolla quits (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-11-12 00:54:34 | <solar> | 0101010 lerin mantık çorbası |
| 2025-11-12 00:55:14 | <john4> | kafayi iyice karistiriyo mu diyon |
All times are in UTC.