| 2025-05-03 00:03:36 +0200 | crns | (~crns@user/crns) crns |
| 2025-05-03 00:15:37 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-03 00:16:04 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 2025-05-03 00:19:14 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-03 00:21:30 +0200 | Typedfern | (~Typedfern@135.red-83-37-43.dynamicip.rima-tde.net) (Ping timeout: 252 seconds) |
| 2025-05-03 00:25:02 +0200 | <haskellbridge> | <loonycyborg> IMO too many games use C# now, kinda discourages me from modding because I hate C# |
| 2025-05-03 00:25:29 +0200 | <haskellbridge> | <loonycyborg> I think Haskell would be nice not for implementation but for scenario scripting |
| 2025-05-03 00:27:18 +0200 | <haskellbridge> | <loonycyborg> right now most of the more plot heavy games have pretty janky scripts, when you play it's mostly about wrestling with scripting bugs |
| 2025-05-03 00:27:22 +0200 | <haskellbridge> | <loonycyborg> kinda breaks immersion |
| 2025-05-03 00:27:43 +0200 | <haskellbridge> | <loonycyborg> I bet more abstract language like Haskell could make things more tractable |
| 2025-05-03 00:45:30 +0200 | Typedfern | (~Typedfern@135.red-83-37-43.dynamicip.rima-tde.net) typedfern |
| 2025-05-03 00:47:28 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-05-03 00:49:22 +0200 | <JuanDaugherty> | loonycyborg, checkout games, gameengine at hackage |
| 2025-05-03 00:49:56 +0200 | <JuanDaugherty> | and game which i didn think hs had |
| 2025-05-03 00:54:01 +0200 | tromp | (~textual@2001:1c00:3487:1b00:31c9:5f27:18bf:4d4e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-03 01:00:37 +0200 | __jmcantrell__ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-05-03 01:00:43 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-03 01:04:01 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-05-03 01:04:01 +0200 | ljdarj1 | ljdarj |
| 2025-05-03 01:07:03 +0200 | Googulator65 | (~Googulato@2a01-036d-0106-4a24-1dc7-297e-fae3-e794.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-05-03 01:07:20 +0200 | Googulator65 | (~Googulato@2a01-036d-0106-4a24-1dc7-297e-fae3-e794.pool6.digikabel.hu) |
| 2025-05-03 01:08:48 +0200 | __jmcantrell__ | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2025-05-03 01:17:40 +0200 | <haskellbridge> | <loonycyborg> It has lambdahack, I totally expected nethack-like on haskell to exist :P |
| 2025-05-03 01:29:36 +0200 | traxex | (traxex@user/traxex) traxex |
| 2025-05-03 01:30:33 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-03 01:31:24 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 264 seconds) |
| 2025-05-03 01:31:35 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f97b8ab1cde68040873.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-05-03 01:34:32 +0200 | Googulator77 | (~Googulato@2a01-036d-0106-4a24-1dc7-297e-fae3-e794.pool6.digikabel.hu) |
| 2025-05-03 01:35:53 +0200 | Googulator65 | (~Googulato@2a01-036d-0106-4a24-1dc7-297e-fae3-e794.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-05-03 01:39:19 +0200 | notdabs | (~Owner@2600:1700:69cf:9000:ad70:ecef:1fea:272) |
| 2025-05-03 01:45:38 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-05-03 01:48:39 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) (Remote host closed the connection) |
| 2025-05-03 01:49:48 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2025-05-03 01:50:40 +0200 | __jmcantrell__ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-05-03 02:00:36 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-05-03 02:08:33 +0200 | notdabs | (~Owner@2600:1700:69cf:9000:ad70:ecef:1fea:272) (Quit: Leaving) |
| 2025-05-03 02:25:37 +0200 | sprotte24 | (~sprotte24@p200300d16f0dd100892d07af958b891b.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-05-03 02:27:27 +0200 | tolgo | (~Thunderbi@199.115.144.130) |
| 2025-05-03 02:36:54 +0200 | tabaqui | (~tabaqui@167.71.80.236) (Ping timeout: 252 seconds) |
| 2025-05-03 02:37:50 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-03 02:42:33 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-03 02:43:16 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) (Quit: Hi, this is Paul Allen. I'm being called away to London for a few days. Meredith, I'll call you when I get back. Hasta la vista, baby.) |
| 2025-05-03 02:44:25 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-05-03 02:46:54 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-05-03 02:48:56 +0200 | sajenim | (~sajenim@user/sajenim) sajenim |
| 2025-05-03 03:00:18 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-03 03:01:56 +0200 | volsand | (~volsand@2804:1b1:1080:da6:b270:c4db:8a27:6d61) (Quit: volsand) |
| 2025-05-03 03:05:04 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-03 03:07:01 +0200 | tolgo | (~Thunderbi@199.115.144.130) (Ping timeout: 248 seconds) |
| 2025-05-03 03:09:14 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-03 03:11:34 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-05-03 03:14:00 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-05-03 03:14:12 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-03 03:22:15 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-03 03:25:58 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-03 03:29:37 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-05-03 03:32:25 +0200 | img | (~img@user/img) img |
| 2025-05-03 03:32:40 +0200 | OftenFaded | (~OftenFade@user/tisktisk) OftenFaded |
| 2025-05-03 03:40:33 +0200 | tolgo | (~Thunderbi@199.115.144.130) |
| 2025-05-03 03:49:06 +0200 | <monochrom> | I'm OK with buggy scripts if they mean Perfectly Balanced with No Exploits so I can get infinite money in the game. >:) |
| 2025-05-03 03:50:19 +0200 | <monochrom> | Sure the game becomes unrealistic. What, do you think I play games to relive reality or to escape reality? >:) |
| 2025-05-03 03:55:38 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-05-03 04:01:53 +0200 | tavare | (~tavare@150.129.88.189) |
| 2025-05-03 04:01:54 +0200 | tavare | (~tavare@150.129.88.189) (Changing host) |
| 2025-05-03 04:01:54 +0200 | tavare | (~tavare@user/tavare) tavare |
| 2025-05-03 04:17:44 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-03 04:17:47 +0200 | td_ | (~td@i53870923.versanet.de) (Ping timeout: 276 seconds) |
| 2025-05-03 04:18:57 +0200 | td_ | (~td@i53870919.versanet.de) td_ |
| 2025-05-03 04:19:33 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-05-03 04:24:51 +0200 | m15k47on1c | (~m15k47on1@user/m15k47on1c) (Quit: WeeChat 3.8) |
| 2025-05-03 04:32:09 +0200 | dsrt^ | (ceuasyyyl@c-71-199-187-173.hsd1.ga.comcast.net) (Ping timeout: 276 seconds) |
| 2025-05-03 04:32:54 +0200 | typedfern_ | (~Typedfern@135.red-83-37-43.dynamicip.rima-tde.net) |
| 2025-05-03 04:33:02 +0200 | Typedfern | (~Typedfern@135.red-83-37-43.dynamicip.rima-tde.net) (Ping timeout: 252 seconds) |
| 2025-05-03 04:34:14 +0200 | dsrt^ | (~dsrt@c-71-199-187-173.hsd1.ga.comcast.net) |
| 2025-05-03 04:36:50 +0200 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) HarveyPwca |
| 2025-05-03 05:04:18 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-03 05:07:56 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-03 05:15:11 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-03 05:18:50 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-03 05:23:38 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 252 seconds) |
| 2025-05-03 05:25:53 +0200 | todi | (~todi@183.96.168.66) (Read error: Connection reset by peer) |
| 2025-05-03 05:28:17 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2025-05-03 05:29:57 +0200 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2025-05-03 05:33:39 +0200 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-05-03 05:39:35 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-03 05:42:52 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-03 05:59:21 +0200 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving) |
| 2025-05-03 06:15:24 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-03 06:17:33 +0200 | Buliarous | (~gypsydang@46.232.210.139) (Remote host closed the connection) |
| 2025-05-03 06:18:01 +0200 | Buliarous | (~gypsydang@46.232.210.139) Buliarous |
| 2025-05-03 06:19:03 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-03 06:20:16 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-03 06:20:38 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-05-03 06:24:27 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-03 06:24:53 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-03 06:27:17 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) (Read error: Connection reset by peer) |
| 2025-05-03 06:27:43 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-05-03 06:28:10 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-03 06:32:54 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-03 06:34:39 +0200 | tolgo | (~Thunderbi@199.115.144.130) (Ping timeout: 260 seconds) |
| 2025-05-03 06:36:45 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-03 06:41:30 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-03 06:47:11 +0200 | tolgo | (~Thunderbi@199.115.144.130) |
| 2025-05-03 06:48:29 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-03 06:50:04 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-03 06:55:44 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-03 06:56:34 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-03 06:56:42 +0200 | tolgo | (~Thunderbi@199.115.144.130) (Ping timeout: 268 seconds) |
| 2025-05-03 06:56:53 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-03 06:57:01 +0200 | aforemny | (~aforemny@i59F4C605.versanet.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-05-03 06:57:16 +0200 | aforemny | (~aforemny@i59F4C605.versanet.de) aforemny |
| 2025-05-03 06:58:33 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-03 06:58:53 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-03 06:59:36 +0200 | Sgeo__ | (~Sgeo@user/sgeo) Sgeo |
| 2025-05-03 06:59:36 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-03 06:59:44 +0200 | troydm | (~troydm@user/troydm) (Ping timeout: 260 seconds) |
| 2025-05-03 06:59:53 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-03 07:00:36 +0200 | la1n2 | (~la1n@176.59.162.120) |
| 2025-05-03 07:01:54 +0200 | poscat0x04 | (~poscat@user/poscat) (Ping timeout: 252 seconds) |
| 2025-05-03 07:02:01 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-05-03 07:02:09 +0200 | m5zs7k | (aquares@web10.mydevil.net) (Read error: Connection reset by peer) |
| 2025-05-03 07:02:28 +0200 | m5zs7k_ | (aquares@web10.mydevil.net) m5zs7k |
| 2025-05-03 07:02:29 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-03 07:02:38 +0200 | Sgeo_ | (~Sgeo@user/sgeo) (Ping timeout: 252 seconds) |
| 2025-05-03 07:02:54 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-03 07:03:00 +0200 | la1n | (~la1n@176.59.162.120) (Ping timeout: 252 seconds) |
| 2025-05-03 07:03:00 +0200 | jakesyl_____ | (sid56879@hampstead.irccloud.com) (Ping timeout: 252 seconds) |
| 2025-05-03 07:04:10 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-03 07:04:50 +0200 | OftenFaded | (~OftenFade@user/tisktisk) (Ping timeout: 252 seconds) |
| 2025-05-03 07:05:15 +0200 | jakesyl_____ | (sid56879@id-56879.hampstead.irccloud.com) |
| 2025-05-03 07:06:31 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:88e0:76ff:fe9c:b21e) (Remote host closed the connection) |
| 2025-05-03 07:06:59 +0200 | OftenFaded | (~OftenFade@user/tisktisk) OftenFaded |
| 2025-05-03 07:07:33 +0200 | winniequinn | (~winniequi@user/winniequinn) winniequinn |
| 2025-05-03 07:09:20 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:88e0:76ff:fe9c:b21e) hgolden |
| 2025-05-03 07:11:57 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-03 07:12:24 +0200 | troydm | (~troydm@user/troydm) troydm |
| 2025-05-03 07:12:25 +0200 | m5zs7k_ | m5zs7k |
| 2025-05-03 07:23:41 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) talismanick |
| 2025-05-03 07:31:02 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-05-03 07:31:34 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-05-03 07:32:11 +0200 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-05-03 07:33:12 +0200 | winniequinn | (~winniequi@user/winniequinn) (Ping timeout: 272 seconds) |
| 2025-05-03 07:35:22 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-05-03 07:35:26 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-03 07:42:51 +0200 | monochrom | (trebla@216.138.220.146) (Quit: ZNC 1.9.1+deb1 - https://znc.in) |
| 2025-05-03 07:51:30 +0200 | alt-crns | (~crns@p200300f1171e038329e61908ecaeb223.dip0.t-ipconnect.de) |
| 2025-05-03 07:53:29 +0200 | monochrom | (trebla@216.138.220.146) |
| 2025-05-03 07:55:01 +0200 | crns | (~crns@user/crns) (Ping timeout: 248 seconds) |
| 2025-05-03 07:56:37 +0200 | JamesMowery17 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Ping timeout: 244 seconds) |
| 2025-05-03 07:57:32 +0200 | dsrt^ | (~dsrt@c-71-199-187-173.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2025-05-03 07:58:56 +0200 | peterbecich1 | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-03 08:00:53 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-05-03 08:00:53 +0200 | peterbecich1 | peterbecich |
| 2025-05-03 08:07:54 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 252 seconds) |
| 2025-05-03 08:08:27 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-05-03 08:08:43 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-05-03 08:13:46 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-05-03 08:16:56 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-03 08:21:59 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-05-03 08:28:36 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-05-03 08:31:31 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-03 08:32:46 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-05-03 08:35:14 +0200 | __jmcantrell__ | (~weechat@user/jmcantrell) (Ping timeout: 265 seconds) |
| 2025-05-03 08:35:26 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-05-03 08:49:38 +0200 | tromp | (~textual@2001:1c00:3487:1b00:31c9:5f27:18bf:4d4e) |
| 2025-05-03 09:00:04 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-05-03 09:00:42 +0200 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-05-03 09:02:58 +0200 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-05-03 09:04:13 +0200 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) |
| 2025-05-03 09:04:53 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-05-03 09:07:29 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-05-03 09:11:46 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 2025-05-03 09:14:36 +0200 | Googulator77 | (~Googulato@2a01-036d-0106-4a24-1dc7-297e-fae3-e794.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-05-03 09:14:53 +0200 | Googulator77 | (~Googulato@2a01-036d-0106-4a24-1dc7-297e-fae3-e794.pool6.digikabel.hu) |
| 2025-05-03 09:18:54 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f76c0b856756af96406.dip0.t-ipconnect.de) acidjnk |
| 2025-05-03 09:19:46 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-03 09:20:51 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-05-03 09:23:24 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds) |
| 2025-05-03 09:25:06 +0200 | Spawns_Carpeting | (~mobile@user/spawns-carpeting/x-6969421) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-05-03 09:25:16 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-05-03 09:27:15 +0200 | Spawns_Carpeting | (~mobile@user/spawns-carpeting/x-6969421) Spawns_Carpeting |
| 2025-05-03 09:52:48 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-03 09:54:33 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-05-03 09:58:14 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-05-03 10:01:33 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-05-03 10:19:38 +0200 | mistivia | (~mistivia@user/mistivia) (Ping timeout: 265 seconds) |
| 2025-05-03 10:20:43 +0200 | mistivia_ | (~mistivia@user/mistivia) mistivia |
| 2025-05-03 10:25:28 +0200 | tromp | (~textual@2001:1c00:3487:1b00:31c9:5f27:18bf:4d4e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-03 10:30:42 +0200 | Sgeo__ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-05-03 10:37:16 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-03 10:43:52 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f76c0b856756af96406.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2025-05-03 10:45:15 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 2025-05-03 10:48:22 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-05-03 10:51:57 +0200 | Googulator77 | (~Googulato@2a01-036d-0106-4a24-1dc7-297e-fae3-e794.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-05-03 10:52:12 +0200 | Googulator77 | (~Googulato@2a01-036d-0106-4a24-1dc7-297e-fae3-e794.pool6.digikabel.hu) |
| 2025-05-03 10:52:50 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-03 10:54:34 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-05-03 10:55:01 +0200 | mistivia_ | (~mistivia@user/mistivia) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-05-03 10:55:23 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-05-03 10:55:24 +0200 | mistivia | (~mistivia@user/mistivia) mistivia |
| 2025-05-03 11:19:18 +0200 | Googulator77 | (~Googulato@2a01-036d-0106-4a24-1dc7-297e-fae3-e794.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-05-03 11:19:35 +0200 | Googulator77 | (~Googulato@2a01-036d-0106-4a24-1dc7-297e-fae3-e794.pool6.digikabel.hu) |
| 2025-05-03 11:22:58 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-05-03 11:23:06 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
| 2025-05-03 11:34:46 +0200 | manwithluck | (~manwithlu@2a09:bac5:5081:2dc::49:f6) (Remote host closed the connection) |
| 2025-05-03 11:35:29 +0200 | manwithluck | (~manwithlu@2a09:bac5:5081:2dc::49:f6) manwithluck |
| 2025-05-03 11:43:23 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-05-03 11:47:08 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 268 seconds) |
| 2025-05-03 11:47:20 +0200 | tromp | (~textual@2001:1c00:3487:1b00:31c9:5f27:18bf:4d4e) |
| 2025-05-03 11:48:51 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-03 11:52:18 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2025-05-03 11:52:31 +0200 | euleritian | (~euleritia@dynamic-176-000-056-055.176.0.pool.telefonica.de) |
| 2025-05-03 11:56:24 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-05-03 12:20:57 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-05-03 12:28:34 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f76c0b856756af96406.dip0.t-ipconnect.de) acidjnk |
| 2025-05-03 12:35:44 +0200 | euleritian | (~euleritia@dynamic-176-000-056-055.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-03 12:36:05 +0200 | euleritian | (~euleritia@77.23.248.47) |
| 2025-05-03 12:39:01 +0200 | alt-crns | (~crns@p200300f1171e038329e61908ecaeb223.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-05-03 12:40:24 +0200 | euleritian | (~euleritia@77.23.248.47) (Ping timeout: 260 seconds) |
| 2025-05-03 12:40:47 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
| 2025-05-03 12:44:37 +0200 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2025-05-03 12:47:13 +0200 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2025-05-03 12:52:30 +0200 | tromp | (~textual@2001:1c00:3487:1b00:31c9:5f27:18bf:4d4e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-03 12:54:32 +0200 | tromp | (~textual@2001:1c00:3487:1b00:31c9:5f27:18bf:4d4e) |
| 2025-05-03 13:00:04 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-05-03 13:01:10 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f76915331bd63c5250a.dip0.t-ipconnect.de) |
| 2025-05-03 13:02:04 +0200 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-05-03 13:04:31 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f76c0b856756af96406.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-05-03 13:15:46 +0200 | tromp | (~textual@2001:1c00:3487:1b00:31c9:5f27:18bf:4d4e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-03 13:16:56 +0200 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) HarveyPwca |
| 2025-05-03 13:17:59 +0200 | la1n2 | (~la1n@176.59.162.120) (Ping timeout: 265 seconds) |
| 2025-05-03 13:36:48 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 264 seconds) |
| 2025-05-03 13:38:54 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-05-03 13:39:44 +0200 | tromp | (~textual@2001:1c00:3487:1b00:31c9:5f27:18bf:4d4e) |
| 2025-05-03 13:55:56 +0200 | tavare | (~tavare@user/tavare) tavare |
| 2025-05-03 13:56:14 +0200 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-05-03 14:04:31 +0200 | tolgo | (~Thunderbi@199.115.144.130) |
| 2025-05-03 14:08:27 +0200 | tavare | (~tavare@150.129.88.189) tavare |
| 2025-05-03 14:08:27 +0200 | tavare | (~tavare@150.129.88.189) (Changing host) |
| 2025-05-03 14:08:27 +0200 | tavare | (~tavare@user/tavare) tavare |
| 2025-05-03 14:08:37 +0200 | Typedfern | (~Typedfern@135.red-83-37-43.dynamicip.rima-tde.net) typedfern |
| 2025-05-03 14:10:13 +0200 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-05-03 14:11:59 +0200 | typedfern_ | (~Typedfern@135.red-83-37-43.dynamicip.rima-tde.net) (Ping timeout: 260 seconds) |
| 2025-05-03 14:18:44 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f76915331bd63c5250a.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2025-05-03 14:21:19 +0200 | crns | (~crns@user/crns) crns |
| 2025-05-03 14:26:34 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-05-03 14:27:35 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f760cd6d8a4afbfbdd7.dip0.t-ipconnect.de) acidjnk |
| 2025-05-03 14:40:21 +0200 | tolgo | (~Thunderbi@199.115.144.130) (Ping timeout: 248 seconds) |
| 2025-05-03 14:43:17 +0200 | tromp | (~textual@2001:1c00:3487:1b00:31c9:5f27:18bf:4d4e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-03 14:50:57 +0200 | sprotte24 | (~sprotte24@p200300d16f17ff001d650b9c3df58534.dip0.t-ipconnect.de) |
| 2025-05-03 14:55:08 +0200 | tinjamin4 | (~tinjamin@banshee.h4x0r.space) (Read error: Connection reset by peer) |
| 2025-05-03 14:55:17 +0200 | traxex | (traxex@user/traxex) (Ping timeout: 248 seconds) |
| 2025-05-03 14:56:34 +0200 | tinjamin4 | (~tinjamin@banshee.h4x0r.space) |
| 2025-05-03 14:59:47 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-03 15:00:06 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
| 2025-05-03 15:05:55 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-05-03 15:11:49 +0200 | tromp | (~textual@2001:1c00:3487:1b00:31c9:5f27:18bf:4d4e) |
| 2025-05-03 15:11:50 +0200 | AlexNoo_ | (~AlexNoo@5.139.233.9) |
| 2025-05-03 15:12:58 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 2025-05-03 15:14:35 +0200 | AlexZenon | (~alzenon@94.233.241.180) (Ping timeout: 260 seconds) |
| 2025-05-03 15:14:37 +0200 | euleritian | (~euleritia@dynamic-176-006-129-007.176.6.pool.telefonica.de) |
| 2025-05-03 15:15:29 +0200 | AlexNoo | (~AlexNoo@94.233.241.180) (Ping timeout: 244 seconds) |
| 2025-05-03 15:18:33 +0200 | AlexZenon | (~alzenon@5.139.233.9) |
| 2025-05-03 15:19:33 +0200 | euleritian | (~euleritia@dynamic-176-006-129-007.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-03 15:19:53 +0200 | euleritian | (~euleritia@dynamic-176-006-129-007.176.6.pool.telefonica.de) |
| 2025-05-03 15:26:52 +0200 | crns | (~crns@user/crns) (Read error: Connection reset by peer) |
| 2025-05-03 15:27:15 +0200 | crns | (~crns@user/crns) crns |
| 2025-05-03 15:40:18 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000::2) |
| 2025-05-03 15:40:18 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000::2) (Changing host) |
| 2025-05-03 15:40:18 +0200 | haritz | (~hrtz@user/haritz) haritz |
| 2025-05-03 15:41:13 +0200 | tremon | (~tremon@83.80.159.219) tremon |
| 2025-05-03 15:41:39 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f760cd6d8a4afbfbdd7.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2025-05-03 15:45:09 +0200 | alt-crns | (~crns@185.238.219.101) |
| 2025-05-03 15:45:09 +0200 | crns | (~crns@user/crns) (Read error: Connection reset by peer) |
| 2025-05-03 15:45:14 +0200 | JuanDaugherty | ColinRobinson |
| 2025-05-03 15:54:40 +0200 | traxex | (traxex@user/traxex) traxex |
| 2025-05-03 15:57:54 +0200 | ColinRobinson | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-05-03 16:00:06 +0200 | AlexNoo_ | AlexNoo |
| 2025-05-03 16:00:38 +0200 | tolgo | (~Thunderbi@199.115.144.130) |
| 2025-05-03 16:03:13 +0200 | alt-crns | (~crns@185.238.219.101) (Remote host closed the connection) |
| 2025-05-03 16:08:44 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-05-03 16:09:13 +0200 | m1dnight_ | (~m1dnight@d8D861908.access.telenet.be) (Remote host closed the connection) |
| 2025-05-03 16:09:31 +0200 | m1dnight | (~m1dnight@d8D861908.access.telenet.be) m1dnight |
| 2025-05-03 16:33:28 +0200 | Typedfern | (~Typedfern@135.red-83-37-43.dynamicip.rima-tde.net) (Ping timeout: 252 seconds) |
| 2025-05-03 16:34:13 +0200 | tromp | (~textual@2001:1c00:3487:1b00:31c9:5f27:18bf:4d4e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-03 16:37:29 +0200 | tolgo | (~Thunderbi@199.115.144.130) (Quit: tolgo) |
| 2025-05-03 16:46:17 +0200 | Typedfern | (~Typedfern@213.red-83-37-26.dynamicip.rima-tde.net) typedfern |
| 2025-05-03 16:50:38 +0200 | tromp | (~textual@2001:1c00:3487:1b00:31c9:5f27:18bf:4d4e) |
| 2025-05-03 16:52:58 +0200 | tabaqui | (~tabaqui@167.71.80.236) (Ping timeout: 252 seconds) |
| 2025-05-03 17:03:55 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-05-03 17:23:21 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-05-03 17:32:23 +0200 | Rembane | (~Rembane@user/Rembane) (Quit: WeeChat 4.1.1) |
| 2025-05-03 17:33:08 +0200 | irssi | (~Rembane@user/Rembane) Rembane |
| 2025-05-03 17:33:54 +0200 | irssi | Rembane |
| 2025-05-03 17:35:03 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2025-05-03 17:45:29 +0200 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
| 2025-05-03 17:48:57 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f76fc5d8daab5a27dee.dip0.t-ipconnect.de) |
| 2025-05-03 17:50:27 +0200 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving) |
| 2025-05-03 17:54:49 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 2025-05-03 17:56:26 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-03 17:59:40 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 2025-05-03 18:08:57 +0200 | Pozyomka | (~pyon@user/pyon) (Quit: WeeChat 4.6.1) |
| 2025-05-03 18:09:14 +0200 | sajenim | (~sajenim@user/sajenim) (Ping timeout: 252 seconds) |
| 2025-05-03 18:11:57 +0200 | traxex | (traxex@user/traxex) (Quit: Lost terminal) |
| 2025-05-03 18:15:35 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 2025-05-03 18:18:10 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-03 18:23:14 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-05-03 18:32:20 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f76fc5d8daab5a27dee.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-05-03 18:32:21 +0200 | Square3 | (~Square@user/square) (Remote host closed the connection) |
| 2025-05-03 18:32:51 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-05-03 18:36:32 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-05-03 18:37:34 +0200 | Square | (~Square@user/square) Square |
| 2025-05-03 18:41:43 +0200 | __jmcantrell__ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-05-03 19:04:22 +0200 | Buliarous | (~gypsydang@46.232.210.139) (Read error: Connection reset by peer) |
| 2025-05-03 19:04:50 +0200 | Buliarous | (~gypsydang@46.232.210.139) Buliarous |
| 2025-05-03 19:07:50 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-05-03 19:23:27 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f76bcfd7e139b6b957f.dip0.t-ipconnect.de) acidjnk |
| 2025-05-03 19:24:32 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-05-03 19:31:25 +0200 | <[exa]> | Are there any good approaches to serializable objects (think like aeson-style serialization) where the serialization has to contain "externally resolvable" identifiers? (Typically in databases, the ID should not be a part of object model because it's more of a reference that should be transparent and/or held by others, but has to be present in row operations. Similarly with RDF, haskellish objects |
| 2025-05-03 19:31:27 +0200 | <[exa]> | "exist" without knowing their "name" (URI), byt the name has to be present in all triples that describe the object.) |
| 2025-05-03 19:32:25 +0200 | <[exa]> | Possible complication: objects contain more objects and serialization has to invent sensible identifiers for these. |
| 2025-05-03 19:34:13 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-03 19:34:37 +0200 | <EvanR> | ID is what makes entities entities and not values, making the rows not redundant (and illegal in relational algebra) duplicates |
| 2025-05-03 19:34:45 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-05-03 19:34:56 +0200 | <EvanR> | so not sure if it's not part of the model |
| 2025-05-03 19:35:21 +0200 | <[exa]> | hm good point |
| 2025-05-03 19:35:46 +0200 | <EvanR> | and in that perspective, objects nested inside each other is just one way to view the entities and relations |
| 2025-05-03 19:36:01 +0200 | <EvanR> | instead of the main model |
| 2025-05-03 19:36:29 +0200 | <monochrom> | One can never escape IDs. High-level languages deceive you into thinking that you can, by not telling you that pointers and addresses look like 0xdeadbeef which are totally IDs. |
| 2025-05-03 19:37:55 +0200 | <int-e> | monochrom: just do combinatory logic |
| 2025-05-03 19:37:56 +0200 | <monochrom> | And especially if your object graph is not a tree, all the more important to use IDs so n objects do not become a tree of 2^n nodes, or even worse, an infinite tree just because there is a cycle. |
| 2025-05-03 19:38:16 +0200 | <int-e> | No ids, just two combinators and application. |
| 2025-05-03 19:38:17 +0200 | <int-e> | :P |
| 2025-05-03 19:38:43 +0200 | <monochrom> | Oh well I guess that's another solution, by having no objects at all! |
| 2025-05-03 19:39:02 +0200 | <int-e> | I escaped identifiers but at what cost! |
| 2025-05-03 19:39:24 +0200 | <[exa]> | monochrom: ofc the IDs are a technical necessity but I thought more of the data model layer. Esp. for RDF when you want the IDs to be somewhat stable and carry some mild meaning |
| 2025-05-03 19:39:34 +0200 | <int-e> | (I'm too weak for combinatory logic; the only way I've ever been able to write combinatory logic programs is using abstraction elimination.) |
| 2025-05-03 19:39:44 +0200 | <monochrom> | "How do I serialize objects?" "Use SKI so it's /dev/null when you deserialize!" |
| 2025-05-03 19:39:50 +0200 | <EvanR> | if the original subject was "a json value" then yeah, you would have to make up artificial and irrelevant IDs to store it in a database |
| 2025-05-03 19:40:03 +0200 | <EvanR> | unless the database has json support |
| 2025-05-03 19:40:10 +0200 | <monochrom> | Yeah in practice, one writes in Haskell and compile by MicroHs! |
| 2025-05-03 19:40:10 +0200 | <EvanR> | but what's the original subject |
| 2025-05-03 19:40:32 +0200 | <int-e> | EvanR: how to troll efficiently by ignoring context? |
| 2025-05-03 19:40:42 +0200 | tromp | (~textual@2001:1c00:3487:1b00:31c9:5f27:18bf:4d4e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-03 19:40:52 +0200 | <EvanR> | if it's a document with nested records then maybe it's not "an object" |
| 2025-05-03 19:40:53 +0200 | <monochrom> | haha |
| 2025-05-03 19:41:11 +0200 | <monochrom> | Oh I just define "object = record". :) |
| 2025-05-03 19:41:16 +0200 | <[exa]> | good we're getting somewhere |
| 2025-05-03 19:41:26 +0200 | <monochrom> | Hell, object = record = data = data structure = ... |
| 2025-05-03 19:41:33 +0200 | <[exa]> | it's not an object, instead it is _____ ? |
| 2025-05-03 19:41:52 +0200 | bilegeek | (~bilegeek@2600:1008:b01a:5c24:8c91:aa31:8c9:aaf) bilegeek |
| 2025-05-03 19:42:05 +0200 | <[exa]> | I'm literally trying to find the above abstraction that would make the identifiers somewhat manageable |
| 2025-05-03 19:42:16 +0200 | <EvanR> | maybe all your objects actually be expressions (often, they're not) |
| 2025-05-03 19:42:20 +0200 | <EvanR> | like IORefs |
| 2025-05-03 19:43:00 +0200 | <EvanR> | [exa], ID = hash of the value! |
| 2025-05-03 19:43:03 +0200 | <EvanR> | hides |
| 2025-05-03 19:43:26 +0200 | [exa] | ties EvanR in a loop! hash out of that! |
| 2025-05-03 19:43:43 +0200 | <EvanR> | plays the rainbow table card |
| 2025-05-03 19:44:20 +0200 | <[exa]> | it's super effective! |
| 2025-05-03 19:44:44 +0200 | <[exa]> | ok so maybe serialization is not the right thing to even say here |
| 2025-05-03 19:45:04 +0200 | <EvanR> | if it's not objects but just values with nested structure, a classic serialization is lisp expressions |
| 2025-05-03 19:45:27 +0200 | <[exa]> | again with RDF you more like "prove that something exists by finding all its bits in the heap" instead of deserializing per se |
| 2025-05-03 19:45:43 +0200 | <monochrom> | Do you have a scenerio where there are two objects, all their fields have the same value, but you would prefer to call them 2 objects rather than 1 object? This question determines whether you can just hash the values. |
| 2025-05-03 19:46:12 +0200 | michalz | (~michalz@185.246.207.221) |
| 2025-05-03 19:46:13 +0200 | <monochrom> | Frankly I don't know RDF. |
| 2025-05-03 19:46:29 +0200 | <[exa]> | monochrom: yes (in the future they might differentiate by people attaching stuff to either identifier) |
| 2025-05-03 19:47:12 +0200 | <[exa]> | monochrom: imagine datalog where all facts are `sompredicate(somesubject, someobject).` |
| 2025-05-03 19:47:25 +0200 | <monochrom> | Then you hash (the value and a serial number). |
| 2025-05-03 19:47:53 +0200 | <monochrom> | I don't know datalog. May I think in prolog instead? |
| 2025-05-03 19:48:01 +0200 | <EvanR> | if object = entity, then you need IDs, to name the entity |
| 2025-05-03 19:48:04 +0200 | <[exa]> | yes datalog is prolog without actual computation |
| 2025-05-03 19:48:22 +0200 | <monochrom> | Alternatively if it turns out RDF = prolog but in XML syntax, I can work with that too. >:) |
| 2025-05-03 19:48:31 +0200 | <EvanR> | if you just have a set of unique tuples the tuple itself can be the ID |
| 2025-05-03 19:49:27 +0200 | <[exa]> | EvanR: probably an entity then. I'm not trying to dodge IDs, more like trying to find what name and type the functions that "do it" should be so that I'm preferably separating the objectness and entityness of the things as well as possible. I want to use these things as objects when they get deserialized. |
| 2025-05-03 19:50:14 +0200 | <EvanR> | I'm not sure what use as objects means |
| 2025-05-03 19:52:37 +0200 | <monochrom> | May I use this example? name(mary,"Mary"). name(alice,"Alice"). name(alice2,"Alice"). crush(mary,alice). crush(alice,alice2). crush(alice2,mary). |
| 2025-05-03 19:53:30 +0200 | <monochrom> | "The first soap opera written in datalog." >:) |
| 2025-05-03 19:53:32 +0200 | <[exa]> | EvanR: as a haskell value. |
| 2025-05-03 19:54:04 +0200 | <EvanR> | is a haskell value just a report or view of the database |
| 2025-05-03 19:54:18 +0200 | <EvanR> | an arbitrary report |
| 2025-05-03 19:54:34 +0200 | <[exa]> | yeah it looks like it's gonna be a view |
| 2025-05-03 19:55:30 +0200 | <[exa]> | ok I should certainly go more in the prolog path (query & assert) instead of plain decode&encode |
| 2025-05-03 19:57:04 +0200 | <monochrom> | May I also tempt you into taking a look at the Curry language so you don't even have to use Prolog syntax! (It uses Haskell syntax.) >:) |
| 2025-05-03 20:01:59 +0200 | tromp | (~textual@2001:1c00:3487:1b00:31c9:5f27:18bf:4d4e) |
| 2025-05-03 20:07:32 +0200 | <[exa]> | yeah starting to look much more like another prolog reimplementation. |
| 2025-05-03 20:07:49 +0200 | <[exa]> | but this time with blackjack and types |
| 2025-05-03 20:07:54 +0200 | <monochrom> | Oh! Are we just looking at "network databases" such as in the dark ages vs "relational databases" such as in the modern enlightened time? |
| 2025-05-03 20:08:34 +0200 | <[exa]> | not really, this issue is common to both |
| 2025-05-03 20:08:36 +0200 | <monochrom> | (the "network" there just means graph, object graph, so again your vanilla record in which some fields are pointers to other records) |
| 2025-05-03 20:09:20 +0200 | <monochrom> | OK the question of UIDs. |
| 2025-05-03 20:09:47 +0200 | <monochrom> | Well, I would just say "use a Unique monad". |
| 2025-05-03 20:10:28 +0200 | <[exa]> | maybe I'll just need to invent some way to throw this at the library user |
| 2025-05-03 20:10:40 +0200 | <[exa]> | which looks convenient enough |
| 2025-05-03 20:10:56 +0200 | [exa] | pops a brainstorming booster bottle |
| 2025-05-03 20:13:59 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-05-03 20:16:27 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f76bcfd7e139b6b957f.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-05-03 20:17:48 +0200 | <monochrom> | Um, is that code for LSD? >:) |
| 2025-05-03 20:18:06 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-05-03 20:19:05 +0200 | <[exa]> | monochrom: nah the bottled one is called beer |
| 2025-05-03 20:19:16 +0200 | <[exa]> | :] |
| 2025-05-03 20:27:13 +0200 | <[exa]> | ok well I guess I'm hitting the same wall as ORMs |
| 2025-05-03 20:29:01 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f7604057216e123cf7a.dip0.t-ipconnect.de) acidjnk |
| 2025-05-03 20:30:31 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-03 20:31:20 +0200 | <[exa]> | hm, beam hides the references by higher-kinded types, not bad |
| 2025-05-03 20:31:49 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-03 20:32:53 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-05-03 20:34:13 +0200 | <EvanR> | what's the politically correct name for higher kinded types |
| 2025-05-03 20:34:16 +0200 | <EvanR> | higher order types |