Newest at the top
2025-05-07 02:54:56 +0200 | bdmg_ | (~myJebba@177.138.161.234) (Remote host closed the connection) |
2025-05-07 02:53:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-05-07 02:48:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-07 02:47:10 +0200 | Square | (~Square@user/square) (Ping timeout: 260 seconds) |
2025-05-07 02:43:44 +0200 | Square2 | (~Square4@user/square) Square |
2025-05-07 02:41:25 +0200 | hellwolf | can have a sound sleep today. |
2025-05-07 02:41:11 +0200 | <hellwolf> | today is a good day. after trial and errors, I finally got a working type signature. |
2025-05-07 02:37:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-05-07 02:36:27 +0200 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 248 seconds) |
2025-05-07 02:34:08 +0200 | Axma83103 | (~Axman6@user/axman6) Axman6 |
2025-05-07 02:32:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-07 02:32:17 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) (Remote host closed the connection) |
2025-05-07 02:31:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-07 02:30:55 +0200 | euleritian | (~euleritia@dynamic-176-006-137-036.176.6.pool.telefonica.de) |
2025-05-07 02:30:13 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2025-05-07 02:29:59 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
2025-05-07 02:29:41 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f5301468c1cc0256076.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2025-05-07 02:28:24 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
2025-05-07 02:27:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-05-07 02:21:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-05-07 02:17:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-07 02:12:37 +0200 | sajenim | (~sajenim@user/sajenim) sajenim |
2025-05-07 02:06:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-05-07 02:04:41 +0200 | jespada_ | (~jespada@r179-24-30-150.dialup.adsl.anteldata.net.uy) (Ping timeout: 268 seconds) |
2025-05-07 02:04:31 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-05-07 02:01:15 +0200 | adamCS | (~adamCS@70.19.85.77) adamCS |
2025-05-07 02:01:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-07 01:59:18 +0200 | <haskellbridge> | https://standardebooks.org/ebooks/e-m-forster/short-fiction/text/the-machine-stops |
2025-05-07 01:59:18 +0200 | <haskellbridge> | <sm> cool SF reference, and speaking of which, I just found this fine story on HN: |
2025-05-07 01:54:45 +0200 | adamCS | (~adamCS@70.19.85.77) (Ping timeout: 244 seconds) |
2025-05-07 01:50:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-05-07 01:45:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-07 01:44:02 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
2025-05-07 01:42:10 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-05-07 01:38:17 +0200 | <hellwolf> | hmm, not sure I like ormolu one neither, but certainly looks nicer than mine. |
2025-05-07 01:37:28 +0200 | <hellwolf> | just tried out https://ormolu-live.tweag.io to see the difference |
2025-05-07 01:34:48 +0200 | <hellwolf> | I don't find this default indentation experience (using <tab>) is very nice. |
2025-05-07 01:34:32 +0200 | <hellwolf> | https://paste.tomsmeding.com/vDyxr8yb |
2025-05-07 01:34:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-05-07 01:34:03 +0200 | <hellwolf> | *in the next line? not sure how to speak english anymore |
2025-05-07 01:33:43 +0200 | <hellwolf> | question to emacs user again: why haskell-mode does not indent function parameters in new lines? |
2025-05-07 01:29:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-07 01:27:15 +0200 | <geekosaur> | too many old SF shorts writers |
2025-05-07 01:27:04 +0200 | <geekosaur> | ah, whoops |
2025-05-07 01:26:53 +0200 | <haskellbridge> | <Liamzee> no, Cordwainer Smith / Paul Linebarger (real name, wrote under pseudonyms due to the nature of his work) |
2025-05-07 01:26:35 +0200 | <geekosaur> | Vonnegut's first story iirc |
2025-05-07 01:26:23 +0200 | geekosaur | was afk but knew the reference |
2025-05-07 01:25:50 +0200 | <haskellbridge> | <Liamzee> /s/ who went/ who went through/ |
2025-05-07 01:25:15 +0200 | <haskellbridge> | ... murdered and his project covered up. Of course, it's a pulp science fiction story, so their plot is foiled, but to some extent it seems relevant to modern software development, no? |
2025-05-07 01:25:10 +0200 | <haskellbridge> | <Liamzee> oh, and to fill out the useless reference, "Scanners Live in Vain" refers to a short story by a US army intelligence guy (who was also a disclosed CIA officer after his death) about a fraternity of space pilots who went grueling and dehumanizing hardship to safely chaperone people across worlds. One day, someone invents a technological workaround that renders their job irrelevant, so they connive to have the guy... |