Newest at the top
| 2026-01-23 22:25:12 +0100 | <monochrom> | I prefer both Haskell syntax and types. |
| 2026-01-23 22:15:50 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2026-01-23 22:15:07 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-01-23 22:13:43 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-01-23 22:11:11 +0100 | danza | (~danza@user/danza) (Read error: Connection reset by peer) |
| 2026-01-23 22:07:08 +0100 | <oskarw> | I stared using emacs because I had course about agda, and agda manual recommended Emacs. |
| 2026-01-23 22:06:53 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2026-01-23 22:06:19 +0100 | skum | (~skum@user/skum) skum |
| 2026-01-23 22:06:12 +0100 | <oskarw> | gentauro: I have also been using Emacs, but only for 2 years. |
| 2026-01-23 22:03:58 +0100 | <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 22:02:04 +0100 | <oskarw> | Personally, I prefer lisp syntax to haskell, but I also love haskell typing |
| 2026-01-23 22:01:36 +0100 | <oskarw> | What is general consensus about lisp in this channel? |
| 2026-01-23 21:59:31 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2026-01-23 21:59:14 +0100 | <oskarw> | Yes ^^ |
| 2026-01-23 21:59:01 +0100 | <gentauro> | oskarw: nice, no more tick ;) |
| 2026-01-23 21:58:38 +0100 | <oskarw> | Here I am |
| 2026-01-23 21:58:28 +0100 | oskarw | (~user@user/oskarw) oskarw |
| 2026-01-23 21:58:21 +0100 | oskarw` | (~user@176.106.33.171) (Remote host closed the connection) |
| 2026-01-23 21:58:07 +0100 | <oskarw`> | Ok |
| 2026-01-23 21:58:01 +0100 | <gentauro> | you should just re-login again to libera with your real nickname |
| 2026-01-23 21:57:52 +0100 | <oskarw`> | Why do I have backup nickname? |
| 2026-01-23 21:57:41 +0100 | oskarw` | (~user@176.106.33.171) |
| 2026-01-23 21:57:34 +0100 | oskarw` | (~user@176.106.33.171) (ERC 5.6.1 (IRC client for GNU Emacs 30.2)) |
| 2026-01-23 21:57:17 +0100 | <gentauro> | oskarw`: is your `backup` nickname |
| 2026-01-23 21:56:56 +0100 | <oskarw`> | Why I have ` in nickname? |
| 2026-01-23 21:56:44 +0100 | <gentauro> | we can only hope they don't do a Jane Street, which is "silently" moving from OCaml to Python :'( |
| 2026-01-23 21:56:42 +0100 | <oskarw`> | https://jobs.standardchartered.com/job/Quantitative-Developer(Poland%2C-India)/43718-en_GB/?&feedid=363857 |
| 2026-01-23 21:56:07 +0100 | <oskarw`> | Yes |
| 2026-01-23 21:56:05 +0100 | <gentauro> | it was Standard Charterd right? |
| 2026-01-23 21:55:52 +0100 | <gentauro> | oskarw`: hopefully |
| 2026-01-23 21:55:50 +0100 | <davean> | What job is this? |
| 2026-01-23 21:55:09 +0100 | <oskarw`> | gentauro: I just hope other haskeller get this job |
| 2026-01-23 21:47:47 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-01-23 21:47:35 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp |
| 2026-01-23 21:45:50 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-01-23 21:44:35 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-01-23 21:39:55 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 246 seconds) |
| 2026-01-23 21:38:44 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2026-01-23 21:36:38 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-01-23 21:36:35 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2026-01-23 21:22:52 +0100 | Square2 | (~Square@user/square) (Ping timeout: 244 seconds) |
| 2026-01-23 21:22:09 +0100 | hakutaku | (~textual@chen.yukari.eu.org) |
| 2026-01-23 21:21:33 +0100 | ringo_ | (~ringo@157.230.117.128) ringo_ |
| 2026-01-23 21:16:43 +0100 | ringo_ | (~ringo@157.230.117.128) (Ping timeout: 260 seconds) |
| 2026-01-23 21:15:36 +0100 | hakutaku | (~textual@chen.yukari.eu.org) (Ping timeout: 256 seconds) |
| 2026-01-23 21:01:08 +0100 | <bwe> | mauke: Perfect! Thanks. |
| 2026-01-23 20:56:14 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-01-23 20:47:44 +0100 | qqq | (~qqq@185.54.21.105) (Quit: Lost terminal) |
| 2026-01-23 20:42:54 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 2026-01-23 20:42:33 +0100 | Lord_of_Life_ | Lord_of_Life |