2025/05/18

Newest at the top

2025-05-18 10:26:51 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-05-18 10:23:53 +0200__monty__(~toonn@user/toonn) toonn
2025-05-18 10:21:42 +0200 <haskellbridge> <sm> * 1-6
2025-05-18 10:21:37 +0200tromp(~textual@2001:1c00:3487:1b00:ace7:b293:8f4:7479) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-05-18 10:20:33 +0200 <haskellbridge> <sm> this is in context of the above article, where each language gets 4-6 words for a general audience
2025-05-18 10:19:39 +0200 <haskellbridge> <sm> better: "High assurance applications and prototyping/research"
2025-05-18 10:18:41 +0200 <haskellbridge> <maerwald> GHC and its RTS are underspecified black boxes
2025-05-18 10:18:17 +0200 <haskellbridge> <maerwald> High assurance computing?
2025-05-18 10:17:29 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-18 10:17:08 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-18 10:09:59 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-18 10:09:37 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-18 10:06:57 +0200 <Rembane> And research in lazily evaluated programming languages
2025-05-18 10:06:32 +0200 <haskellbridge> <hellwolf> ecosystem of PL nerds
2025-05-18 10:06:28 +0200 <Rembane> Also parsers and compilers
2025-05-18 10:05:58 +0200 <haskellbridge> <sm> "high-assurance computing and prototyping/research"
2025-05-18 10:05:40 +0200Digit(~user@user/digit) (Ping timeout: 260 seconds)
2025-05-18 10:03:59 +0200 <haskellbridge> <sm> what's Haskell's killer domain, for https://news.ycombinator.com/item?id=44018922 ?
2025-05-18 10:02:29 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-05-18 10:00:25 +0200sus0(zero@user/zeromomentum) zeromomentum
2025-05-18 09:59:23 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-05-18 09:52:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-18 09:51:17 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds)
2025-05-18 09:50:56 +0200xff0x(~xff0x@om126236151042.32.openmobile.ne.jp) (Read error: Connection reset by peer)
2025-05-18 09:47:32 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-18 09:47:09 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-18 09:44:54 +0200acidjnk(~acidjnk@p200300d6e71c4f033d258f2e8b70eea4.dip0.t-ipconnect.de) acidjnk
2025-05-18 09:41:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-18 09:37:15 +0200Digit(~user@user/digit) Digit
2025-05-18 09:36:58 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-18 09:36:35 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-18 09:32:36 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 276 seconds)
2025-05-18 09:32:03 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-05-18 09:31:59 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-05-18 09:29:50 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-05-18 09:23:28 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-18 09:23:06 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-18 09:18:52 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds)
2025-05-18 09:17:38 +0200craunts(~craunts@136.158.8.87) (Client Quit)
2025-05-18 09:16:15 +0200poscat(~poscat@user/poscat) poscat
2025-05-18 09:14:36 +0200poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-05-18 09:13:43 +0200craunts(~craunts@136.158.8.87)
2025-05-18 09:09:10 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-18 09:08:49 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-18 09:07:30 +0200xff0x(~xff0x@om126236151042.32.openmobile.ne.jp)
2025-05-18 09:05:21 +0200xff0x(~xff0x@om126236151042.32.openmobile.ne.jp) (Ping timeout: 248 seconds)
2025-05-18 09:00:39 +0200caconym7(~caconym@user/caconym) caconym
2025-05-18 09:00:00 +0200caconym7(~caconym@user/caconym) (Quit: bye)
2025-05-18 08:56:34 +0200craunts(~craunts@136.158.8.87) (Ping timeout: 252 seconds)
2025-05-18 08:52:06 +0200xff0x(~xff0x@om126236151042.32.openmobile.ne.jp)