2025/05/07

Newest at the top

2025-05-07 02:54:56 +0200bdmg_(~myJebba@177.138.161.234) (Remote host closed the connection)
2025-05-07 02:53:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-07 02:48:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-07 02:47:10 +0200Square(~Square@user/square) (Ping timeout: 260 seconds)
2025-05-07 02:43:44 +0200Square2(~Square4@user/square) Square
2025-05-07 02:41:25 +0200hellwolfcan 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 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-07 02:36:27 +0200Axman6(~Axman6@user/axman6) (Ping timeout: 248 seconds)
2025-05-07 02:34:08 +0200Axma83103(~Axman6@user/axman6) Axman6
2025-05-07 02:32:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-07 02:32:17 +0200amadaluzia(~amadaluzi@user/amadaluzia) (Remote host closed the connection)
2025-05-07 02:31:40 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-07 02:30:55 +0200euleritian(~euleritia@dynamic-176-006-137-036.176.6.pool.telefonica.de)
2025-05-07 02:30:13 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-05-07 02:29:59 +0200euleritian(~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds)
2025-05-07 02:29:41 +0200acidjnk(~acidjnk@p200300d6e71c4f5301468c1cc0256076.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-05-07 02:28:24 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds)
2025-05-07 02:27:25 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-07 02:21:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-05-07 02:17:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-07 02:12:37 +0200sajenim(~sajenim@user/sajenim) sajenim
2025-05-07 02:06:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-07 02:04:41 +0200jespada_(~jespada@r179-24-30-150.dialup.adsl.anteldata.net.uy) (Ping timeout: 268 seconds)
2025-05-07 02:04:31 +0200weary-traveler(~user@user/user363627) user363627
2025-05-07 02:01:15 +0200adamCS(~adamCS@70.19.85.77) adamCS
2025-05-07 02:01:13 +0200merijn(~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 +0200adamCS(~adamCS@70.19.85.77) (Ping timeout: 244 seconds)
2025-05-07 01:50:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-07 01:45:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-07 01:44:02 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 276 seconds)
2025-05-07 01:42:10 +0200j1n37(~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 +0200merijn(~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 +0200merijn(~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 +0200geekosaurwas 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...