Logs: liberachat/#haskell
| 2026-01-23 18:06:34 | <bwe> | Axman6, mauke: is any code of your examples you mentioned online by any chance? |
| 2026-01-23 18:07:52 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 2026-01-23 18:14:53 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-01-23 18:16:52 | → | Zemy_ joins (~Zemy@mobile-107-80-206-24.mycingular.net) |
| 2026-01-23 18:17:46 | → | Core9513 joins (~Zemy@mobile-107-80-206-24.mycingular.net) |
| 2026-01-23 18:19:52 | → | Core1640 joins (~Zemy@mobile-107-80-206-24.mycingular.net) |
| 2026-01-23 18:20:16 | × | Zemy quits (~Zemy@2600:100c:b0a7:500d:387b:fdff:feb0:4a62) (Ping timeout: 246 seconds) |
| 2026-01-23 18:20:55 | → | Zemy joins (~Zemy@2600:100c:b0a7:500d:1cb1:d0ff:fe86:a54c) |
| 2026-01-23 18:21:14 | × | Zemy_ quits (~Zemy@mobile-107-80-206-24.mycingular.net) (Ping timeout: 260 seconds) |
| 2026-01-23 18:21:18 | × | Core9513 quits (~Zemy@mobile-107-80-206-24.mycingular.net) (Read error: Connection reset by peer) |
| 2026-01-23 18:21:29 | → | Zemy_ joins (~Zemy@mobile-107-80-206-24.mycingular.net) |
| 2026-01-23 18:22:42 | × | Zemy quits (~Zemy@2600:100c:b0a7:500d:1cb1:d0ff:fe86:a54c) (Read error: Connection reset by peer) |
| 2026-01-23 18:22:50 | → | Zemy joins (~Zemy@2600:100c:b0a7:500d:1855:c9ff:fec3:4df3) |
| 2026-01-23 18:23:00 | × | hakutaku quits (~textual@chen.yukari.eu.org) (Ping timeout: 244 seconds) |
| 2026-01-23 18:24:09 | × | Core1640 quits (~Zemy@mobile-107-80-206-24.mycingular.net) (Ping timeout: 260 seconds) |
| 2026-01-23 18:25:54 | × | Zemy_ quits (~Zemy@mobile-107-80-206-24.mycingular.net) (Ping timeout: 260 seconds) |
| 2026-01-23 18:27:40 | <dolio> | Does anyone here use the inspection-testing library? |
| 2026-01-23 18:28:23 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-01-23 18:28:43 | → | divlamir joins (~divlamir@user/divlamir) |
| 2026-01-23 18:30:40 | → | qqq joins (~qqq@185.54.21.105) |
| 2026-01-23 18:36:41 | → | hakutaku joins (~textual@chen.yukari.eu.org) |
| 2026-01-23 18:41:10 | × | hakutaku quits (~textual@chen.yukari.eu.org) (Ping timeout: 245 seconds) |
| 2026-01-23 18:45:55 | → | hakutaku joins (~textual@chen.yukari.eu.org) |
| 2026-01-23 18:48:18 | × | housemate quits (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-01-23 18:48:52 | → | Zemy_ joins (~Zemy@mobile-107-80-206-40.mycingular.net) |
| 2026-01-23 18:49:39 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Read error: Connection reset by peer) |
| 2026-01-23 18:50:43 | × | hakutaku quits (~textual@chen.yukari.eu.org) (Ping timeout: 264 seconds) |
| 2026-01-23 18:50:50 | → | housemate joins (~housemate@202.7.248.67) |
| 2026-01-23 18:50:59 | × | Zemy quits (~Zemy@2600:100c:b0a7:500d:1855:c9ff:fec3:4df3) (Ping timeout: 260 seconds) |
| 2026-01-23 18:53:59 | → | fp joins (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) |
| 2026-01-23 18:55:30 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2026-01-23 19:04:20 | → | hakutaku joins (~textual@chen.yukari.eu.org) |
| 2026-01-23 19:06:21 | <mauke> | bwe: https://paste.tomsmeding.com/7nIkll4c |
| 2026-01-23 19:08:53 | × | hakutaku quits (~textual@chen.yukari.eu.org) (Ping timeout: 250 seconds) |
| 2026-01-23 19:10:32 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2026-01-23 19:11:46 | → | Tuplanolla joins (~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) |
| 2026-01-23 19:14:24 | → | hakutaku joins (~textual@chen.yukari.eu.org) |
| 2026-01-23 19:17:39 | → | Zemy joins (~Zemy@2600:100c:b0a7:500d:945c:5ff:fe60:ddeb) |
| 2026-01-23 19:20:07 | × | Zemy_ quits (~Zemy@mobile-107-80-206-40.mycingular.net) (Ping timeout: 264 seconds) |
| 2026-01-23 19:22:09 | → | Zemy_ joins (~Zemy@72.178.108.235) |
| 2026-01-23 19:24:36 | × | Zemy quits (~Zemy@2600:100c:b0a7:500d:945c:5ff:fe60:ddeb) (Ping timeout: 256 seconds) |
| 2026-01-23 19:30:05 | <gentauro> | oskarw: sad to hear :( |
| 2026-01-23 19:34:51 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2026-01-23 19:35:07 | → | danza joins (~danza@user/danza) |
| 2026-01-23 19:37:22 | × | danz33286 quits (~danza@user/danza) (Read error: Connection reset by peer) |
| 2026-01-23 19:38:22 | → | oskarw` joins (~user@176.106.33.171) |
| 2026-01-23 19:39:48 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2026-01-23 19:40:13 | × | oskarw quits (~user@user/oskarw) (Read error: Connection reset by peer) |
| 2026-01-23 19:40:49 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2026-01-23 19:42:33 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2026-01-23 19:42:54 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 2026-01-23 19:47:44 | × | qqq quits (~qqq@185.54.21.105) (Quit: Lost terminal) |
| 2026-01-23 19:56:14 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2026-01-23 20:01:08 | <bwe> | mauke: Perfect! Thanks. |
| 2026-01-23 20:15:36 | × | hakutaku quits (~textual@chen.yukari.eu.org) (Ping timeout: 256 seconds) |
| 2026-01-23 20:16:43 | × | ringo_ quits (~ringo@157.230.117.128) (Ping timeout: 260 seconds) |
| 2026-01-23 20:21:33 | → | ringo_ joins (~ringo@157.230.117.128) |
| 2026-01-23 20:22:09 | → | hakutaku joins (~textual@chen.yukari.eu.org) |
| 2026-01-23 20:22:52 | × | Square2 quits (~Square@user/square) (Ping timeout: 244 seconds) |
| 2026-01-23 20:36:35 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2026-01-23 20:36:38 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-01-23 20:38:44 | → | pavonia joins (~user@user/siracusa) |
| 2026-01-23 20:39:55 | × | fp quits (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 246 seconds) |
| 2026-01-23 20:44:35 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-01-23 20:45:50 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-01-23 20:47:35 | → | fp joins (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) |
| 2026-01-23 20:47:47 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-01-23 20:55:09 | <oskarw`> | gentauro: I just hope other haskeller get this job |
| 2026-01-23 20:55:50 | <davean> | What job is this? |
| 2026-01-23 20:55:52 | <gentauro> | oskarw`: hopefully |
| 2026-01-23 20:56:05 | <gentauro> | it was Standard Charterd right? |
| 2026-01-23 20:56:07 | <oskarw`> | Yes |
| 2026-01-23 20:56:42 | <oskarw`> | https://jobs.standardchartered.com/job/Quantitative-Developer(Poland%2C-India)/43718-en_GB/?&feedid=363857 |
| 2026-01-23 20:56:44 | <gentauro> | we can only hope they don't do a Jane Street, which is "silently" moving from OCaml to Python :'( |
| 2026-01-23 20:56:56 | <oskarw`> | Why I have ` in nickname? |
| 2026-01-23 20:57:17 | <gentauro> | oskarw`: is your `backup` nickname |
| 2026-01-23 20:57:34 | ← | oskarw` parts (~user@176.106.33.171) (ERC 5.6.1 (IRC client for GNU Emacs 30.2)) |
| 2026-01-23 20:57:41 | → | oskarw` joins (~user@176.106.33.171) |
| 2026-01-23 20:57:52 | <oskarw`> | Why do I have backup nickname? |
| 2026-01-23 20:58:01 | <gentauro> | you should just re-login again to libera with your real nickname |
| 2026-01-23 20:58:07 | <oskarw`> | Ok |
| 2026-01-23 20:58:21 | × | oskarw` quits (~user@176.106.33.171) (Remote host closed the connection) |
| 2026-01-23 20:58:28 | → | oskarw joins (~user@user/oskarw) |
| 2026-01-23 20:58:38 | <oskarw> | Here I am |
| 2026-01-23 20:59:01 | <gentauro> | oskarw: nice, no more tick ;) |
| 2026-01-23 20:59:14 | <oskarw> | Yes ^^ |
| 2026-01-23 20:59:31 | → | karenw joins (~karenw@user/karenw) |
| 2026-01-23 21:01:36 | <oskarw> | What is general consensus about lisp in this channel? |
| 2026-01-23 21:02:04 | <oskarw> | Personally, I prefer lisp syntax to haskell, but I also love haskell typing |
| 2026-01-23 21:03:58 | <gentauro> | oskarw: I would say, way to many parenthesis. However, I'm an `emacs` user since 2005 ish, so, I'm kind of used to it |
| 2026-01-23 21:06:12 | <oskarw> | gentauro: I have also been using Emacs, but only for 2 years. |
| 2026-01-23 21:06:19 | → | skum joins (~skum@user/skum) |
| 2026-01-23 21:06:53 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2026-01-23 21:07:08 | <oskarw> | I stared using emacs because I had course about agda, and agda manual recommended Emacs. |
| 2026-01-23 21:11:11 | × | danza quits (~danza@user/danza) (Read error: Connection reset by peer) |
| 2026-01-23 21:13:43 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2026-01-23 21:15:07 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-01-23 21:15:50 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2026-01-23 21:25:12 | <monochrom> | I prefer both Haskell syntax and types. |
| 2026-01-23 21:26:24 | × | michalz quits (~michalz@185.246.207.203) (Remote host closed the connection) |
All times are in UTC.