| 2024-09-12 00:00:34 +0200 | meygerjos | (~meygerjos@2600:480a:8256:8101:6ae2:f710:a83d:7d0b) (Ping timeout: 260 seconds) |
| 2024-09-12 00:01:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-12 00:01:48 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-09-12 00:02:54 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-12 00:08:32 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-12 00:09:46 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-09-12 00:12:20 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 00:17:32 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-12 00:26:34 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2024-09-12 00:28:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 00:33:04 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-12 00:35:22 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-09-12 00:39:12 +0200 | CiaoSen | (~Jura@2a05:5800:24b:7a00:ca4b:d6ff:fec1:99da) (Ping timeout: 276 seconds) |
| 2024-09-12 00:43:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 00:44:37 +0200 | Guest25 | (~Guest25@c-71-205-23-57.hsd1.co.comcast.net) |
| 2024-09-12 00:48:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-12 00:49:55 +0200 | notzmv | (~daniel@user/notzmv) |
| 2024-09-12 00:52:29 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb11c44b7bef60c813c4.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-09-12 00:59:41 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 01:00:13 +0200 | Guest25 | (~Guest25@c-71-205-23-57.hsd1.co.comcast.net) (Quit: Client closed) |
| 2024-09-12 01:04:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-12 01:04:51 +0200 | sourcetarius | (~sourcetar@user/sourcetarius) |
| 2024-09-12 01:06:52 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 01:11:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-12 01:15:49 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3211-99b4-5166-4d78-0078-8027.rev.sfr.net) (Remote host closed the connection) |
| 2024-09-12 01:20:07 +0200 | prolic_ | (~sasa@181.122.138.24) |
| 2024-09-12 01:22:04 +0200 | athan_ | (~athan@2600:382:1f2d:500e:9584:1417:5d03:4f28) (Ping timeout: 260 seconds) |
| 2024-09-12 01:22:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 01:27:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-12 01:27:57 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 276 seconds) |
| 2024-09-12 01:28:17 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 01:31:38 +0200 | andrewboltachev | (~andrey@178.141.31.176) |
| 2024-09-12 01:33:03 +0200 | <andrewboltachev> | Hello! How can I include (link?) a foriegn library, e.g. libpython3.12 into my Haskell project using Stack? I succeeded on adding /usr/include/python3.12 to include-dirs and this seems to be a next necessary step |
| 2024-09-12 01:33:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-12 01:33:41 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) |
| 2024-09-12 01:35:39 +0200 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 260 seconds) |
| 2024-09-12 01:36:17 +0200 | xff0x | (~xff0x@2405:6580:b080:900:1903:4897:d97a:e08d) (Ping timeout: 265 seconds) |
| 2024-09-12 01:41:38 +0200 | tv | (~tv@user/tv) (Ping timeout: 245 seconds) |
| 2024-09-12 01:43:13 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb116015685237b42de1.dip0.t-ipconnect.de) |
| 2024-09-12 01:43:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 01:47:01 +0200 | pavonia | (~user@user/siracusa) |
| 2024-09-12 01:49:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-12 01:56:55 +0200 | weary-traveler | (~user@user/user363627) |
| 2024-09-12 01:59:46 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 02:02:06 +0200 | sourcetarius | (~sourcetar@user/sourcetarius) (Read error: Connection reset by peer) |
| 2024-09-12 02:02:55 +0200 | tv | (~tv@user/tv) |
| 2024-09-12 02:04:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-12 02:08:12 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb116015685237b42de1.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2024-09-12 02:09:22 +0200 | <jackdk> | Easiest way is to list it in pkgconfig-depends, if the library supports that |
| 2024-09-12 02:15:34 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 02:20:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-09-12 02:30:18 +0200 | <cheater> | do you just want to run python from haskell? |
| 2024-09-12 02:30:27 +0200 | <cheater> | i can show you some code how to do that |
| 2024-09-12 02:31:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 02:32:11 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-09-12 02:33:06 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-09-12 02:33:30 +0200 | califax | (~califax@user/califx) |
| 2024-09-12 02:35:39 +0200 | user363627 | (~user@user/user363627) |
| 2024-09-12 02:36:42 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-12 02:40:06 +0200 | weary-traveler | (~user@user/user363627) (Ping timeout: 276 seconds) |
| 2024-09-12 02:41:11 +0200 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-09-12 02:42:38 +0200 | dolio | (~dolio@130.44.140.168) |
| 2024-09-12 02:46:21 +0200 | <andrewboltachev> | cheater: yes please |
| 2024-09-12 02:46:22 +0200 | notzmv | (~daniel@user/notzmv) (Ping timeout: 265 seconds) |
| 2024-09-12 02:46:32 +0200 | dolio | (~dolio@130.44.140.168) (Client Quit) |
| 2024-09-12 02:46:48 +0200 | <cheater> | ok hold up |
| 2024-09-12 02:47:07 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 02:48:20 +0200 | <cheater> | https://github.com/cheater/haskell-python-stateful-call |
| 2024-09-12 02:48:24 +0200 | <cheater> | there you go |
| 2024-09-12 02:48:35 +0200 | <cheater> | idk if it still works, it's ancient, but it SHOULD |
| 2024-09-12 02:49:16 +0200 | <andrewboltachev> | cheater: ah, so, ghci work too? |
| 2024-09-12 02:49:29 +0200 | <cheater> | what are you trying to ask? |
| 2024-09-12 02:49:33 +0200 | <andrewboltachev> | or not, i.e. for me now it says "Loading static libraries is not supported in this configuration." |
| 2024-09-12 02:49:35 +0200 | <cheater> | are you asking of ghci will work too? |
| 2024-09-12 02:49:40 +0200 | <andrewboltachev> | yes |
| 2024-09-12 02:49:42 +0200 | <cheater> | if* |
| 2024-09-12 02:49:43 +0200 | <cheater> | aha |
| 2024-09-12 02:49:47 +0200 | <cheater> | uh |
| 2024-09-12 02:49:48 +0200 | <cheater> | no idea |
| 2024-09-12 02:49:49 +0200 | <cheater> | maybe |
| 2024-09-12 02:50:00 +0200 | <cheater> | try and see |
| 2024-09-12 02:50:34 +0200 | <andrewboltachev> | I made my version (which involves some C code lol) to work now, and get some stuff from Python. using CApiFFI and Python C API |
| 2024-09-12 02:51:01 +0200 | <cheater> | look at this |
| 2024-09-12 02:51:01 +0200 | <cheater> | https://github.com/cheater/haskell-python-stateful-call/blob/master/Main.hs |
| 2024-09-12 02:51:11 +0200 | <cheater> | this is way easier than going through C FFI |
| 2024-09-12 02:51:29 +0200 | <cheater> | pymain <- PyM.importModule "pymain" |
| 2024-09-12 02:51:29 +0200 | <cheater> | stateful <- pymain --> "stateful" |
| 2024-09-12 02:51:37 +0200 | <andrewboltachev> | well, if you're writing a lot of custom python |
| 2024-09-12 02:52:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-12 02:52:22 +0200 | <cheater> | it doesn't matter how much custom python you're writing |
| 2024-09-12 02:52:28 +0200 | <cheater> | what i posted is still easier and better |
| 2024-09-12 02:52:34 +0200 | <andrewboltachev> | also my project in in Stack :-) that's why I started searching |
| 2024-09-12 02:52:59 +0200 | <cheater> | doesn't matter. stack has the same modules |
| 2024-09-12 02:53:46 +0200 | <andrewboltachev> | ➜ haskell-python-stateful-call git:(master) cabal sandbox |
| 2024-09-12 02:53:46 +0200 | <andrewboltachev> | Error: cabal: unrecognised command: sandbox (try --help) |
| 2024-09-12 02:53:48 +0200 | <andrewboltachev> | uhh |
| 2024-09-12 02:53:49 +0200 | dolio | (~dolio@130.44.140.168) |
| 2024-09-12 02:54:06 +0200 | <cheater> | yea cabal doesn't have sandboxes anymore |
| 2024-09-12 02:54:09 +0200 | <cheater> | that changed in 7 years |
| 2024-09-12 02:54:15 +0200 | <cheater> | you don't need to do cabal sandbox anymore |
| 2024-09-12 02:54:22 +0200 | <cheater> | just do cabal run or whatever |
| 2024-09-12 02:54:27 +0200 | <andrewboltachev> | Error: cabal: Could not resolve dependencies: |
| 2024-09-12 02:54:27 +0200 | <andrewboltachev> | etc etc |
| 2024-09-12 02:54:38 +0200 | <andrewboltachev> | for cabal run |
| 2024-09-12 02:54:49 +0200 | <andrewboltachev> | with cabal can just use https://hackage.haskell.org/package/cpython |
| 2024-09-12 02:54:51 +0200 | <cheater> | did you cabal update |
| 2024-09-12 02:55:04 +0200 | <andrewboltachev> | but: https://github.com/zsedem/haskell-cpython/issues/19 |
| 2024-09-12 02:55:07 +0200 | <andrewboltachev> | also an issue |
| 2024-09-12 02:55:20 +0200 | <andrewboltachev> | cpython is what you're using |
| 2024-09-12 02:55:40 +0200 | <andrewboltachev> | yes, after update |
| 2024-09-12 02:55:40 +0200 | <cheater> | right |
| 2024-09-12 02:55:49 +0200 | <cheater> | i had no idea the package was dead |
| 2024-09-12 02:55:51 +0200 | <cheater> | sorry bud |
| 2024-09-12 02:56:05 +0200 | <cheater> | i suggest using an older ghc where it works |
| 2024-09-12 02:56:09 +0200 | <cheater> | still beats using C FFI |
| 2024-09-12 02:56:20 +0200 | <andrewboltachev> | interesting... why? |
| 2024-09-12 02:56:26 +0200 | <andrewboltachev> | 'cause of simplicity? |
| 2024-09-12 02:56:30 +0200 | <cheater> | it's just way easier to use, yes |
| 2024-09-12 02:56:38 +0200 | <andrewboltachev> | or performance (I guess that's what I need) |
| 2024-09-12 02:56:45 +0200 | <cheater> | oh |
| 2024-09-12 02:56:49 +0200 | <cheater> | you need it to be webscale? |
| 2024-09-12 02:56:57 +0200 | <andrewboltachev> | https://github.com/andrewboltachev/matcher |
| 2024-09-12 02:57:24 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2024-09-12 02:57:30 +0200 | <cheater> | yea in that case you shouldn't be running python at all |
| 2024-09-12 02:57:32 +0200 | <andrewboltachev> | for this (backend on haskell + some django): https://main.andrewboltachev.site/toolbox/logicore1/0bd36e36-97ff-47dd-8b0c-71265253249e/12/ |
| 2024-09-12 02:57:59 +0200 | <andrewboltachev> | I know :D |
| 2024-09-12 02:58:17 +0200 | <andrewboltachev> | my project it's basically like, "press a button, wait for results" |
| 2024-09-12 02:58:24 +0200 | <andrewboltachev> | kind of parser/data explorer |
| 2024-09-12 02:59:47 +0200 | <cheater> | cool |
| 2024-09-12 02:59:48 +0200 | <andrewboltachev> | so it depends. writing little processing fns in Python is much easier. where the main "framework" is in Haskell ('cause I won't write such secure, and, yes, performant code in Python or any language. or juse 'cause I like Haskell) |
| 2024-09-12 03:00:07 +0200 | <andrewboltachev> | so using/not using Py is wait longer/less long |
| 2024-09-12 03:01:47 +0200 | <andrewboltachev> | thx for help! have to go afk for now |
| 2024-09-12 03:02:18 +0200 | andrewboltachev | (~andrey@178.141.31.176) (Quit: Leaving.) |
| 2024-09-12 03:02:33 +0200 | <cheater> | bye |
| 2024-09-12 03:02:55 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 03:07:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-12 03:16:54 +0200 | user363627 | (~user@user/user363627) (Remote host closed the connection) |
| 2024-09-12 03:18:41 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 03:20:18 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 2024-09-12 03:20:39 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) |
| 2024-09-12 03:20:39 +0200 | ChanServ | +v haskellbridge |
| 2024-09-12 03:22:01 +0200 | ZharMeny | (~ZharMeny@user/ZharMeny) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2024-09-12 03:23:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-12 03:34:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 03:40:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-12 03:41:13 +0200 | prolic_ | (~sasa@181.122.138.24) (Remote host closed the connection) |
| 2024-09-12 03:45:11 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 2024-09-12 03:45:32 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) |
| 2024-09-12 03:45:32 +0200 | ChanServ | +v haskellbridge |
| 2024-09-12 03:52:31 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 03:54:11 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-09-12 03:57:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-12 04:05:52 +0200 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-12 04:08:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 04:13:04 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-12 04:13:33 +0200 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Quit: Leaving) |
| 2024-09-12 04:24:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 04:29:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-12 04:34:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 04:39:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-12 04:41:39 +0200 | Squared | (~Square@user/square) |
| 2024-09-12 04:45:57 +0200 | td_ | (~td@i53870927.versanet.de) (Ping timeout: 244 seconds) |
| 2024-09-12 04:47:50 +0200 | td_ | (~td@i53870922.versanet.de) |
| 2024-09-12 04:50:10 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 04:55:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-12 05:05:55 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 05:10:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-12 05:13:16 +0200 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2024-09-12 05:15:04 +0200 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) |
| 2024-09-12 05:21:41 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 05:24:09 +0200 | eldritch | (anderson@user/eldritch) (Ping timeout: 245 seconds) |
| 2024-09-12 05:24:54 +0200 | ddb | (ddb@tilde.club) (Ping timeout: 272 seconds) |
| 2024-09-12 05:26:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-12 05:29:58 +0200 | ski | (~ski@ext-1-196.eduroam.chalmers.se) (Ping timeout: 245 seconds) |
| 2024-09-12 05:30:19 +0200 | ski | (~ski@ext-1-196.eduroam.chalmers.se) |
| 2024-09-12 05:31:19 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2024-09-12 05:31:32 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2024-09-12 05:32:41 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2024-09-12 05:34:29 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-12 05:37:28 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 05:42:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-12 05:53:13 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 05:58:11 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-12 06:04:54 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-09-12 06:09:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 06:14:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-12 06:16:10 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-09-12 06:16:30 +0200 | califax | (~califax@user/califx) |
| 2024-09-12 06:24:47 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 06:29:34 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-12 06:30:31 +0200 | john | (~john@2406:5a00:241a:5600:9c80:3a96:1dbc:db32) (Read error: Connection reset by peer) |
| 2024-09-12 06:31:58 +0200 | john | (~john@2406:5a00:241a:5600:9c80:3a96:1dbc:db32) |
| 2024-09-12 06:35:42 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 06:38:06 +0200 | michalz | (~michalz@185.246.207.222) |
| 2024-09-12 06:39:16 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) (Remote host closed the connection) |
| 2024-09-12 06:40:00 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-12 06:42:05 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-09-12 06:42:59 +0200 | Guest28 | (~Guest28@2804:18:1914:9aea:17f4:58a6:7989:dd37) |
| 2024-09-12 06:51:10 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 06:55:03 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-12 06:56:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-12 06:59:15 +0200 | Guest28 | (~Guest28@2804:18:1914:9aea:17f4:58a6:7989:dd37) (Quit: Client closed) |
| 2024-09-12 06:59:29 +0200 | Guest28 | (~Guest28@2804:18:1914:9aea:17f4:58a6:7989:dd37) |
| 2024-09-12 07:00:02 +0200 | Guest28 | (~Guest28@2804:18:1914:9aea:17f4:58a6:7989:dd37) (Client Quit) |
| 2024-09-12 07:00:15 +0200 | Guest28 | (~Guest28@2804:18:1914:9aea:17f4:58a6:7989:dd37) |
| 2024-09-12 07:02:46 +0200 | <cheater> | just fucking... wow |
| 2024-09-12 07:02:47 +0200 | <cheater> | https://discourse.haskell.org/t/formal-complaint-about-the-behavior-and-moderation-policy-of-user-… |
| 2024-09-12 07:06:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 07:08:42 +0200 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-09-12 07:11:37 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2024-09-12 07:12:27 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-12 07:14:37 +0200 | hueso | (~root@user/hueso) (Quit: hueso) |
| 2024-09-12 07:16:23 +0200 | <mauke> | "A pattern where if Francesco doesn’t like part of a discussion he will split that part off into a separate thread. Then, after some time, he’ll delete it when nobody’s looking, so no one can see the thing he doesn’t like." <- that's pretty much what Discourse was built for |
| 2024-09-12 07:16:40 +0200 | <mauke> | s/Francesco/[a moderator]/ |
| 2024-09-12 07:17:19 +0200 | hueso | (~root@user/hueso) |
| 2024-09-12 07:17:36 +0200 | <mauke> | cheater: what is an "erroneous experience"? |
| 2024-09-12 07:20:27 +0200 | <cheater> | no it's 100% francesco |
| 2024-09-12 07:20:46 +0200 | <cheater> | hey if the mod team wants to display proof otherwise they can |
| 2024-09-12 07:21:01 +0200 | <cheater> | but in absence of that the buck stops with him |
| 2024-09-12 07:21:23 +0200 | <mauke> | francesco didn't create discourse |
| 2024-09-12 07:21:32 +0200 | <cheater> | i honestly don't care |
| 2024-09-12 07:22:11 +0200 | <mauke> | Jeff Atwood did, and this sort of thing (moving posts and entire reply chains to other threads) is still called "Jeffing" in some forums |
| 2024-09-12 07:22:41 +0200 | <cheater> | i don't see why you're telling me this |
| 2024-09-12 07:23:01 +0200 | <mauke> | I wasn't talking to you specifically |
| 2024-09-12 07:24:51 +0200 | andrewboltachev | (~andrey@178.141.31.176) |
| 2024-09-12 07:24:53 +0200 | andrewboltachev | (~andrey@178.141.31.176) (Client Quit) |
| 2024-09-12 07:25:20 +0200 | <mauke> | it's more like: I'm not overly surprised to see this happening because the software used was designed to make it easy for moderators to do that |
| 2024-09-12 07:25:45 +0200 | <mauke> | and it's one of the reasons I try to stay away from discourse as much as possible |
| 2024-09-12 07:25:51 +0200 | <cheater> | oh. well that fucking explains why it was chosen then doesn't it |
| 2024-09-12 07:26:09 +0200 | <cheater> | out of all the forum platforms this disgusting eyesore |
| 2024-09-12 07:26:26 +0200 | <mauke> | I wouldn't go that far |
| 2024-09-12 07:26:29 +0200 | <cheater> | that's well noted |
| 2024-09-12 07:26:32 +0200 | <cheater> | i would |
| 2024-09-12 07:26:40 +0200 | Vq | (~vq@81-233-112-186-no600.tbcn.telia.com) (Ping timeout: 252 seconds) |
| 2024-09-12 07:26:58 +0200 | <cheater> | like keep on reading about the whole "the post was flagged by the community" crap |
| 2024-09-12 07:28:35 +0200 | Vq | (~vq@90-226-100-90-no600.tbcn.telia.com) |
| 2024-09-12 07:29:51 +0200 | <mauke> | haha, Discourse still doesn't have a bug tracker |
| 2024-09-12 07:30:08 +0200 | <mauke> | and they've disabled issues on their github |
| 2024-09-12 07:30:39 +0200 | <cheater> | Copy of Discourse (v.37 final) (final) (FINAL) - SHIPPED.zip |
| 2024-09-12 07:31:13 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2024-09-12 07:31:36 +0200 | <cheater> | i bet their bug tracker is an .xls |
| 2024-09-12 07:31:46 +0200 | <cheater> | not even an .ods |
| 2024-09-12 07:33:44 +0200 | euleritian | (~euleritia@dynamic-176-006-132-145.176.6.pool.telefonica.de) |
| 2024-09-12 07:36:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 07:38:47 +0200 | <Leary> | cheater: I won't say f-a was right to delete your comments, but I can guess that the issue is more one of tone than content. I've noticed (here) that you tend to use a harsh and argumentative tone, which some people will inevitably read more into than you intend. |
| 2024-09-12 07:39:12 +0200 | <cheater> | no i don't |
| 2024-09-12 07:39:15 +0200 | <Leary> | This would also (at least partially) explain the appearance of personal bias and double standards. |
| 2024-09-12 07:39:35 +0200 | <cheater> | also, no it doesn't |
| 2024-09-12 07:39:56 +0200 | <mauke> | haha |
| 2024-09-12 07:40:05 +0200 | <cheater> | the first thing the guy deleted was just because he confused himself into hating it. the second one was word for word exactly the same as the other replies that came after it |
| 2024-09-12 07:40:47 +0200 | <cheater> | like just read the stuff that's in front of you before you go throwing milquetoast shade |
| 2024-09-12 07:41:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-12 07:41:36 +0200 | <Leary> | I read most of the post already. |
| 2024-09-12 07:41:40 +0200 | <Leary> | (and that wasn't shade) |
| 2024-09-12 07:42:51 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 2024-09-12 07:43:00 +0200 | <cheater> | ok. read it again then i guess |
| 2024-09-12 07:45:03 +0200 | <mauke> | you're not exactly beating the "harsh and argumentative" allegations |
| 2024-09-12 07:45:14 +0200 | <cheater> | very good |
| 2024-09-12 07:47:31 +0200 | Guest28 | (~Guest28@2804:18:1914:9aea:17f4:58a6:7989:dd37) (Ping timeout: 256 seconds) |
| 2024-09-12 07:51:44 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-09-12 07:52:11 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 07:57:00 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-12 08:02:57 +0200 | neuroevolutus | (~neuroevol@206.217.206.81) |
| 2024-09-12 08:04:26 +0200 | Square2 | (~Square4@user/square) |
| 2024-09-12 08:06:43 +0200 | <haskellbridge> | <magic_rb> I get the frustration with moderation, i also get that being a moderator is very hard, but a good first step would be for you not to be "harsh and argumentative" |
| 2024-09-12 08:06:45 +0200 | neuroevolutus | (~neuroevol@206.217.206.81) (Client Quit) |
| 2024-09-12 08:07:23 +0200 | <cheater> | i'm not "harsh and argumentative", Leary can go and take that and stick it on his livejournal, i don't care |
| 2024-09-12 08:07:37 +0200 | <cheater> | none of the things i described had anything to do with being "harsh and argumentative" |
| 2024-09-12 08:07:39 +0200 | Squared | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2024-09-12 08:07:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 08:10:23 +0200 | <cheater> | the thing i posted clearly displays some extremely shitty decisions by someone who shouldn't be a moderator, if anyone else wants to comment that i didn't dot my p's and q's five weeks ago, you can go ahead and just not say anything |
| 2024-09-12 08:10:25 +0200 | <mauke> | magic_rb: disagree |
| 2024-09-12 08:10:34 +0200 | <cheater> | it's just whataboutism |
| 2024-09-12 08:11:44 +0200 | <haskellbridge> | <magic_rb> 🤷♂️ i dont care anyway, im not on discourse, have fun |
| 2024-09-12 08:13:22 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-12 08:19:47 +0200 | <davean> | cheater: when you say "I'm not X" and a bunch of people say "You're actually X" you might want to self reflect and consider you might not have the best perspective on yourself. |
| 2024-09-12 08:19:56 +0200 | <cheater> | they don't |
| 2024-09-12 08:19:58 +0200 | <cheater> | one guy said it |
| 2024-09-12 08:20:02 +0200 | <cheater> | then the other guy parotted it |
| 2024-09-12 08:20:12 +0200 | <cheater> | then a third guy showed up trying to hivemind it |
| 2024-09-12 08:20:21 +0200 | <cheater> | and now i'm talking to him |
| 2024-09-12 08:20:27 +0200 | <cheater> | even though i asked for no such comments |
| 2024-09-12 08:20:33 +0200 | <cheater> | because apparently he can't read |
| 2024-09-12 08:21:00 +0200 | <cheater> | and instead defaults to gaslighting me |
| 2024-09-12 08:21:20 +0200 | <davean> | Several people here pointed out you were being harsh and argumentitive here. Its a totally different venue. |
| 2024-09-12 08:21:37 +0200 | <cheater> | they didn't |
| 2024-09-12 08:21:39 +0200 | <cheater> | one guy said it |
| 2024-09-12 08:21:43 +0200 | <cheater> | then the other guy parotted it |
| 2024-09-12 08:21:47 +0200 | <davean> | No, they were just polite about it. |
| 2024-09-12 08:21:48 +0200 | <cheater> | then a third guy showed up trying to hivemind it |
| 2024-09-12 08:21:51 +0200 | <cheater> | and now i'm talking to him |
| 2024-09-12 08:22:02 +0200 | <mauke> | what does "Trying to hivemind" mean? |
| 2024-09-12 08:22:15 +0200 | <cheater> | it means, he's not thinking for himself, he's just trying to pile on |
| 2024-09-12 08:22:50 +0200 | <cheater> | you know, maybe if you had your own experiences of me talking to you in the past and being harsh with you, would be a thing |
| 2024-09-12 08:22:58 +0200 | <cheater> | but i don't know who the hell you are |
| 2024-09-12 08:23:06 +0200 | <davean> | I'm just trying to give you a change to improve yourself. |
| 2024-09-12 08:23:09 +0200 | <davean> | Oh I do |
| 2024-09-12 08:23:15 +0200 | <davean> | Boy do I |
| 2024-09-12 08:23:19 +0200 | <mauke> | I have, actually. which is why I said something at all |
| 2024-09-12 08:23:22 +0200 | <davean> | There is a reason I don't generally talk to you |
| 2024-09-12 08:23:32 +0200 | <cheater> | i have no idea who the hell you are buddy |
| 2024-09-12 08:23:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 08:24:01 +0200 | <mauke> | <cheater> i honestly don't care <cheater> i don't see why you're telling me this |
| 2024-09-12 08:24:04 +0200 | <mauke> | about an hour ago |
| 2024-09-12 08:24:06 +0200 | <cheater> | cool |
| 2024-09-12 08:24:23 +0200 | <cheater> | maybe that was because you were being weird and nitpicking about stuff that didn't matter |
| 2024-09-12 08:24:25 +0200 | <davean> | Anyway, I've put in my effort |
| 2024-09-12 08:24:43 +0200 | <cheater> | do you want a medal for "the effort" of gaslighting me |
| 2024-09-12 08:24:45 +0200 | <mauke> | I particularly noticed because you didn't respond to my question that was actually addressed to you |
| 2024-09-12 08:25:02 +0200 | <mauke> | and instead engaged with the other stuff |
| 2024-09-12 08:25:27 +0200 | <cheater> | so i ignored a nitpick which was unrelated to what the post was about and that uh, hurt you or something? |
| 2024-09-12 08:25:42 +0200 | <mauke> | so when your response to "your tone seems harsh and argumentative" was "no, it doesn't", I thought it was funny |
| 2024-09-12 08:25:49 +0200 | <cheater> | <mauke> cheater: what is an "erroneous experience"? |
| 2024-09-12 08:25:53 +0200 | <cheater> | like wtf do you expect me to say here |
| 2024-09-12 08:26:00 +0200 | <mauke> | explain what you mean by that |
| 2024-09-12 08:26:16 +0200 | <mauke> | you used the word "erroneous" twice in your post and it makes no sense to me in that context |
| 2024-09-12 08:26:50 +0200 | <cheater> | yeah well maybe your immediate reaction to start nitpicking wasn't the right one in the first place and i just ignored it |
| 2024-09-12 08:27:09 +0200 | <mauke> | asking for clarification on something I don't understand is not nitpicking |
| 2024-09-12 08:27:21 +0200 | <cheater> | your first comment was a nitpick |
| 2024-09-12 08:27:26 +0200 | <cheater> | the second one looked like one |
| 2024-09-12 08:27:35 +0200 | <mauke> | how so? |
| 2024-09-12 08:27:37 +0200 | <cheater> | whether you meant it as a nitpick or not, too bad, you set the tone |
| 2024-09-12 08:28:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-12 08:29:39 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-09-12 08:30:11 +0200 | rvalue | (~rvalue@user/rvalue) |
| 2024-09-12 08:30:43 +0200 | <mauke> | I don't know what you mean by nitpick (or erroneous, apparently), but to me an essential feature of nitpicking is disagreeing with something, calling it wrong/bad/etc |
| 2024-09-12 08:30:52 +0200 | <mauke> | I don't think I did that |
| 2024-09-12 08:31:10 +0200 | <cheater> | [07:16:40] <mauke> s/Francesco/[a moderator]/ |
| 2024-09-12 08:31:13 +0200 | <cheater> | that's not nitpicking? |
| 2024-09-12 08:31:17 +0200 | <cheater> | yeah it's nitpicking |
| 2024-09-12 08:31:25 +0200 | <mauke> | that was correcting/editing myself |
| 2024-09-12 08:31:42 +0200 | <cheater> | no it wasn't |
| 2024-09-12 08:31:49 +0200 | <cheater> | you were correcting a quote of me that you posted |
| 2024-09-12 08:31:52 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb2758cea4cbcdb0c4b0.dip0.t-ipconnect.de) |
| 2024-09-12 08:32:02 +0200 | <mauke> | yes? |
| 2024-09-12 08:32:10 +0200 | <cheater> | yes, you were nitpicking something i said |
| 2024-09-12 08:32:20 +0200 | <mauke> | no |
| 2024-09-12 08:32:26 +0200 | <mauke> | that's a non sequitur |
| 2024-09-12 08:32:59 +0200 | <cheater> | [07:16:23] <mauke> "A pattern where if Francesco doesn’t like part of a discussion he will split that part off into a separate thread. Then, after some time, he’ll delete it when nobody’s looking, so no one can see the thing he doesn’t like." <- that's pretty much what Discourse was built for |
| 2024-09-12 08:32:59 +0200 | <cheater> | [07:16:40] <mauke> s/Francesco/[a moderator]/ |
| 2024-09-12 08:33:08 +0200 | <cheater> | you copypasted a quote of me, then you corrected it |
| 2024-09-12 08:33:13 +0200 | <mauke> | I was commenting on something from the post, but I wasn't talking about Francesco specifically, but moderation in Discourse in general |
| 2024-09-12 08:33:19 +0200 | <cheater> | it's exactly what you did. |
| 2024-09-12 08:33:28 +0200 | <cheater> | uh |
| 2024-09-12 08:33:36 +0200 | <mauke> | so I slightly paraphrased the quote to make it clearer what I was talking about |
| 2024-09-12 08:33:51 +0200 | <cheater> | ok, well it looked like you were nitpicking |
| 2024-09-12 08:33:56 +0200 | <mauke> | I wasn't trying to imply that Discourse was specifically built for Francesco |
| 2024-09-12 08:34:29 +0200 | <cheater> | oh, so that's what you meant? |
| 2024-09-12 08:34:37 +0200 | <cheater> | yeah there was no chance in hell of understanding it that way |
| 2024-09-12 08:34:55 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2024-09-12 08:35:01 +0200 | <mauke> | <cheater> ok, well it looked like you were nitpicking <- taking a page from your book: "no, it didn't" |
| 2024-09-12 08:35:08 +0200 | <cheater> | idk dude. try using whole sentences or something if you want people to understand you |
| 2024-09-12 08:36:28 +0200 | <mauke> | if instead of s/Francesco/[a moderator]/ I had said "replace 'Francesco' by '[a moderator]' in the thing I just said", would you have read it differently? |
| 2024-09-12 08:36:56 +0200 | <cheater> | no. because you didn't say "francesco" in that comment you made there: <- that's pretty much what Discourse was built for |
| 2024-09-12 08:37:16 +0200 | <cheater> | and besides |
| 2024-09-12 08:37:22 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 08:37:31 +0200 | <mauke> | then why tell me to use whole sentences if it doesn't change anything? |
| 2024-09-12 08:37:36 +0200 | <cheater> | even without that second line no one would ever have thought you're saying Discourse was made specifically for Francesco |
| 2024-09-12 08:38:01 +0200 | <cheater> | well, the problem is that you need to use whole sentences *which make sense* |
| 2024-09-12 08:38:23 +0200 | <cheater> | like sorry but there was no way to make sense out of what you said, whether in short or long form |
| 2024-09-12 08:38:32 +0200 | <cheater> | it was just too cryptic |
| 2024-09-12 08:38:35 +0200 | <mauke> | then how did I do it? |
| 2024-09-12 08:38:48 +0200 | <cheater> | do what |
| 2024-09-12 08:38:53 +0200 | <mauke> | make sense of what I said |
| 2024-09-12 08:39:04 +0200 | <cheater> | you didn't need to because you originated it |
| 2024-09-12 08:39:22 +0200 | <cheater> | am i talking to chat gpt |
| 2024-09-12 08:39:59 +0200 | <cheater> | how should i know how you make sense out of your own thoughts |
| 2024-09-12 08:40:03 +0200 | <cheater> | i'm not inside your head |
| 2024-09-12 08:40:13 +0200 | <mauke> | ok, recognizing that is a start |
| 2024-09-12 08:40:56 +0200 | <cheater> | ok well i'm going to cut this conversation here because it's weird and i don't have time for it |
| 2024-09-12 08:41:14 +0200 | <mauke> | next step: realize that everyone else is not inside *your* head, either |
| 2024-09-12 08:42:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-12 08:43:35 +0200 | <monochrom> | IMO should not have even started in the first place. |
| 2024-09-12 08:43:42 +0200 | <mauke> | FWIW, I think your post deserves a more substantive response than "your tone is bad" or whatever, but I do think that one of the weaknesses in your approach is assigning motivations to others |
| 2024-09-12 08:43:44 +0200 | <cheater> | yea wtf |
| 2024-09-12 08:44:08 +0200 | <cheater> | no i don't care about Francesco's motivations |
| 2024-09-12 08:44:10 +0200 | <cheater> | he's being weird |
| 2024-09-12 08:44:15 +0200 | <cheater> | i explicitly say i don't care why |
| 2024-09-12 08:46:14 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-09-12 08:47:45 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-12 08:48:26 +0200 | <mauke> | monochrom: missing subject |
| 2024-09-12 08:49:10 +0200 | <monochrom> | :) |
| 2024-09-12 08:53:10 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 08:54:11 +0200 | ft | (~ft@p4fc2a393.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-09-12 08:54:23 +0200 | euleritian | (~euleritia@dynamic-176-006-132-145.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-09-12 08:54:45 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-12 08:57:43 +0200 | ubert | (~Thunderbi@178.115.52.77.wireless.dyn.drei.com) |
| 2024-09-12 08:58:11 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-12 08:59:39 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-12 09:00:00 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-09-12 09:00:36 +0200 | caconym | (~caconym@user/caconym) |
| 2024-09-12 09:01:45 +0200 | <dibblego> | has anyone got pango to build on arm64? |
| 2024-09-12 09:02:04 +0200 | <cheater> | no. what errors are you getting? |
| 2024-09-12 09:02:16 +0200 | <cheater> | no as in i haven't tried |
| 2024-09-12 09:04:33 +0200 | <cheater> | are you having linking errors? |
| 2024-09-12 09:07:49 +0200 | <cheater> | Hello, |
| 2024-09-12 09:07:49 +0200 | <cheater> | This is an automated message from Haskell Community to let you know that your post was hidden. |
| 2024-09-12 09:07:49 +0200 | <cheater> | https://discourse.haskell.org/t/formal-complaint-about-the-behavior-and-moderation-policy-of-user-… |
| 2024-09-12 09:07:49 +0200 | <cheater> | Your post was flagged as inappropriate: the community feels it is offensive, abusive, or a violation of our community guidelines. |
| 2024-09-12 09:07:54 +0200 | <cheater> | LMAO |
| 2024-09-12 09:08:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 09:13:13 +0200 | monochrom | (trebla@216.138.220.146) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2024-09-12 09:13:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-12 09:19:46 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 09:22:04 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-09-12 09:23:27 +0200 | monochrom | (trebla@216.138.220.146) |
| 2024-09-12 09:24:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-12 09:25:29 +0200 | ash3en | (~Thunderbi@89.246.174.164) |
| 2024-09-12 09:26:38 +0200 | dextaa | (~DV@user/dextaa) (Ping timeout: 245 seconds) |
| 2024-09-12 09:27:18 +0200 | ash3en | (~Thunderbi@89.246.174.164) (Client Quit) |
| 2024-09-12 09:30:08 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-09-12 09:30:29 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 2024-09-12 09:33:16 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-09-12 09:35:34 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 09:39:54 +0200 | misterfish | (~misterfis@h239071.upc-h.chello.nl) |
| 2024-09-12 09:43:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-12 09:45:52 +0200 | <cheater> | dibblego: are you compiling directly on arm64, or are you cross-compiling? |
| 2024-09-12 09:50:50 +0200 | Feuermagier_ | (~Feuermagi@user/feuermagier) |
| 2024-09-12 09:50:50 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Killed (mercury.libera.chat (Nickname regained by services))) |
| 2024-09-12 09:50:50 +0200 | Feuermagier_ | Feuermagier |
| 2024-09-12 09:50:54 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) |
| 2024-09-12 09:53:20 +0200 | Feuermagier | Guest8825 |
| 2024-09-12 09:53:20 +0200 | Feuermagier_ | (~Feuermagi@user/feuermagier) |
| 2024-09-12 09:53:20 +0200 | Guest8825 | (~Feuermagi@user/feuermagier) (Killed (calcium.libera.chat (Nickname regained by services))) |
| 2024-09-12 09:53:20 +0200 | Feuermagier_ | Feuermagier |
| 2024-09-12 09:54:10 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 09:54:56 +0200 | CiaoSen | (~Jura@2a05:5800:2e0:a600:ca4b:d6ff:fec1:99da) |
| 2024-09-12 09:55:17 +0200 | dextaa | (~DV@user/dextaa) |
| 2024-09-12 09:56:06 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-09-12 09:57:41 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 2024-09-12 09:58:56 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-12 10:09:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 10:10:03 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-12 10:14:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-09-12 10:14:39 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 260 seconds) |
| 2024-09-12 10:14:54 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-12 10:16:47 +0200 | srazkvt | (~sarah@user/srazkvt) |
| 2024-09-12 10:17:12 +0200 | ash3en | (~Thunderbi@89.246.174.164) |
| 2024-09-12 10:21:47 +0200 | ash3en | (~Thunderbi@89.246.174.164) (Ping timeout: 244 seconds) |
| 2024-09-12 10:25:31 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 10:28:07 +0200 | ash3en | (~Thunderbi@89.246.174.164) |
| 2024-09-12 10:30:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-12 10:36:01 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-09-12 10:37:51 +0200 | alexherbo2 | (~alexherbo@2a02-8440-341c-e4cc-00d0-04e6-761f-1e02.rev.sfr.net) |
| 2024-09-12 10:45:43 +0200 | ash3en | (~Thunderbi@89.246.174.164) (Ping timeout: 264 seconds) |
| 2024-09-12 10:48:24 +0200 | chele | (~chele@user/chele) |
| 2024-09-12 10:51:30 +0200 | <fr33domlover> | o/ Is there a typeclass capturing "all types that contain value(s) of a given type A" with a method allowing to map/mapM those values? It's a bit like Functor but more like: class Contains a b where type Mapped a c; mapC :: (b -> c) -> a -> Mapped a c |
| 2024-09-12 10:51:35 +0200 | dextaa | (~DV@user/dextaa) (Ping timeout: 255 seconds) |
| 2024-09-12 10:53:03 +0200 | <fr33domlover> | I basically want to have a class for "types I can serialize, and tuples/records/lists/etc. of such types, except they may contain a live Chan/Handle/IORefs/etc. that I can map to/from serialized form" |
| 2024-09-12 10:54:58 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 10:58:46 +0200 | arahael | (~arahael@user/arahael) (Remote host closed the connection) |
| 2024-09-12 10:59:41 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-12 11:05:43 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-09-12 11:06:27 +0200 | misterfish | (~misterfis@h239071.upc-h.chello.nl) (Ping timeout: 276 seconds) |
| 2024-09-12 11:08:43 +0200 | <[exa]> | fr33domlover: something like ToJSON1/FromJSON1 ? classes like this `SomeProperty1` are quite a common way to capture properties of the containers without looking at the types |
| 2024-09-12 11:09:11 +0200 | <[exa]> | then you would do your functions as `f :: Serializable1 f => f Int -> f Int` or so |
| 2024-09-12 11:09:40 +0200 | <[exa]> | re |
| 2024-09-12 11:10:26 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-09-12 11:10:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 11:11:48 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-09-12 11:11:56 +0200 | <[exa]> | re your original definition "all types that contain values of given type A", do I read that correctly as a set like {t | (∃f) f :: t -> A } ? |
| 2024-09-12 11:15:05 +0200 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-09-12 11:15:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-12 11:15:58 +0200 | <fr33domlover> | [exa]: A better definition perhaps: (1) Atoms (number, text, etc.) ; (2) a specific type A that isn't an atom, e.g. let's say it's an IORef ; (3) tuples, lists, records etc. made of such types |
| 2024-09-12 11:15:58 +0200 | <fr33domlover> | The problem with Functor and FromJSON1 is that for a pair/tuple/Either/etc. I want to map *all* sides, not just the snd/Right/etc. |
| 2024-09-12 11:16:39 +0200 | <[exa]> | ok that might get type-brutal |
| 2024-09-12 11:17:30 +0200 | rembo10 | (~rembo10@main.remulis.com) |
| 2024-09-12 11:17:31 +0200 | <fr33domlover> | Before I implement it myself I just want to check if anything like this already exists :p |
| 2024-09-12 11:17:35 +0200 | <[exa]> | what about lenses? there are pretty good lenses that allow you to monadically traverse things, and the internal complexity (whatever's in the tuples) can be solved trivially just by slapping up another lens at that |
| 2024-09-12 11:18:57 +0200 | <fr33domlover> | I'll look at them |
| 2024-09-12 11:19:52 +0200 | <[exa]> | https://hackage.haskell.org/package/lens-5.3.2/docs/Control-Lens-Traversal.html#v:traverseOf |
| 2024-09-12 11:20:00 +0200 | <[exa]> | basically with this you'd just fill in your |
| 2024-09-12 11:20:12 +0200 | kqr | (~kqr@static.143.81.108.65.clients.your-server.de) (Read error: Connection reset by peer) |
| 2024-09-12 11:20:16 +0200 | <[exa]> | "final" type into the lensy `s t a b` parameters and that could do it |
| 2024-09-12 11:20:20 +0200 | <kuribas> | Isn't that just "each"? |
| 2024-09-12 11:20:25 +0200 | <[exa]> | yes |
| 2024-09-12 11:20:33 +0200 | <[exa]> | traverseOf == id -- <3 |
| 2024-09-12 11:20:51 +0200 | kqr | (~kqr@static.143.81.108.65.clients.your-server.de) |
| 2024-09-12 11:20:57 +0200 | <kuribas> | https://hackage.haskell.org/package/lens-5.3.2/docs/Control-Lens-Each.html |
| 2024-09-12 11:21:19 +0200 | <kuribas> | :t over each |
| 2024-09-12 11:21:20 +0200 | <lambdabot> | Each s t a b => (a -> b) -> s -> t |
| 2024-09-12 11:21:57 +0200 | <kuribas> | :t \f -> over each f (1, 2) |
| 2024-09-12 11:21:58 +0200 | <lambdabot> | Num b => (b -> b') -> (b', b') |
| 2024-09-12 11:23:24 +0200 | <kuribas> | Works with tuples, lists, Eithers, ... |
| 2024-09-12 11:23:47 +0200 | misterfish | (~misterfis@87.215.131.102) |
| 2024-09-12 11:24:24 +0200 | sourcetarius | (~sourcetar@user/sourcetarius) |
| 2024-09-12 11:25:38 +0200 | <kuribas> | I am playing around with creating a functional programming language which is more practical. |
| 2024-09-12 11:25:46 +0200 | <[exa]> | fr33domlover: btw btw if you never lensed, suggest doing Control.Lens.Tutorial; I'd say most of the stuff is borderline incomprehensible without seeing some tutorial use first |
| 2024-09-12 11:26:32 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 11:26:37 +0200 | <kuribas> | For example, have immutable arrays, which allow constant time update if there is not other ref to the array, copy the whole array otherwise. |
| 2024-09-12 11:27:16 +0200 | <kuribas> | fr33domlover: on that level, I recommend exploring the microlens library first, it is simpler and has much better documentation. |
| 2024-09-12 11:27:57 +0200 | <kuribas> | Another idea is term rewriting on thunks, which would allow for constant time list append. |
| 2024-09-12 11:28:02 +0200 | <kuribas> | (amortized). |
| 2024-09-12 11:28:44 +0200 | <ski> | kuribas : uniqueness as in Clean & Mercury ? |
| 2024-09-12 11:29:11 +0200 | <kuribas> | ski: I don't know Clean or mercury... |
| 2024-09-12 11:29:36 +0200 | <ski> | they can statically keep track of when there's exactly one reference to an object |
| 2024-09-12 11:29:46 +0200 | <kuribas> | right, yes that's what I mean. |
| 2024-09-12 11:29:48 +0200 | kqr | (~kqr@static.143.81.108.65.clients.your-server.de) (Quit: WeeChat 3.5) |
| 2024-09-12 11:30:02 +0200 | kqr | (~kqr@static.143.81.108.65.clients.your-server.de) |
| 2024-09-12 11:30:05 +0200 | <kuribas> | Then you can mutate without losing purity. |
| 2024-09-12 11:30:16 +0200 | <kuribas> | And garantee O(1) update. |
| 2024-09-12 11:30:20 +0200 | <ski> | (and then use update-in-place as optimization. or, if the reference is dropped, they can statically reuse the memory for another object to be allocated, or statically insert a `free' call) |
| 2024-09-12 11:30:30 +0200 | dextaa | (~DV@user/dextaa) |
| 2024-09-12 11:30:30 +0200 | <ski> | yes, they do this |
| 2024-09-12 11:31:05 +0200 | <Leary> | IIRC Koka does this dynamically with reference counting. |
| 2024-09-12 11:32:00 +0200 | <ski> | (this is also how they do I/O, you (explicitly) pass a `RealWorld' token around uniquely) |
| 2024-09-12 11:33:37 +0200 | CiaoSen | (~Jura@2a05:5800:2e0:a600:ca4b:d6ff:fec1:99da) (Ping timeout: 248 seconds) |
| 2024-09-12 11:33:58 +0200 | <kuribas> | I want a language with effect polymorphism, like in flix. |
| 2024-09-12 11:34:02 +0200 | <kuribas> | or f* |
| 2024-09-12 11:34:10 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-12 11:34:21 +0200 | <kuribas> | So the programmer doesn't need to worry about either monads or linearity. |
| 2024-09-12 11:34:54 +0200 | <ski> | (btw, linearity is distinct from uniqueness) |
| 2024-09-12 11:37:01 +0200 | <kuribas> | I would have the compiler pass in a boolean with the array, meaning it can be safely mutated. |
| 2024-09-12 11:38:12 +0200 | <kuribas> | And then have an array backed list, which supports efficient append, but it still supports sharing and patter matching (via a view). |
| 2024-09-12 11:39:47 +0200 | <kuribas> | maybe this could work as a ring buffer, then it has efficient append and prepend. |
| 2024-09-12 11:40:17 +0200 | kqr | (~kqr@static.143.81.108.65.clients.your-server.de) (Quit: WeeChat 3.6) |
| 2024-09-12 11:40:23 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 11:41:07 +0200 | kqr | (~kqr@static.143.81.108.65.clients.your-server.de) |
| 2024-09-12 11:41:29 +0200 | kqr | (~kqr@static.143.81.108.65.clients.your-server.de) (Client Quit) |
| 2024-09-12 11:42:21 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-09-12 11:44:05 +0200 | kqr | (~kqr@static.143.81.108.65.clients.your-server.de) |
| 2024-09-12 11:44:30 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 246 seconds) |
| 2024-09-12 11:45:10 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-12 11:45:47 +0200 | alexherbo2 | (~alexherbo@2a02-8440-341c-e4cc-00d0-04e6-761f-1e02.rev.sfr.net) (Remote host closed the connection) |
| 2024-09-12 11:46:02 +0200 | Guest28 | (~Guest28@2804:18:1914:9aea:17f4:58a6:7989:dd37) |
| 2024-09-12 11:47:11 +0200 | kqr | (~kqr@static.143.81.108.65.clients.your-server.de) (Client Quit) |
| 2024-09-12 11:47:22 +0200 | kqr | (~kqr@static.143.81.108.65.clients.your-server.de) |
| 2024-09-12 11:48:55 +0200 | Guest28 | (~Guest28@2804:18:1914:9aea:17f4:58a6:7989:dd37) (Client Quit) |
| 2024-09-12 11:49:51 +0200 | kqr | (~kqr@static.143.81.108.65.clients.your-server.de) (Client Quit) |
| 2024-09-12 11:50:04 +0200 | kqr | (~kqr@static.143.81.108.65.clients.your-server.de) |
| 2024-09-12 11:56:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 11:59:50 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-09-12 12:00:02 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-12 12:00:12 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-12 12:00:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-09-12 12:07:14 +0200 | troydm | (~troydm@user/troydm) (Ping timeout: 260 seconds) |
| 2024-09-12 12:11:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 12:15:27 +0200 | srazkvt | (~sarah@user/srazkvt) (Ping timeout: 244 seconds) |
| 2024-09-12 12:16:42 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-12 12:19:51 +0200 | alexherbo2 | (~alexherbo@2a02-8440-341c-e4cc-00d0-04e6-761f-1e02.rev.sfr.net) |
| 2024-09-12 12:25:54 +0200 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Ping timeout: 260 seconds) |
| 2024-09-12 12:27:04 +0200 | rosco | (~rosco@175.136.158.234) |
| 2024-09-12 12:27:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 12:28:42 +0200 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) |
| 2024-09-12 12:32:28 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-12 12:40:01 +0200 | lortabac | (~lortabac@88-125-6-227.subs.proxad.net) |
| 2024-09-12 12:41:23 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 12:46:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-12 12:46:07 +0200 | xff0x | (~xff0x@2405:6580:b080:900:ee06:88a:1004:2deb) |
| 2024-09-12 12:53:57 +0200 | d-chromebook | (~d-chromeb@p200300f1c7013f0102163efffe654eef.dip0.t-ipconnect.de) |
| 2024-09-12 12:57:11 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 13:00:04 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-09-12 13:02:32 +0200 | caconym | (~caconym@user/caconym) |
| 2024-09-12 13:04:22 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-12 13:04:51 +0200 | d-chromebook | (~d-chromeb@p200300f1c7013f0102163efffe654eef.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-09-12 13:05:19 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) |
| 2024-09-12 13:06:49 +0200 | ash3en | (~Thunderbi@89.246.174.164) |
| 2024-09-12 13:10:50 +0200 | alexherbo2 | (~alexherbo@2a02-8440-341c-e4cc-00d0-04e6-761f-1e02.rev.sfr.net) (Remote host closed the connection) |
| 2024-09-12 13:14:53 +0200 | ZharMeny | (~ZharMeny@user/ZharMeny) |
| 2024-09-12 13:15:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 13:16:09 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-09-12 13:20:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-09-12 13:22:32 +0200 | ZharMeny | (~ZharMeny@user/ZharMeny) (Read error: Connection reset by peer) |
| 2024-09-12 13:22:39 +0200 | ZharMeny` | (~ZharMeny@user/ZharMeny) |
| 2024-09-12 13:23:09 +0200 | ZharMeny` | ZharMeny |
| 2024-09-12 13:31:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 13:36:09 +0200 | weary-traveler | (~user@user/user363627) |
| 2024-09-12 13:37:02 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 2024-09-12 13:37:25 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-12 13:42:23 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 13:46:23 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 244 seconds) |
| 2024-09-12 13:46:34 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-12 13:47:32 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-12 13:47:33 +0200 | euleritian | (~euleritia@dynamic-176-000-149-227.176.0.pool.telefonica.de) |
| 2024-09-12 13:49:06 +0200 | dextaa | (~DV@user/dextaa) (Ping timeout: 252 seconds) |
| 2024-09-12 13:58:10 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 14:00:26 +0200 | alexherbo2 | (~alexherbo@2a02-8440-341c-e4cc-6d9d-e5dd-6367-4cb4.rev.sfr.net) |
| 2024-09-12 14:00:39 +0200 | srazkvt | (~sarah@user/srazkvt) |
| 2024-09-12 14:03:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-12 14:07:48 +0200 | ash3en | (~Thunderbi@89.246.174.164) (Ping timeout: 252 seconds) |
| 2024-09-12 14:12:03 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-09-12 14:12:20 +0200 | arahael | (~arahael@user/arahael) |
| 2024-09-12 14:13:09 +0200 | <haskellbridge> | <Bowuigi> kuribas you might want to have a look at "FP: Fully in-Place Functional Programming" by A. Lorenzen, D. Leijen and W. Swierstra |
| 2024-09-12 14:13:14 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-12 14:13:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 14:15:15 +0200 | <haskellbridge> | <Bowuigi> Leary indeed, the Koka compiler seems to use Perceus with frame limited reuse, described in "Reference Counting with Frame Limited Reuse", by A. Lorenzen and D. Leijen |
| 2024-09-12 14:18:37 +0200 | <haskellbridge> | <Bowuigi> There's a new paper on this too, "Being Lazy When it Counts, Practical Constant-Time Memory Management for Functional Programming", by C. Kit Lam and L. Parreaux |
| 2024-09-12 14:18:47 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-12 14:21:05 +0200 | Usrt | (~Usrt@46.56.199.104) |
| 2024-09-12 14:21:32 +0200 | <Usrt> | https://licha1n.github.io/community |
| 2024-09-12 14:21:57 +0200 | <geekosaur> | is this relevant to Haskell? |
| 2024-09-12 14:22:07 +0200 | ChanServ | +o geekosaur |
| 2024-09-12 14:22:12 +0200 | geekosaur | +b *!*@46.56.199.104 |
| 2024-09-12 14:22:12 +0200 | Usrt | geekosaur (Usrt) |
| 2024-09-12 14:22:53 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-12 14:26:35 +0200 | rosco | (~rosco@175.136.158.234) (Quit: Lost terminal) |
| 2024-09-12 14:27:30 +0200 | <[exa]> | reported to github, will see |
| 2024-09-12 14:29:13 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-12 14:29:37 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 14:34:20 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-12 14:41:00 +0200 | <cheater> | Bowuigi, is that book good? |
| 2024-09-12 14:41:13 +0200 | geekosaur | -o geekosaur |
| 2024-09-12 14:41:29 +0200 | <cheater> | thanks for the quick handling of that geekosaur |
| 2024-09-12 14:42:43 +0200 | <cheater> | it's really weird someone would come to irc to spam an indonesian social network app |
| 2024-09-12 14:43:23 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 14:45:16 +0200 | <ski> | they've spammed in at least four other channels, already |
| 2024-09-12 14:46:33 +0200 | weary-traveler | (~user@user/user363627) |
| 2024-09-12 14:48:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-12 14:48:15 +0200 | john | (~john@2406:5a00:241a:5600:9c80:3a96:1dbc:db32) (Read error: Connection reset by peer) |
| 2024-09-12 14:49:43 +0200 | john | (~john@2406:5a00:241a:5600:9c80:3a96:1dbc:db32) |
| 2024-09-12 14:50:55 +0200 | AlexZenon | (~alzenon@178.34.163.219) (Quit: ;-) |
| 2024-09-12 14:51:46 +0200 | <cheater> | it's so bizarre. i will never understand the motivations behind some spam. |
| 2024-09-12 14:52:49 +0200 | AlexNoo | (~AlexNoo@178.34.163.219) (Quit: Leaving) |
| 2024-09-12 14:55:49 +0200 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Ping timeout: 260 seconds) |
| 2024-09-12 14:57:52 +0200 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) |
| 2024-09-12 14:58:49 +0200 | <probie> | It's cheap to do, and probably pays off if it gets a single user |
| 2024-09-12 14:59:10 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 15:00:46 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 2024-09-12 15:03:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-12 15:06:48 +0200 | CiaoSen | (~Jura@2a05:5800:2e0:a600:ca4b:d6ff:fec1:99da) |
| 2024-09-12 15:07:48 +0200 | meygerjos | (~meygerjos@syn-024-090-143-083.res.spectrum.com) |
| 2024-09-12 15:14:56 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 15:16:34 +0200 | euleritian | (~euleritia@dynamic-176-000-149-227.176.0.pool.telefonica.de) (Ping timeout: 248 seconds) |
| 2024-09-12 15:17:03 +0200 | meygerjos | (~meygerjos@syn-024-090-143-083.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2024-09-12 15:19:49 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-12 15:23:45 +0200 | meygerjos | (~meygerjos@syn-024-090-143-083.res.spectrum.com) |
| 2024-09-12 15:24:36 +0200 | AlexNoo | (~AlexNoo@178.34.163.219) |
| 2024-09-12 15:29:08 +0200 | AlexZenon | (~alzenon@178.34.163.219) |
| 2024-09-12 15:30:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 15:31:19 +0200 | meygerjos | (~meygerjos@syn-024-090-143-083.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-09-12 15:36:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-12 15:36:25 +0200 | dostoyevsky2 | (~sck@user/dostoyevsky2) (Quit: leaving) |
| 2024-09-12 15:36:33 +0200 | ash3en | (~Thunderbi@89.246.174.164) |
| 2024-09-12 15:36:46 +0200 | dostoyevsky2 | (~sck@user/dostoyevsky2) |
| 2024-09-12 15:40:34 +0200 | ash3en | (~Thunderbi@89.246.174.164) (Ping timeout: 244 seconds) |
| 2024-09-12 15:42:04 +0200 | Guest28 | (~Guest28@189.4.121.116) |
| 2024-09-12 15:42:39 +0200 | rosco | (~rosco@175.136.158.234) |
| 2024-09-12 15:44:23 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 15:46:39 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 245 seconds) |
| 2024-09-12 15:49:45 +0200 | Guest28 | (~Guest28@189.4.121.116) (Ping timeout: 256 seconds) |
| 2024-09-12 15:50:00 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-12 15:52:28 +0200 | mari-estel | (~mari-este@p578af18c.dip0.t-ipconnect.de) |
| 2024-09-12 16:00:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 16:03:50 +0200 | alexherbo2 | (~alexherbo@2a02-8440-341c-e4cc-6d9d-e5dd-6367-4cb4.rev.sfr.net) (Remote host closed the connection) |
| 2024-09-12 16:04:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-12 16:06:54 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-09-12 16:12:00 +0200 | euleritian | (~euleritia@dynamic-176-000-149-227.176.0.pool.telefonica.de) |
| 2024-09-12 16:15:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 16:21:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-12 16:26:30 +0200 | mari-estel | (~mari-este@p578af18c.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2024-09-12 16:26:44 +0200 | mari-estel | (~mari-este@p578af18c.dip0.t-ipconnect.de) |
| 2024-09-12 16:28:23 +0200 | <cheater> | i think you're right |
| 2024-09-12 16:31:02 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-12 16:31:33 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-09-12 16:31:55 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 16:32:55 +0200 | mari-estel | (~mari-este@p578af18c.dip0.t-ipconnect.de) () |
| 2024-09-12 16:34:27 +0200 | ash3en | (~Thunderbi@89.246.174.164) |
| 2024-09-12 16:36:44 +0200 | CiaoSen | (~Jura@2a05:5800:2e0:a600:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds) |
| 2024-09-12 16:36:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-12 16:41:26 +0200 | son0p | (~ff@186.121.49.191) (Ping timeout: 252 seconds) |
| 2024-09-12 16:43:05 +0200 | ubert | (~Thunderbi@178.115.52.77.wireless.dyn.drei.com) (Quit: ubert) |
| 2024-09-12 16:43:18 +0200 | ubert1 | (~Thunderbi@178.115.52.77.wireless.dyn.drei.com) |
| 2024-09-12 16:44:03 +0200 | athan | (~athan@108.147.189.17) |
| 2024-09-12 16:45:12 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-09-12 16:45:23 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 16:47:36 +0200 | ubert1 | (~Thunderbi@178.115.52.77.wireless.dyn.drei.com) (Ping timeout: 246 seconds) |
| 2024-09-12 16:47:40 +0200 | ash3en | (~Thunderbi@89.246.174.164) (Ping timeout: 252 seconds) |
| 2024-09-12 16:50:12 +0200 | euleritian | (~euleritia@dynamic-176-000-149-227.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-09-12 16:50:30 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-12 16:50:52 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-12 16:51:43 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-12 16:56:13 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2024-09-12 16:58:40 +0200 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 252 seconds) |
| 2024-09-12 17:02:32 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 17:07:22 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-09-12 17:15:49 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 2024-09-12 17:18:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 17:18:26 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-09-12 17:20:49 +0200 | lortabac | (~lortabac@88-125-6-227.subs.proxad.net) (Quit: WeeChat 4.2.2) |
| 2024-09-12 17:23:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-12 17:26:31 +0200 | AlexZenon | (~alzenon@178.34.163.219) (Ping timeout: 264 seconds) |
| 2024-09-12 17:28:13 +0200 | <kuribas> | Another thing I wanted for my language is immutable records with mutable syntax. |
| 2024-09-12 17:28:22 +0200 | athan | (~athan@108.147.189.17) (Ping timeout: 252 seconds) |
| 2024-09-12 17:28:53 +0200 | <kuribas> | So you can say p.age = 20, it would update the age field of p, then reassign the variable p. |
| 2024-09-12 17:28:55 +0200 | mari-estel | (~mari-este@dslb-002-204-251-068.002.204.pools.vodafone-ip.de) |
| 2024-09-12 17:29:00 +0200 | <kuribas> | But not mutate the original record. |
| 2024-09-12 17:30:05 +0200 | AlexZenon | (~alzenon@178.34.163.219) |
| 2024-09-12 17:32:46 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 17:38:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-12 17:39:34 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-12 17:39:44 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 255 seconds) |
| 2024-09-12 17:45:56 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-09-12 17:46:23 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 17:50:18 +0200 | spew | (~spew@201.141.99.170) |
| 2024-09-12 17:53:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-12 17:53:53 +0200 | <haskellbridge> | <Bowuigi> cheater which book? |
| 2024-09-12 17:53:54 +0200 | Pixi__ | (~Pixi@user/pixi) |
| 2024-09-12 17:54:14 +0200 | <cheater> | Bowuigi: Lorenzen Leijen Swiestra |
| 2024-09-12 17:54:33 +0200 | mari17189 | (~mari-este@dslb-002-204-251-068.002.204.pools.vodafone-ip.de) |
| 2024-09-12 17:54:39 +0200 | nschoe- | (~nschoe@2a01:e0a:8e:a190:457d:2ee7:c4d1:bcb5) |
| 2024-09-12 17:54:52 +0200 | ames3 | (~amelia@offtopia/offtopian/amelia) |
| 2024-09-12 17:54:53 +0200 | bollu6 | (~bollu@159.65.151.13) |
| 2024-09-12 17:55:08 +0200 | caconym9 | (~caconym@user/caconym) |
| 2024-09-12 17:55:25 +0200 | st_aldini1 | (~Thunderbi@136.48.22.91) |
| 2024-09-12 17:55:27 +0200 | <haskellbridge> | <Bowuigi> Ah, FP2 is a paper, a quick look says yeah, it's good |
| 2024-09-12 17:55:32 +0200 | rini_ | (~rini@user/rini) |
| 2024-09-12 17:55:54 +0200 | Yumemi_ | (~Yumemi@2001:bc8:47a0:1b14::1) |
| 2024-09-12 17:56:10 +0200 | teesquare_ | (~teesquare@user/teesquare) |
| 2024-09-12 17:56:19 +0200 | TheCoffeMaker_ | (~TheCoffeM@186.136.173.70) |
| 2024-09-12 17:58:10 +0200 | peutri_ | (~peutri@bobo.desast.re) |
| 2024-09-12 17:58:19 +0200 | spenat_ | (~spenat@c-1125235c.012-6-62726f1.bbcust.telenor.se) |
| 2024-09-12 17:58:24 +0200 | lxsameer1 | (~lxsameer@Serene/lxsameer) |
| 2024-09-12 17:58:27 +0200 | mauke_ | (~mauke@user/mauke) |
| 2024-09-12 17:58:30 +0200 | sprout_ | (~sprout@84-80-106-227.fixed.kpn.net) |
| 2024-09-12 17:58:30 +0200 | cjay- | (cjay@nerdbox.nerd2nerd.org) |
| 2024-09-12 17:58:42 +0200 | ian_ | (~ian@matrix.chaos.earth.li) |
| 2024-09-12 17:58:45 +0200 | __monty_1 | (~toonn@user/toonn) |
| 2024-09-12 17:58:49 +0200 | hughjfch1 | (~hughjfche@vmi556545.contaboserver.net) |
| 2024-09-12 17:58:59 +0200 | Maxdaman1us | (~Maxdamant@user/maxdamantus) |
| 2024-09-12 17:59:15 +0200 | Miroboru_ | (~myrvoll@178-164-114.82.3p.ntebredband.no) |
| 2024-09-12 17:59:27 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-09-12 17:59:45 +0200 | <haskellbridge> | <Bowuigi> And Microsoft Research tends to do cool stuff in FP, specially when Leijen is involved |
| 2024-09-12 18:01:21 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-09-12 18:01:39 +0200 | euleritian | (~euleritia@dynamic-176-000-149-227.176.0.pool.telefonica.de) |
| 2024-09-12 18:03:31 +0200 | mari-estel | (~mari-este@dslb-002-204-251-068.002.204.pools.vodafone-ip.de) (*.net *.split) |
| 2024-09-12 18:03:32 +0200 | caconym | (~caconym@user/caconym) (*.net *.split) |
| 2024-09-12 18:03:32 +0200 | __monty__ | (~toonn@user/toonn) (*.net *.split) |
| 2024-09-12 18:03:33 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (*.net *.split) |
| 2024-09-12 18:03:34 +0200 | swamp_ | (~zmt00@user/zmt00) (*.net *.split) |
| 2024-09-12 18:03:36 +0200 | tt123109783243 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (*.net *.split) |
| 2024-09-12 18:03:36 +0200 | op_4 | (~tslil@user/op-4/x-9116473) (*.net *.split) |
| 2024-09-12 18:03:36 +0200 | spenat | (~spenat@c-1125235c.012-6-62726f1.bbcust.telenor.se) (*.net *.split) |
| 2024-09-12 18:03:36 +0200 | yaroot | (~yaroot@2400:4052:ac0:d901:1cf4:2aff:fe51:c04c) (*.net *.split) |
| 2024-09-12 18:03:37 +0200 | Pixi` | (~Pixi@user/pixi) (*.net *.split) |
| 2024-09-12 18:03:37 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b9e0:d5ba:7298:a21a:356f) (*.net *.split) |
| 2024-09-12 18:03:37 +0200 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) (*.net *.split) |
| 2024-09-12 18:03:37 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (*.net *.split) |
| 2024-09-12 18:03:38 +0200 | integral | (sid296274@user/integral) (*.net *.split) |
| 2024-09-12 18:03:38 +0200 | Yumemi | (~Yumemi@chamoin.net) (*.net *.split) |
| 2024-09-12 18:03:38 +0200 | SrPx | (sid108780@id-108780.uxbridge.irccloud.com) (*.net *.split) |
| 2024-09-12 18:03:39 +0200 | st_aldini | (~Thunderbi@136.48.22.91) (*.net *.split) |
| 2024-09-12 18:03:40 +0200 | sprout | (~sprout@84-80-106-227.fixed.kpn.net) (*.net *.split) |
| 2024-09-12 18:03:40 +0200 | hammond | (proscan@gateway04.insomnia247.nl) (*.net *.split) |
| 2024-09-12 18:03:40 +0200 | nschoe | (~nschoe@82-65-202-30.subs.proxad.net) (*.net *.split) |
| 2024-09-12 18:03:40 +0200 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) (*.net *.split) |
| 2024-09-12 18:03:40 +0200 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) (*.net *.split) |
| 2024-09-12 18:03:40 +0200 | mauke | (~mauke@user/mauke) (*.net *.split) |
| 2024-09-12 18:03:40 +0200 | rini | (~rini@user/rini) (*.net *.split) |
| 2024-09-12 18:03:40 +0200 | ames | (~amelia@offtopia/offtopian/amelia) (*.net *.split) |
| 2024-09-12 18:03:40 +0200 | peutri | (~peutri@bobo.desast.re) (*.net *.split) |
| 2024-09-12 18:03:40 +0200 | teesquare | (~teesquare@user/teesquare) (*.net *.split) |
| 2024-09-12 18:03:40 +0200 | lystra | (~lystra@208.59.105.41) (*.net *.split) |
| 2024-09-12 18:03:41 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) (*.net *.split) |
| 2024-09-12 18:03:41 +0200 | Igloo | (~ian@matrix.chaos.earth.li) (*.net *.split) |
| 2024-09-12 18:03:41 +0200 | bollu | (~bollu@159.65.151.13) (*.net *.split) |
| 2024-09-12 18:03:41 +0200 | lyxia | (~lyxia@poisson.chat) (*.net *.split) |
| 2024-09-12 18:03:41 +0200 | davean | (~davean@davean.sciesnet.net) (*.net *.split) |
| 2024-09-12 18:03:41 +0200 | cjay | (cjay@nerdbox.nerd2nerd.org) (*.net *.split) |
| 2024-09-12 18:03:41 +0200 | Aleksejs | (~Aleksejs@107.170.21.106) (*.net *.split) |
| 2024-09-12 18:03:42 +0200 | rini_ | rini |
| 2024-09-12 18:03:42 +0200 | caconym9 | caconym |
| 2024-09-12 18:03:43 +0200 | ames3 | ames |
| 2024-09-12 18:03:43 +0200 | st_aldini1 | st_aldini |
| 2024-09-12 18:03:43 +0200 | mauke_ | mauke |
| 2024-09-12 18:03:44 +0200 | bollu6 | bollu |
| 2024-09-12 18:03:44 +0200 | ghodawalaaman | (~thelounge@user/thelounge8234) (Read error: Connection reset by peer) |
| 2024-09-12 18:03:56 +0200 | Aleksejs | (~Aleksejs@107.170.21.106) |
| 2024-09-12 18:04:05 +0200 | hammond | (proscan@gateway04.insomnia247.nl) |
| 2024-09-12 18:04:31 +0200 | ghodawalaaman | (~thelounge@user/thelounge8234) |
| 2024-09-12 18:04:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 18:04:56 +0200 | ubert | (~Thunderbi@178.115.52.77.wireless.dyn.drei.com) |
| 2024-09-12 18:08:51 +0200 | <cheater> | yeah sure they do good research in general |
| 2024-09-12 18:09:10 +0200 | davean | (~davean@davean.sciesnet.net) |
| 2024-09-12 18:09:28 +0200 | lystra | (~lystra@208.59.105.41) |
| 2024-09-12 18:09:58 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-12 18:10:45 +0200 | lyxia | (~lyxia@poisson.chat) |
| 2024-09-12 18:17:42 +0200 | meygerjos | (~meygerjos@syn-024-090-143-083.res.spectrum.com) |
| 2024-09-12 18:20:20 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 18:21:26 +0200 | mml_ | (~mml@157-131-53-74.fiber.dynamic.sonic.net) (Quit: leaving) |
| 2024-09-12 18:22:06 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-09-12 18:25:11 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-12 18:30:13 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-09-12 18:32:18 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-12 18:32:25 +0200 | Piedro | (~Piedro@85.254.74.75) |
| 2024-09-12 18:36:07 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 18:36:33 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-12 18:36:54 +0200 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2024-09-12 18:38:16 +0200 | Piedro | (~Piedro@85.254.74.75) (Remote host closed the connection) |
| 2024-09-12 18:39:27 +0200 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-12 18:39:41 +0200 | haritz | (~hrtz@user/haritz) (Read error: Connection reset by peer) |
| 2024-09-12 18:41:21 +0200 | haritz | (~hrtz@2a02:8010:65b5:0:5d9a:9bab:ee5e:b737) |
| 2024-09-12 18:41:21 +0200 | haritz | (~hrtz@2a02:8010:65b5:0:5d9a:9bab:ee5e:b737) (Changing host) |
| 2024-09-12 18:41:21 +0200 | haritz | (~hrtz@user/haritz) |
| 2024-09-12 18:41:31 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-09-12 18:41:33 +0200 | __monty_1 | __monty__ |
| 2024-09-12 18:42:50 +0200 | meygerjos | (~meygerjos@syn-024-090-143-083.res.spectrum.com) (Remote host closed the connection) |
| 2024-09-12 18:43:15 +0200 | meygerjos | (~meygerjos@syn-024-090-143-083.res.spectrum.com) |
| 2024-09-12 18:47:22 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 18:49:40 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-09-12 18:51:05 +0200 | son0p | (~ff@186.121.49.191) |
| 2024-09-12 18:52:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-09-12 18:52:55 +0200 | ft | (~ft@p4fc2a393.dip0.t-ipconnect.de) |
| 2024-09-12 18:52:55 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 18:54:15 +0200 | pointlessslippe- | (~pointless@62.106.85.17) (Read error: Connection reset by peer) |
| 2024-09-12 18:57:29 +0200 | john | (~john@2406:5a00:241a:5600:9c80:3a96:1dbc:db32) (Read error: Connection reset by peer) |
| 2024-09-12 18:57:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-12 18:58:14 +0200 | rosco | (~rosco@175.136.158.234) (Read error: Connection reset by peer) |
| 2024-09-12 18:58:20 +0200 | john | (~john@2406:5a00:241a:5600:64db:a6da:b040:bf3f) |
| 2024-09-12 19:01:30 +0200 | swamp_ | (~zmt00@user/zmt00) |
| 2024-09-12 19:01:30 +0200 | tt123109783243 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) |
| 2024-09-12 19:01:30 +0200 | op_4 | (~tslil@user/op-4/x-9116473) |
| 2024-09-12 19:01:30 +0200 | yaroot | (~yaroot@2400:4052:ac0:d901:1cf4:2aff:fe51:c04c) |
| 2024-09-12 19:01:30 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b9e0:d5ba:7298:a21a:356f) |
| 2024-09-12 19:01:30 +0200 | integral | (sid296274@user/integral) |
| 2024-09-12 19:01:30 +0200 | SrPx | (sid108780@id-108780.uxbridge.irccloud.com) |
| 2024-09-12 19:01:34 +0200 | tt123109783243 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Max SendQ exceeded) |
| 2024-09-12 19:01:34 +0200 | swamp_ | (~zmt00@user/zmt00) (Max SendQ exceeded) |
| 2024-09-12 19:01:34 +0200 | SrPx | (sid108780@id-108780.uxbridge.irccloud.com) (Max SendQ exceeded) |
| 2024-09-12 19:01:58 +0200 | swamp_ | (~zmt00@user/zmt00) |
| 2024-09-12 19:02:01 +0200 | tt123109783243 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) |
| 2024-09-12 19:03:35 +0200 | SrPx | (sid108780@id-108780.uxbridge.irccloud.com) |
| 2024-09-12 19:06:38 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 252 seconds) |
| 2024-09-12 19:08:40 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 19:09:09 +0200 | ubert | (~Thunderbi@178.115.52.77.wireless.dyn.drei.com) (Ping timeout: 260 seconds) |
| 2024-09-12 19:11:19 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) |
| 2024-09-12 19:11:23 +0200 | mari17189 | (~mari-este@dslb-002-204-251-068.002.204.pools.vodafone-ip.de) (Quit: bye) |
| 2024-09-12 19:12:06 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-12 19:13:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-12 19:15:57 +0200 | spenat_ | spenat |
| 2024-09-12 19:19:35 +0200 | lxsameer1 | (~lxsameer@Serene/lxsameer) (Quit: WeeChat 4.4.1) |
| 2024-09-12 19:22:49 +0200 | <tomsmeding> | only tangentially related, but there's also the whole Gibbon chain of papers |
| 2024-09-12 19:22:53 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 245 seconds) |
| 2024-09-12 19:23:30 +0200 | <tomsmeding> | (the idea of Gibbon is to not represent an ADT as a tree of pointers in memory, like Haskell does, but as a serialised blob; this means that mutating traversals allocate a new buffer and re-serialise the new stuff there) |
| 2024-09-12 19:23:43 +0200 | <tomsmeding> | (and various other shenanigans to make that mostly work; there is also a paper on parallel gibbon) |
| 2024-09-12 19:24:02 +0200 | <tomsmeding> | the promise is much faster manipulation of ADTs because CPUs like flat buffers very much |
| 2024-09-12 19:24:18 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-09-12 19:24:27 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 19:25:25 +0200 | <haskellbridge> | <magic_rb> tomsmeding i was just talking to a JVM developer, they had smth similar where the jvm could store objects in network serialized form to speed up network workloads |
| 2024-09-12 19:25:36 +0200 | <haskellbridge> | <magic_rb> So a part of the heap would be in "network format" |
| 2024-09-12 19:26:09 +0200 | <tomsmeding> | magic_rb: that's super cool |
| 2024-09-12 19:26:46 +0200 | <haskellbridge> | <magic_rb> Idk if it made it into mainline jvm implementations, dont think so, i can ask him next week (he's teaching a course at the VU) |
| 2024-09-12 19:27:02 +0200 | <tomsmeding> | have fun! :) |
| 2024-09-12 19:27:12 +0200 | <haskellbridge> | <magic_rb> Thanks, im already having it :) |
| 2024-09-12 19:27:17 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-09-12 19:29:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-12 19:36:12 +0200 | <dmj`> | gibbon might also be the answer to WPO being "too large to fit into memory", if you mmap'd the AST |
| 2024-09-12 19:36:42 +0200 | <tomsmeding> | is the AST itself really the memory bottleneck though? |
| 2024-09-12 19:37:06 +0200 | <tomsmeding> | I guess with types and all it does get big |
| 2024-09-12 19:38:00 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 272 seconds) |
| 2024-09-12 19:38:02 +0200 | <dmj`> | assuming compilation is just one giant module (imported from all your deps.), it will be large |
| 2024-09-12 19:39:32 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-09-12 19:41:54 +0200 | <dmj`> | tomsmeding: but who knows, RAM is large these days, GHC probably only had 1MB to work w/ back in the day |
| 2024-09-12 19:42:01 +0200 | dehsou^ | (dehsou@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2024-09-12 19:42:16 +0200 | <tomsmeding> | GHC in 1MB ram? |
| 2024-09-12 19:42:26 +0200 | <dolio> | I don't think so. |
| 2024-09-12 19:42:29 +0200 | <tomsmeding> | GHC these days can't even compile hello world in 1MB ram :p |
| 2024-09-12 19:42:41 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2024-09-12 19:43:19 +0200 | meygerjos | (~meygerjos@syn-024-090-143-083.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-09-12 19:44:48 +0200 | athan | (~athan@2600:382:2d14:49a8:3f04:b369:552f:3d49) |
| 2024-09-12 19:48:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 19:49:18 +0200 | ash3en | (~Thunderbi@2a01:c23:8d31:bb00:aa84:6e2a:d9a4:5759) |
| 2024-09-12 19:49:32 +0200 | <dolio> | I guess in the very early days that would have been about right on a low end consumer machine, but I don't know what you'd have at a university. |
| 2024-09-12 19:52:27 +0200 | sprout_ | sprout |
| 2024-09-12 19:53:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-12 19:55:35 +0200 | <[exa]> | magic_rb: is that like the green trees from C# folks and tree-sitter? |
| 2024-09-12 19:56:30 +0200 | <haskellbridge> | <magic_rb> [exa] not sure, idk what a green tree is tbj |
| 2024-09-12 19:57:57 +0200 | <geekosaur> | what you'll have at a university will be old, slow, and as low memory as they can get away with 🙂 |
| 2024-09-12 19:58:16 +0200 | <dmj`> | at uni maybe it was still in C at that point, like miranda, not sure when it became self-hosting |
| 2024-09-12 19:58:21 +0200 | <mauke> | don't talk that way about professors |
| 2024-09-12 19:58:29 +0200 | <geekosaur> | unless they were able to cut a deal with e.g. Dell, but even then they're liable to be a bunch of low end machines |
| 2024-09-12 19:58:40 +0200 | <dmj`> | dude, you're getting a dell |
| 2024-09-12 19:59:41 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
| 2024-09-12 20:00:38 +0200 | <[exa]> | magic_rb: as far as I got it, green trees are basically a buffer + some small treeish scaffold on top that allows you to regenerate the AST quickly on demand without reparsing |
| 2024-09-12 20:00:49 +0200 | <dolio> | Original GHC was written in Lazy ML, then ported to Haskell. |
| 2024-09-12 20:01:18 +0200 | <haskellbridge> | <magic_rb> [exa]: Not sure, ill ask him on tuesday for more details |
| 2024-09-12 20:01:25 +0200 | <[exa]> | ok thanks |
| 2024-09-12 20:01:30 +0200 | <[exa]> | links would be welcome :] |
| 2024-09-12 20:02:07 +0200 | misterfish | (~misterfis@84.53.85.146) |
| 2024-09-12 20:02:46 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-09-12 20:03:09 +0200 | <[exa]> | hm ok another blogpost says that green trees are deduplicated ASTs |
| 2024-09-12 20:03:11 +0200 | <[exa]> | chaos |
| 2024-09-12 20:04:10 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 20:04:29 +0200 | <tomsmeding> | that's... quite something different |
| 2024-09-12 20:05:56 +0200 | <[exa]> | yes |
| 2024-09-12 20:06:43 +0200 | <[exa]> | tomsmeding: btw would this belong to the "gibbon chain" ? https://kar.kent.ac.uk/98980/1/LIPIcs-ECOOP-2017-26.pdf |
| 2024-09-12 20:07:16 +0200 | <tomsmeding> | er, i dunno |
| 2024-09-12 20:07:42 +0200 | <tomsmeding> | ah yes |
| 2024-09-12 20:07:44 +0200 | <tomsmeding> | https://iu-parfunc.github.io/gibbon/ |
| 2024-09-12 20:08:43 +0200 | <tomsmeding> | it doesn't say "gibbon" in the title, bad title |
| 2024-09-12 20:09:07 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-09-12 20:09:36 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-09-12 20:10:41 +0200 | <[exa]> | ah yeah that's it then |
| 2024-09-12 20:12:08 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-09-12 20:14:07 +0200 | <[exa]> | oh cool, somehow getting heavy warren machine vibes from there |
| 2024-09-12 20:15:59 +0200 | <tomsmeding> | why does GHC.TypeLits.SSymbol not implement IsLabel |
| 2024-09-12 20:18:57 +0200 | athan | (~athan@2600:382:2d14:49a8:3f04:b369:552f:3d49) (Ping timeout: 276 seconds) |
| 2024-09-12 20:19:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 20:20:48 +0200 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Ping timeout: 245 seconds) |
| 2024-09-12 20:21:46 +0200 | YoungFrog | (~youngfrog@2a02:a03f:c9db:fc00:9f14:9018:36b4:c89c) |
| 2024-09-12 20:23:33 +0200 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 246 seconds) |
| 2024-09-12 20:24:13 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-09-12 20:25:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-12 20:25:32 +0200 | <dmj`> | dolio: wow, never knew that |
| 2024-09-12 20:25:50 +0200 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) |
| 2024-09-12 20:28:52 +0200 | <[exa]> | tomsmeding: looks to me like the intended way to construct SSymbols wasn't OverloadedLabels |
| 2024-09-12 20:29:12 +0200 | <tomsmeding> | [exa]: sure -- but there's only one sensible instance |
| 2024-09-12 20:29:57 +0200 | <tomsmeding> | and also, perhaps SSymbol wasn't meant for OverloadedLabels, but OverloadedLabels was clearly meant for SSymbol! |
| 2024-09-12 20:30:20 +0200 | <tomsmeding> | what _else_ am I going to do with a Symbol than store it in an SSymbol? |
| 2024-09-12 20:30:29 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-12 20:31:42 +0200 | euleritian | (~euleritia@dynamic-176-000-149-227.176.0.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-09-12 20:32:10 +0200 | <dmj`> | :t symbolVal |
| 2024-09-12 20:32:11 +0200 | <lambdabot> | error: Variable not in scope: symbolVal |
| 2024-09-12 20:32:26 +0200 | euleritian | (~euleritia@dynamic-176-000-149-227.176.0.pool.telefonica.de) |
| 2024-09-12 20:32:32 +0200 | <tomsmeding> | % :t GHC.TypeLits.symbolVal |
| 2024-09-12 20:32:32 +0200 | <yahb2> | GHC.TypeLits.symbolVal ; :: GHC.TypeLits.KnownSymbol n => proxy n -> String |
| 2024-09-12 20:32:38 +0200 | <tomsmeding> | I mean, sure |
| 2024-09-12 20:32:58 +0200 | <tomsmeding> | the fact that you can also forget some of the type information is not an argument for making it hard to keep it :p |
| 2024-09-12 20:33:38 +0200 | <tomsmeding> | I mean, now I go `data Name n = Name (SSymbol n); instance (KnownSymbol n, n ~ n') => IsLabel n (Name n') where fromLabel = Name symbolSing` |
| 2024-09-12 20:33:47 +0200 | <tomsmeding> | er, s/data/newtype/ |
| 2024-09-12 20:34:01 +0200 | <tomsmeding> | which is just recreating SSymbol because they forgot to put an IsLabel instance on it |
| 2024-09-12 20:44:35 +0200 | infinity0 | (~infinity0@pwned.gg) |
| 2024-09-12 20:49:23 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 20:54:31 +0200 | <cheater> | tomsmeding: when gibboning, does it make sense to create your serialized structures with holes in it, so you can update things in-place and only have to COW when you run out of space in a special situation? |
| 2024-09-12 20:54:34 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-12 20:54:45 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 2024-09-12 20:55:19 +0200 | <tomsmeding> | or when you have to duplicate the structure |
| 2024-09-12 20:55:46 +0200 | <tomsmeding> | I don't recall the gibbon stuff talking about holes like that, but then I have only read one or two of the papers and long ago at that :D |
| 2024-09-12 20:56:01 +0200 | euleritian | (~euleritia@dynamic-176-000-149-227.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-09-12 20:56:19 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-12 20:58:16 +0200 | Guest|22 | (~Guest|22@78.172.202.245) |
| 2024-09-12 20:58:37 +0200 | Guest|22 | (~Guest|22@78.172.202.245) (Client Quit) |
| 2024-09-12 20:59:55 +0200 | <dolio> | Isn't it Gibbonsing? |
| 2024-09-12 21:00:03 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-09-12 21:00:06 +0200 | <cheater> | i thought it was gibbonifying |
| 2024-09-12 21:00:17 +0200 | alex`` | (~user@220.red-83-36-46.dynamicip.rima-tde.net) |
| 2024-09-12 21:00:25 +0200 | <dolio> | Gibbonsifying? |
| 2024-09-12 21:00:33 +0200 | <cheater> | gibbonimating? |
| 2024-09-12 21:00:40 +0200 | caconym9 | (~caconym@user/caconym) |
| 2024-09-12 21:00:40 +0200 | <tomsmeding> | dolio: well, since Gibbons is not involved |
| 2024-09-12 21:00:51 +0200 | <dolio> | Oh. |
| 2024-09-12 21:00:52 +0200 | <cheater> | it's gotta be gibbonsmashing, right? |
| 2024-09-12 21:00:58 +0200 | <alex``> | @hoogle lower |
| 2024-09-12 21:00:59 +0200 | <lambdabot> | Text.Parsec.Char lower :: Stream s m Char => ParsecT s u m Char |
| 2024-09-12 21:00:59 +0200 | <lambdabot> | Text.ParserCombinators.Parsec.Char lower :: Stream s m Char => ParsecT s u m Char |
| 2024-09-12 21:00:59 +0200 | <lambdabot> | Distribution.Compat.CharParsing lower :: CharParsing m => m Char |
| 2024-09-12 21:01:37 +0200 | <dolio> | Is gibbon the name of the system or something? |
| 2024-09-12 21:01:49 +0200 | <tomsmeding> | yes |
| 2024-09-12 21:01:53 +0200 | <tomsmeding> | https://iu-parfunc.github.io/gibbon/ |
| 2024-09-12 21:02:00 +0200 | <dolio> | Okay. I thought it was who was writing papers about it. |
| 2024-09-12 21:02:05 +0200 | <tomsmeding> | :) |
| 2024-09-12 21:02:23 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-09-12 21:02:25 +0200 | <tomsmeding> | missed an opportunity to get Jeremy involved as a coauthor though, just for the name |
| 2024-09-12 21:02:54 +0200 | <monochrom> | gibbonsificationize |
| 2024-09-12 21:03:33 +0200 | <cheater> | a Gibbon implies the existence of the equal in charge but opposite in spin Gibboff. |
| 2024-09-12 21:04:29 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2024-09-12 21:05:10 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 21:09:07 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 264 seconds) |
| 2024-09-12 21:10:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-12 21:20:42 +0200 | alex`` | (~user@220.red-83-36-46.dynamicip.rima-tde.net) (Ping timeout: 276 seconds) |
| 2024-09-12 21:20:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 21:25:13 +0200 | rao^ | (~rao@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-09-12 21:25:42 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-12 21:25:57 +0200 | ash3en | (~Thunderbi@2a01:c23:8d31:bb00:aa84:6e2a:d9a4:5759) (Quit: ash3en) |
| 2024-09-12 21:31:24 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 2024-09-12 21:41:40 +0200 | ash3en | (~Thunderbi@2a01:c23:8d31:bb00:aa84:6e2a:d9a4:5759) |
| 2024-09-12 21:44:40 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 272 seconds) |
| 2024-09-12 21:51:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 21:57:11 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-12 21:58:38 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-12 22:03:39 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-12 22:07:49 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 22:12:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-12 22:13:58 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-09-12 22:18:27 +0200 | ash3en | (~Thunderbi@2a01:c23:8d31:bb00:aa84:6e2a:d9a4:5759) (Ping timeout: 265 seconds) |
| 2024-09-12 22:19:55 +0200 | ash3en | (~Thunderbi@2a01:c23:88a5:fe00:731e:9fb8:31d7:905b) |
| 2024-09-12 22:20:15 +0200 | notzmv | (~daniel@user/notzmv) |
| 2024-09-12 22:23:34 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 22:26:53 +0200 | ash3en1 | (~Thunderbi@2a01:c23:90cb:5500:5595:edf1:acb8:691e) |
| 2024-09-12 22:26:55 +0200 | meygerjos | (~meygerjos@syn-024-090-143-083.res.spectrum.com) |
| 2024-09-12 22:28:19 +0200 | ash3en | (~Thunderbi@2a01:c23:88a5:fe00:731e:9fb8:31d7:905b) (Ping timeout: 245 seconds) |
| 2024-09-12 22:28:19 +0200 | ash3en1 | ash3en |
| 2024-09-12 22:28:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-12 22:29:00 +0200 | kaskal | (~kaskal@2001:4bb8:2c0:e7da:c513:1c36:5f64:6c34) |
| 2024-09-12 22:29:09 +0200 | kaskal- | (~kaskal@213-225-32-95.nat.highway.a1.net) (Ping timeout: 248 seconds) |
| 2024-09-12 22:40:36 +0200 | ash3en | (~Thunderbi@2a01:c23:90cb:5500:5595:edf1:acb8:691e) (Quit: ash3en) |
| 2024-09-12 22:42:57 +0200 | michalz | (~michalz@185.246.207.222) (Remote host closed the connection) |
| 2024-09-12 22:44:55 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 22:46:22 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-12 22:50:32 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-12 22:52:24 +0200 | meygerjos | (~meygerjos@syn-024-090-143-083.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-09-12 22:53:06 +0200 | <fr33domlover> | Thanks [exa], kuribas! I know the basics of lenses but I need the tutorial, will check these out :) So far found the Biplate class which would be perfect except it doesn't allow changing the type being mapped, |
| 2024-09-12 22:58:14 +0200 | <[exa]> | yw |
| 2024-09-12 22:59:37 +0200 | <[exa]> | the plated stuff is generics though, not very classy-ish. General advice is to keep stuff simpler unless absolutely totally required |
| 2024-09-12 23:00:16 +0200 | <[exa]> | btw btw what was the actual usecase? |
| 2024-09-12 23:00:42 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 23:01:30 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-09-12 23:02:49 +0200 | <c_wraith> | I'm a big fan of the combinators in Control.Lens.Plated. cosmos, contexts, holes, etc... Those provide some really interesting tools. |
| 2024-09-12 23:03:40 +0200 | <[exa]> | not saying it's bad, just trying to kinda keep the complexity at bay |
| 2024-09-12 23:05:25 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-09-12 23:05:27 +0200 | <c_wraith> | There was an AoC problem a while back that cosmosOf was about 99% of the solution to. That was really funny. |
| 2024-09-12 23:06:07 +0200 | <[exa]> | ah yeah these finds are lovable |
| 2024-09-12 23:06:28 +0200 | <[exa]> | awk/prolog oneliners out of nowhere ftw |
| 2024-09-12 23:07:26 +0200 | <c_wraith> | "I could write an entire tree traversal... or I could use cosmosOf. Hmm. Which one should I do?" |
| 2024-09-12 23:15:27 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 2024-09-12 23:16:26 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 23:19:25 +0200 | <dmj`> | writing the tree traversal by hand would probably perform better |
| 2024-09-12 23:21:13 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-12 23:24:36 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-12 23:27:26 +0200 | aljustiet | (aljustiet@2607:5300:60:8796::105) |
| 2024-09-12 23:32:13 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 23:33:33 +0200 | <c_wraith> | AoC problems really are unconcerned with performance when you have the right algorithm. |
| 2024-09-12 23:34:59 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-12 23:37:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-12 23:43:09 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2024-09-12 23:48:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-12 23:50:13 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 2024-09-12 23:52:19 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-09-12 23:52:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-12 23:56:23 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 255 seconds) |
| 2024-09-12 23:58:22 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |