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