Logs on 2023-09-04 (liberachat/#haskell)
| 00:00:31 | → | danse-nr3_ joins (~francesco@151.47.118.241) |
| 00:00:38 | × | danse-nr3_ quits (~francesco@151.47.118.241) (Remote host closed the connection) |
| 00:00:53 | × | danse-nr3 quits (~francesco@151.43.103.246) (Read error: Connection reset by peer) |
| 00:01:00 | → | danse-nr3_ joins (~francesco@151.47.118.241) |
| 00:03:10 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 00:04:08 | → | califax joins (~califax@user/califx) |
| 00:09:34 | <monochrom> | Actually why was I not plugging my own explanation? http://www.vex.net/~trebla/haskell/abs-type-param.html |
| 00:21:21 | <danse-nr3_> | this specific topic is a bit over my head but your site is interesting. No feed aggregator, how do people discover your new posts? Also i realised there is no #compsci on libera |
| 00:29:13 | → | aaronv joins (~aaronv@user/aaronv) |
| 00:35:21 | × | grnman_ quits (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 255 seconds) |
| 00:38:39 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:2dac:1dc7:bdec:1908) (Remote host closed the connection) |
| 00:38:53 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:2dac:1dc7:bdec:1908) |
| 00:46:36 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Ping timeout: 255 seconds) |
| 00:48:35 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 00:49:14 | → | yisef joins (~yisef@202.81.231.204) |
| 00:49:59 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 00:50:00 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 00:50:00 | → | wroathe joins (~wroathe@user/wroathe) |
| 00:51:52 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 00:56:57 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 00:58:59 | → | arahael joins (~arahael@1.145.53.57) |
| 00:59:26 | × | mysl quits (~mysl@user/mysl) (Quit: Lost terminal) |
| 01:03:45 | → | Guest|79 joins (~Guest|79@129.8.28.123) |
| 01:05:58 | × | bastelfreak quits (bastelfrea@libera/staff/VoxPupuli.bastelfreak) (*.net *.split) |
| 01:06:18 | → | bastelfreak joins (bastelfrea@libera/staff/VoxPupuli.bastelfreak) |
| 01:11:09 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:11:15 | × | Guest|79 quits (~Guest|79@129.8.28.123) (Quit: Connection closed) |
| 01:11:57 | × | arahael quits (~arahael@1.145.53.57) (Read error: Connection reset by peer) |
| 01:17:19 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:19:57 | × | aaronv quits (~aaronv@user/aaronv) (Ping timeout: 245 seconds) |
| 01:24:42 | → | aaronv joins (~aaronv@user/aaronv) |
| 01:33:17 | × | jinsun quits (~jinsun@user/jinsun) (Ping timeout: 245 seconds) |
| 01:40:05 | → | Square2 joins (~Square4@user/square) |
| 01:40:58 | → | notzmv joins (~zmv@user/notzmv) |
| 01:41:47 | × | aaronv quits (~aaronv@user/aaronv) (Remote host closed the connection) |
| 01:42:14 | × | yisef quits (~yisef@202.81.231.204) (Ping timeout: 246 seconds) |
| 01:42:29 | → | aaronv joins (~aaronv@user/aaronv) |
| 01:48:04 | × | masterbuilder quits (~masterbui@user/masterbuilder) (Remote host closed the connection) |
| 01:50:03 | × | otto_s quits (~user@p4ff279d3.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 01:51:54 | → | otto_s joins (~user@p5b044a3a.dip0.t-ipconnect.de) |
| 02:04:37 | × | aaronv quits (~aaronv@user/aaronv) (Remote host closed the connection) |
| 02:04:59 | → | aaronv joins (~aaronv@user/aaronv) |
| 02:06:02 | → | xmachina joins (~xmachina@modemcable048.127-56-74.mc.videotron.ca) |
| 02:12:52 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 02:16:07 | → | yisef joins (~yisef@202.81.231.204) |
| 02:17:25 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 02:17:30 | × | td_ quits (~td@i53870926.versanet.de) (Ping timeout: 255 seconds) |
| 02:19:20 | → | td_ joins (~td@i53870910.versanet.de) |
| 02:23:22 | <Square2> | I realize this question sounds whack, but Haskell having a bunch of tricks end extensions I thought I'd ask anyway before doing an ugly workaround. |
| 02:25:20 | <Square2> | For any "value", is there a trick to piggy back and associated hidden value. |
| 02:26:14 | → | stites joins (~stites@130.44.147.204) |
| 02:26:16 | <EvanR> | -XMonkeyPatching |
| 02:26:19 | <Square2> | haha |
| 02:27:01 | <EvanR> | you can use StableNames to use a value's "name" as a key into some Map you maintain |
| 02:27:04 | <Square2> | I realize how stupid my question sounds, but yeah. Would've been neat. I wanted got store an address of sorts to every value. |
| 02:27:12 | <EvanR> | getting the stablename requires IO |
| 02:27:32 | <Square2> | Oh ok. |
| 02:28:34 | × | stites quits (~stites@130.44.147.204) (Client Quit) |
| 02:28:47 | × | Alex_test quits (~al_test@178.34.160.172) (Ping timeout: 246 seconds) |
| 02:29:11 | × | AlexZenon quits (~alzenon@178.34.160.172) (Ping timeout: 245 seconds) |
| 02:29:19 | → | stites joins (~stites@130.44.147.204) |
| 02:30:15 | <Square2> | Good idea. But was meant to keep a DSL as clean as possible. Mixing in IO would probably make it more obscure. |
| 02:31:00 | × | danse-nr3_ quits (~francesco@151.47.118.241) (Ping timeout: 255 seconds) |
| 02:31:49 | → | arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 02:31:49 | × | stites quits (~stites@130.44.147.204) (Client Quit) |
| 02:32:42 | → | stites joins (~stites@130.44.147.204) |
| 02:34:08 | → | Alex_test joins (~al_test@178.34.160.172) |
| 02:34:30 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 246 seconds) |
| 02:35:26 | × | stites quits (~stites@130.44.147.204) (Client Quit) |
| 02:35:41 | → | stites joins (~stites@130.44.147.204) |
| 02:36:29 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 02:37:39 | → | AlexZenon joins (~alzenon@178.34.160.172) |
| 02:38:35 | × | arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 02:48:02 | → | grnman_ joins (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) |
| 02:48:49 | <jackdk> | Square2: this is not exactly what you want, but it is definitely evil: https://hackage.haskell.org/package/acme-smuggler |
| 02:49:31 | × | ft quits (~ft@p4fc2a8a4.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 02:51:18 | → | ft joins (~ft@p508dbfdc.dip0.t-ipconnect.de) |
| 02:51:39 | → | shiraeeshi joins (~shiraeesh@46.42.245.129) |
| 02:52:56 | <Square2> | jackdk, something like that yes. |
| 02:57:14 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 02:59:08 | → | libertyprime joins (~libertypr@203.96.203.44) |
| 03:01:17 | → | arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 03:02:46 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 03:04:47 | × | shiraeeshi quits (~shiraeesh@46.42.245.129) (Changing host) |
| 03:04:47 | → | shiraeeshi joins (~shiraeesh@user/shiraeeshi) |
| 03:05:43 | × | arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 240 seconds) |
| 03:08:58 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: Tschüss) |
| 03:09:45 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:2dac:1dc7:bdec:1908) (Remote host closed the connection) |
| 03:11:52 | × | bitdex_ quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 03:11:57 | × | libertyprime quits (~libertypr@203.96.203.44) (Ping timeout: 255 seconds) |
| 03:12:55 | → | bitdex_ joins (~bitdex@gateway/tor-sasl/bitdex) |
| 03:18:50 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 03:21:38 | → | aforemny_ joins (~aforemny@i59F516F2.versanet.de) |
| 03:22:43 | × | grnman_ quits (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 240 seconds) |
| 03:22:45 | × | aforemny quits (~aforemny@i59F516DB.versanet.de) (Ping timeout: 255 seconds) |
| 03:28:15 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:b4dc:645a:ee0c:be48) |
| 03:28:46 | → | pavonia joins (~user@user/siracusa) |
| 03:31:45 | × | aaronv quits (~aaronv@user/aaronv) (Ping timeout: 255 seconds) |
| 03:35:08 | × | yisef quits (~yisef@202.81.231.204) (Remote host closed the connection) |
| 03:40:00 | → | aaronv joins (~aaronv@user/aaronv) |
| 03:42:00 | <remexre> | it _looks_ like the answer is "no," but I thought I'd ask anyway: is there a way to integrate tasty with doctest? |
| 03:43:23 | <remexre> | (or alternatively, is there something like tasty that integrates better with doctest) |
| 03:44:47 | × | davros1 quits (~davros2@host86-183-29-229.range86-183.btcentralplus.com) (Quit: Leaving) |
| 03:46:51 | × | aaronv quits (~aaronv@user/aaronv) (Remote host closed the connection) |
| 03:47:16 | → | aaronv joins (~aaronv@user/aaronv) |
| 04:01:15 | × | actioninja quits (~actioninj@user/actioninja) (Quit: see ya mane) |
| 04:01:50 | → | actioninja joins (~actioninj@user/actioninja) |
| 04:03:56 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 248 seconds) |
| 04:04:50 | → | arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 04:11:43 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 04:11:48 | × | arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 255 seconds) |
| 04:22:34 | → | drewjose8 joins (~drewjose@223.178.83.128) |
| 04:24:51 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 04:32:04 | <phma> | Is the pragma SPECIALIZE or SPECIALISE? |
| 04:32:57 | <monochrom> | Z |
| 04:33:09 | <phma> | Glasgow being in Scotland, I'd expect SPECIALISE, but https://downloads.haskell.org/~ghc/7.0.3/docs/html/users_guide/pragmas.html has both. |
| 04:33:58 | <mauke> | ooh, ghc 7 |
| 04:34:44 | <monochrom> | That part hasn't changed though. |
| 04:35:14 | <mauke> | https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/pragmas.html#specialize-pragma "(UK spelling also accepted.)" |
| 04:35:15 | <monochrom> | One thing you can do is look at base source code and use the one you see there. :) |
| 04:35:37 | <monochrom> | Oh heh I missed that. |
| 04:38:13 | × | aaronv quits (~aaronv@user/aaronv) (Ping timeout: 240 seconds) |
| 04:38:40 | → | aaronv joins (~aaronv@user/aaronv) |
| 04:39:14 | <phma> | Inlining and specializing had no discernible effect on the execution time. Maybe they shaved a second off it. |
| 04:40:54 | <monochrom> | Right, the real benefit happens only when doing them exposes epic opportunities for fusion, unboxing, etc. |
| 04:41:55 | <phma> | What's fusion? |
| 04:42:25 | <probie> | (slightly off-topic) It's "specialize" in en-GB-oxendict, which I would argue is a "UK spelling" |
| 04:43:03 | <monochrom> | Suppose you have foldl' (+) 0 (map (* 2) [1..n]). |
| 04:43:34 | → | acidjnk joins (~acidjnk@p200300d6e7072f659081374ad65a2e01.dip0.t-ipconnect.de) |
| 04:43:59 | <probie> | phma: Removing unneeded intermediate data structures by rewriting expressions. See https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/rewrite_rules.html#rewrite-rules for how to actually do this |
| 04:44:31 | <monochrom> | Though unoptimized, lazy evaluation already implies it only takes O(1) space. But it's an expensive O(1): you make 2 list nodes on the heap, just to throw them away soon. |
| 04:44:44 | <mauke> | phma: it's when you have a producer of a data structure and a consumer of a data structure, but you fuse their code together so the instructions are interleaved and the data structure is never actually generated |
| 04:45:12 | <monochrom> | Fusion gets rid of even those 2 list nodes. |
| 04:45:13 | × | aaronv quits (~aaronv@user/aaronv) (Ping timeout: 240 seconds) |
| 04:45:42 | <monochrom> | If the type is Int, you get the same C for-loop you would write. |
| 04:46:08 | <monochrom> | complete with how most C compilers keep it all in registers. |
| 04:46:29 | <phma> | There's this line in Wring.hs: cycle3 = 0 : 1 : 2 : cycle3 |
| 04:47:17 | <mauke> | > cycle [1,2,3] |
| 04:47:18 | <lambdabot> | [1,2,3,1,2,3,1,2,3,1,2,3,1,2,3,1,2,3,1,2,3,1,2,3,1,2,3,1,2,3,1,2,3,1,2,3,1,2... |
| 04:47:18 | <phma> | This appears to take no space. Unoptimized, it would take 8 or 16 times as much space as the buffer. |
| 04:47:44 | <c_wraith> | phma: it takes constant space, not no space. It doesn't cause new allocation after the whole thing is allocated once. |
| 04:48:49 | <mauke> | struct node cycle3 = { 0, &(struct node){ 1, &(struct node){ 2, &cycle3 } } }; |
| 04:49:51 | <monochrom> | Wait you can do that??!! |
| 04:50:14 | → | jinsun joins (~jinsun@user/jinsun) |
| 04:51:14 | <mauke> | warning: trigraph ??! ignored, use -trigraphs to enable |
| 04:51:30 | <monochrom> | :( |
| 04:51:32 | <monochrom> | :) |
| 04:51:39 | <probie> | monochrom: "void *x = &x;" is definitely valid, so I'd assume so |
| 04:51:55 | <mauke> | monochrom: which part? |
| 04:52:17 | <monochrom> | C initializer accepting &(struct node){ ... } |
| 04:52:53 | <probie> | Actually wait, I don't think C will let you take the address of immediates |
| 04:53:17 | <monochrom> | gcc accepts it... |
| 04:53:27 | <mauke> | https://en.cppreference.com/w/c/language/compound_literal |
| 04:53:39 | <monochrom> | gcc -std=c99 accepts it... |
| 04:53:41 | <mauke> | welcome to 1999, baby |
| 04:53:49 | <mauke> | it's the future!!!1 |
| 04:55:05 | <monochrom> | My https://www.cs.utoronto.ca/~trebla/CSCB09-2022-Summer/a3/sample-main.c could have used that simplification. |
| 04:55:46 | <EvanR> | int *p = &6; (*p)++; printf("%d\n", 6); |
| 04:55:48 | <EvanR> | 7 |
| 04:56:27 | <mauke> | &6 is semnatically invalid. it might even be syntactically invalid |
| 04:56:42 | <EvanR> | unfortunate |
| 04:57:07 | <EvanR> | yeah it's syntactically invalid |
| 04:57:12 | <monochrom> | ooohhh nice, static storage if file scope, automatic storage if block scope. |
| 04:58:26 | <EvanR> | & turns an lvalue into an rvalue |
| 04:58:35 | <mauke> | perl parses 'my $p = \6; $$p++;' but dies at runtime with "Modification of a read-only value attempted" |
| 05:00:39 | <probie> | If you want to do cursed things, I recommend re-assigning integers in Python |
| 05:01:52 | <EvanR> | I was on board until python |
| 05:05:15 | → | Guest67 joins (~Guest67@2603-8080-1f00-082f-3420-5ca1-1a2c-aade.res6.spectrum.com) |
| 05:06:13 | × | acidjnk quits (~acidjnk@p200300d6e7072f659081374ad65a2e01.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 05:10:26 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 05:10:42 | × | Guest67 quits (~Guest67@2603-8080-1f00-082f-3420-5ca1-1a2c-aade.res6.spectrum.com) (Quit: Client closed) |
| 05:11:02 | <monochrom> | ooohhhh this too: int *p = (int[]){1, 2}; |
| 05:12:46 | <jackdk> | Does MSVC support C99 these days? I remember that being a big blocker to adoption |
| 05:15:59 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 05:20:09 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 05:21:06 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 05:23:12 | → | acidjnk joins (~acidjnk@p200300d6e7072f6520588d179814dc9a.dip0.t-ipconnect.de) |
| 05:35:08 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 05:38:10 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 05:40:47 | → | aaronv joins (~aaronv@user/aaronv) |
| 05:49:48 | → | michalz joins (~michalz@185.246.207.203) |
| 05:55:10 | → | arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 05:59:48 | × | arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 255 seconds) |
| 06:02:56 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 06:05:36 | × | vglfr quits (~vglfr@cli-188-239-233-89.bbn.slav.dn.ua) (Read error: Connection reset by peer) |
| 06:05:49 | → | vglfr joins (~vglfr@cli-188-239-233-89.bbn.slav.dn.ua) |
| 06:07:22 | → | sm joins (~sm@plaintextaccounting/sm) |
| 06:20:43 | → | jespada joins (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 06:23:01 | → | shelby joins (~thomas_sh@115.96.219.194) |
| 06:29:08 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: sm) |
| 06:41:13 | → | kenran joins (~user@user/kenran) |
| 06:45:22 | <phma> | I'm trying to compile my program with bare ghc, and I need to add the package arithmoi. It's already in my Stack packages, |
| 06:46:04 | <phma> | but I have to install it so that bare ghc can find it. I've tried various ghc-pkg commands and ghc -package; no joy. How do I do it? |
| 06:46:27 | <phma> | This is for submitting a bug report to ghc. |
| 06:46:53 | → | ursa-major joins (~ursa-majo@static-198-44-128-182.cust.tzulo.com) |
| 06:50:59 | <tomsmeding> | phma: the ghc dev team knows cabal; if you create a minimal cabal project with just two files (something.cabal and Main.hs) then they won't blink |
| 06:51:16 | <tomsmeding> | a lot easier than figuring out how to do package management without cabal :p |
| 06:53:46 | <probie> | phma: The command you want is `ghc-pkg register`, but then you need to write a package specification. +1 on just using cabal |
| 06:55:10 | <tomsmeding> | phma: and if you're stuck on using a self-compiled ghc: `cabal -w /path/to/your/ghc build` ;) |
| 06:59:54 | <phma> | can I make the cabal file by excerpting from the cabal file in my stack project? |
| 07:00:08 | <tomsmeding> | yes |
| 07:00:21 | → | idgaen joins (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 07:01:37 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 07:02:30 | → | CiaoSen joins (~Jura@2a05:5800:2a3:3400:664b:f0ff:fe37:9ef) |
| 07:05:10 | → | arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 07:06:30 | → | mima joins (~mmh@net-93-67-197-209.cust.vodafonedsl.it) |
| 07:09:33 | × | arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 255 seconds) |
| 07:17:01 | × | aaronv quits (~aaronv@user/aaronv) (Ping timeout: 245 seconds) |
| 07:19:27 | × | shiraeeshi quits (~shiraeesh@user/shiraeeshi) (Ping timeout: 255 seconds) |
| 07:19:50 | → | aaronv joins (~aaronv@user/aaronv) |
| 07:19:56 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:e372:8b17:e09f:6ef9) |
| 07:20:08 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:b4dc:645a:ee0c:be48) (Remote host closed the connection) |
| 07:23:25 | × | vglfr quits (~vglfr@cli-188-239-233-89.bbn.slav.dn.ua) (Ping timeout: 245 seconds) |
| 07:23:27 | drewjose8 | is now known as drewjose |
| 07:23:41 | → | vglfr joins (~vglfr@2a0d:3344:148d:7a00:4095:e074:a4a8:84fb) |
| 07:25:26 | → | shiraeeshi joins (~shiraeesh@46.42.245.129) |
| 07:26:39 | × | mima quits (~mmh@net-93-67-197-209.cust.vodafonedsl.it) (Ping timeout: 255 seconds) |
| 07:30:13 | → | arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 07:34:08 | × | vglfr quits (~vglfr@2a0d:3344:148d:7a00:4095:e074:a4a8:84fb) (Ping timeout: 246 seconds) |
| 07:38:19 | → | delYsid joins (~user@user/delYsid) |
| 07:38:43 | × | arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 240 seconds) |
| 07:39:03 | → | vglfr joins (~vglfr@145.224.100.231) |
| 07:39:55 | → | chele joins (~chele@user/chele) |
| 07:42:48 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 07:43:19 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 07:46:11 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 07:47:29 | → | fendor joins (~fendor@2a02:8388:1640:be00:c785:45ab:c70:9d3f) |
| 07:49:10 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 07:52:45 | → | eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 07:52:51 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 07:55:22 | → | mima joins (~mmh@net-93-67-197-209.cust.vodafonedsl.it) |
| 08:03:06 | × | vglfr quits (~vglfr@145.224.100.231) (Ping timeout: 260 seconds) |
| 08:03:48 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 08:04:24 | → | vglfr joins (~vglfr@145.224.100.231) |
| 08:05:31 | × | vglfr quits (~vglfr@145.224.100.231) (Read error: Connection reset by peer) |
| 08:06:01 | → | vglfr joins (~vglfr@2a0d:3344:148d:7a00:4095:e074:a4a8:84fb) |
| 08:06:26 | → | arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 08:06:30 | <shelby> | hi..I am trying to get extract a letter from a string using a number.. code i have written is https://wtools.io/paste-code/bPyb |
| 08:07:57 | <shelby> | the code does not compile as the function takes and int and should give a bool.. however i want it to output a character.. |
| 08:08:18 | <shelby> | what am i doing wrong? |
| 08:08:30 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 08:11:07 | <dminuoso> | :t elem |
| 08:11:08 | <lambdabot> | (Foldable t, Eq a) => a -> t a -> Bool |
| 08:11:23 | <dminuoso> | shelby: This merely tests whether a given element is an element of a foldable (say a list) |
| 08:11:29 | <dminuoso> | What you probably meant to use, is this: |
| 08:11:31 | <dminuoso> | :t (!!) |
| 08:11:32 | <lambdabot> | [a] -> Int -> a |
| 08:11:38 | <dminuoso> | > "foo" !! 1 |
| 08:11:40 | <lambdabot> | 'o' |
| 08:11:55 | <tomsmeding> | > (3 `elem` [1, 2, 3, 4], 5 `elem` [1, 2, 3, 4]) |
| 08:11:57 | <lambdabot> | (True,False) |
| 08:13:23 | <shelby> | dminuoso: ok .. so it only confirms if its present and does not extract it.. thanks .. |
| 08:13:47 | <dminuoso> | shelby: Well, it doesnt even check whether the "nth" element exists, but whether the element verbatim exists. |
| 08:13:57 | <dminuoso> | > 'x' `elem` "foo" |
| 08:13:58 | <lambdabot> | False |
| 08:13:59 | <dminuoso> | > 'f' `elem` "foo" |
| 08:14:01 | <lambdabot> | True |
| 08:14:23 | <shelby> | ok |
| 08:14:39 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 08:14:57 | <dminuoso> | I can see how you expected `elem` to index instead, its name is somewhat confusing. |
| 08:15:21 | <tomsmeding> | naming is hard :) |
| 08:18:51 | × | aaronv quits (~aaronv@user/aaronv) (Ping timeout: 255 seconds) |
| 08:20:49 | → | fserucas__ joins (~fserucas@2001:818:e376:a400:fb92:70c1:dd88:c7d7) |
| 08:20:59 | <probie> | I think it actually should |
| 08:21:40 | <probie> | (for lists anyway, the whole foldable thing makes it more complex) |
| 08:22:05 | <tomsmeding> | probie: they were looking for (!!), not elemIndex |
| 08:22:25 | <tomsmeding> | and as for returning the index, well, there's elemIndex :p |
| 08:22:36 | → | kupi_ joins (uid212005@id-212005.hampstead.irccloud.com) |
| 08:23:08 | <probie> | Sure, but why two functions when one would do. Why return a meaningless `Bool` when you can return actual evidence? |
| 08:23:15 | kupi_ | is now known as kupi |
| 08:23:19 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 08:23:31 | <tomsmeding> | because then you'd need to be doing 'isJust . elem' a lot |
| 08:24:01 | <tomsmeding> | sometimes if the weaker version of a function is often useful, it's nice to just define it and make peoples lives a bit easier |
| 08:24:38 | <probie> | Or to take a branch from Coq and generalise `if` to all two constructor types (and possibly guards as well) |
| 08:24:39 | <tomsmeding> | you could hold the same argument for isJust, but if you eliminate isJust too, you'd need a full case expression to even check whether a thing is in a list |
| 08:24:42 | <tomsmeding> | which is bonkers |
| 08:24:53 | <tomsmeding> | probie: MultiWayIfs |
| 08:25:03 | <tomsmeding> | er, MultiWayIf |
| 08:25:10 | <tomsmeding> | https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/multiway_if.html#extension-MultiWayIf |
| 08:25:46 | <tomsmeding> | and the fully general one is called 'case' in haskell |
| 08:26:33 | <tomsmeding> | but I prefer writing 'foo | x `elem` thing = ... | otherwise = ...' over 'case x `elemIndex` thing of Nothing -> ... ; Just _ -> ...' |
| 08:26:37 | <tomsmeding> | er, foo = |
| 08:28:32 | <probie> | `foo | Just{} <- x `elem` thing = ... | otherwise = ...` isn't that bad imo |
| 08:29:08 | <probie> | I'm not a fan of how `Bool` is so privileged |
| 08:29:42 | <tomsmeding> | haskell should be even more liberal with what you can put in a name and allow ? from lisp |
| 08:29:55 | <tomsmeding> | elem :: a -> t a -> Int ; elem? :: a -> t a -> Bool |
| 08:30:04 | <tomsmeding> | er, Maybe Int |
| 08:30:08 | <tomsmeding> | I'm not very awake this morning |
| 08:30:28 | <tomsmeding> | elem‽ :: a -> t a -> Int |
| 08:30:30 | <probie> | if by lisp you mean common lisp, they actually used "p", "?" is a scheme-ism |
| 08:30:41 | tomsmeding | is not a lisper |
| 08:31:55 | → | danse-nr3_ joins (~francesco@151.47.115.24) |
| 08:32:27 | <probie> | It's early evening for me, but I spent my afternoon at the pub, so unhelpful opinions have been greatly amplified. Nonetheless, I stand by my original premise, which is that `if` and guards being specialised to `Bool`s was a mistake |
| 08:33:06 | <tomsmeding> | what's wrong with 'case'? |
| 08:33:13 | <tomsmeding> | I concede that MultiWayIf is not what you were talking about |
| 08:34:06 | <tomsmeding> | all the general stuff is _also_ there (apart from ill-designed libraries) |
| 08:34:11 | <probie> | There's nothing wrong with case, but it's awkward to use compared to alternatives, as you have alluded to. In a lot of cases I have a binary decision (but perhaps don't want a `Bool` type) |
| 08:34:13 | <shiraeeshi> | asynchronous exceptions - that's what was a mistake |
| 08:34:39 | <tomsmeding> | it sounds to me like you're just arguing for removing specialised stuff (to Bool) -- I don't see the use of just removing stuff |
| 08:35:09 | <tomsmeding> | probie: what syntax did you have in mind? IIRC coq's 'if' isn't any better than haskell's 'case' |
| 08:35:35 | <tomsmeding> | to be generic over data types you have to name the constructors somehow, and at that point there's not much more syntax in a 'case'; perhaps 'of' |
| 08:36:24 | → | aaronv joins (~aaronv@user/aaronv) |
| 08:36:58 | → | libertyprime joins (~libertypr@203.96.203.44) |
| 08:38:10 | <probie> | tomsmeding: just `foo | bar <- Just x = bar` being `foo = x`. I want non-booleans in guards (and also `if` completely removed) |
| 08:38:28 | <dminuoso> | Im willing to be that what is really useful, is LSP + Wingman for automatic case-of branch generation. |
| 08:38:54 | <tomsmeding> | probie: but `foo | bar <- Just x = bar` is `foo = Just x`? |
| 08:39:29 | <dminuoso> | You meant `foo (Just x) = bar` |
| 08:39:49 | <tomsmeding> | I did not, but perhaps I misunderstood probie |
| 08:39:53 | <tomsmeding> | s/perhaps/probably/ |
| 08:40:01 | <dminuoso> | I dont think there's anything inherently wrong about `if`, only that its not a mixfix function like in idris. |
| 08:40:46 | <probie> | Sorry, brain is half (or more) offline right now. What I wanted to write is `foo | Just x = x` being `foo = x` |
| 08:40:47 | <dminuoso> | THough Im not too sure whether arbitrary mixfix functions are generally a good idea |
| 08:41:18 | <probie> | ask me again in 12+ hours for useful clarification |
| 08:41:32 | <tomsmeding> | probie: the first option (with '| Just x =') being your new syntax? |
| 08:41:40 | <tomsmeding> | what is that testing on |
| 08:41:57 | <tomsmeding> | whether 'x' is a Just? |
| 08:42:02 | <tomsmeding> | or whether 'Just x' satisfies something? |
| 08:42:06 | <probie> | On whether it's the first or second constructor (like in an if statement in Coq) |
| 08:42:23 | <tomsmeding> | _oh_ |
| 08:42:28 | <tomsmeding> | you want it to be constructor-order dependent |
| 08:42:30 | <tomsmeding> | I hate |
| 08:42:49 | <tomsmeding> | :) |
| 08:42:54 | <[exa]> | :] |
| 08:43:01 | <probie> | I'd settle for a restriction to `Bool`, `Maybe` and newtypes over the top of those |
| 08:43:34 | <tomsmeding> | would Just come first or would Nothing come first |
| 08:44:49 | <probie> | `False`, `Nothing` and `Left _` (I forgot `Either`) should all be false-y |
| 08:45:04 | <tomsmeding> | does the falsy one or the truthy one come first? |
| 08:45:17 | <tomsmeding> | (I agree about the falsiness) |
| 08:46:28 | <probie> | The current idiom is that it comes first. I'd settle for a typeclass to determine that `class IsPredicate a where predicate :: a -> (forall b . b -> b -> b)` |
| 08:46:38 | <tomsmeding> | the current idiom is _not_ that it comes first |
| 08:46:46 | <tomsmeding> | 'if' lets the truthy one come first |
| 08:46:53 | <probie> | > False < True |
| 08:46:54 | <lambdabot> | True |
| 08:46:56 | <tomsmeding> | and no other built-in syntax currently cares about the ordering |
| 08:46:59 | <probie> | > Nothing < Just 5 |
| 08:47:00 | <lambdabot> | True |
| 08:47:03 | <tomsmeding> | right, and 'if' disagrees with Ord |
| 08:47:08 | <probie> | > Left "a" < Right "b" |
| 08:47:10 | <lambdabot> | True |
| 08:47:18 | <tomsmeding> | I know :p |
| 08:47:23 | <tomsmeding> | this is precisely why I was asking |
| 08:48:08 | <tomsmeding> | having an if that has the False branch before the True branch is going to be real disorienting :p |
| 08:48:46 | × | aaronv quits (~aaronv@user/aaronv) (Ping timeout: 255 seconds) |
| 08:49:05 | <tomsmeding> | anyway I'm going to be off |
| 08:49:12 | <tomsmeding> | thanks for the discussion |
| 08:51:03 | × | tom__ quits (~tom@host86-132-186-152.range86-132.btcentralplus.com) (Read error: Connection reset by peer) |
| 08:51:42 | × | tv quits (~tv@user/tv) (Ping timeout: 255 seconds) |
| 08:57:06 | → | aaronv joins (~aaronv@user/aaronv) |
| 08:57:44 | <Square2> | Have I misunderstood something are Free Monads just the most awesome DSL building tool in the universe? |
| 08:59:39 | → | sm joins (~sm@plaintextaccounting/sm) |
| 09:00:15 | <opqdonut> | in theory yes, in practice there are some operational issues (performance, introspectability) |
| 09:00:54 | <lortabac> | as far as I understand free monads solve a very specific problem, I don't see why you should use them for "DSL"s in general |
| 09:00:55 | × | libertyprime quits (~libertypr@203.96.203.44) (Ping timeout: 255 seconds) |
| 09:04:00 | <lortabac> | the best tool for DSL's is algebraic data types :) |
| 09:04:02 | → | tv joins (~tv@user/tv) |
| 09:04:35 | <opqdonut> | yeah for imperative-ish DSLs they are a good fit, for something declarative not necessarily |
| 09:07:13 | × | mima quits (~mmh@net-93-67-197-209.cust.vodafonedsl.it) (Ping timeout: 258 seconds) |
| 09:13:57 | <kuribas> | Square2: not really. For one, free monads are not inspectable, because they bind a lambda, also constructing them can be very inefficient. |
| 09:16:33 | <kuribas> | And when using them for effects, I find they don't add a lot that mtl doesn't offer. |
| 09:17:10 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 09:17:34 | <Square2> | I played around a bit with them using GADTs for values a documented trick to avoid the functor requirement. I could accomplish all I wished for. Do typesafe expressions outside the monad evaluation and also give me static description of the "program". But maybe I had relaxed requirements. |
| 09:18:04 | <Square2> | for values, and used a documented..* |
| 09:18:19 | <shelby> | hi.. I made a toy program.. https://wtools.io/paste-code/bPyq is the link to it.. It compiles but when i run it and enter inputs it gives an error "*** Exception: Prelude.read: no parse" |
| 09:18:40 | <shelby> | searched around and got this on reddit https://www.reddit.com/r/haskell/comments/10mg5ck/exception_preluderead_no_parse/?rdt=43097 but did not understand it |
| 09:19:13 | <Square2> | I was just interested in the input and output parts of the computation so to speak. |
| 09:19:15 | × | phma quits (phma@2001:5b0:212a:fde8:c9be:1be2:ad07:be0c) (Read error: Connection reset by peer) |
| 09:19:55 | <shelby> | the program is supposed to take two strings, remove common letters take the length of uncommon pick a colour from the string "VIBGYOR" based on the length derived |
| 09:20:13 | <shelby> | I am doing something wrong in IO. |
| 09:20:13 | → | phma joins (~phma@host-67-44-208-33.hnremote.net) |
| 09:20:36 | → | mima joins (~mmh@net-93-67-197-209.cust.vodafonedsl.it) |
| 09:21:25 | <Square2> | shelby, you should read up on Text.Read. That way you can parse string -> int |
| 09:21:43 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 09:22:21 | <Square2> | oh, its not that you want maybe. |
| 09:23:13 | × | shiraeeshi quits (~shiraeesh@46.42.245.129) (Ping timeout: 240 seconds) |
| 09:23:21 | <opqdonut> | shelby: are you sure that's the program you're running? it doesn't seem to use `read`, either directly or indirectly |
| 09:24:28 | × | vglfr quits (~vglfr@2a0d:3344:148d:7a00:4095:e074:a4a8:84fb) (Ping timeout: 258 seconds) |
| 09:24:31 | <opqdonut> | shelby: when I run that program, it doesn't give the "no parse" error, but instead seems to work |
| 09:25:15 | <shelby> | wow |
| 09:25:29 | <shelby> | no i am getting error |
| 09:25:32 | <shelby> | same error |
| 09:25:37 | <opqdonut> | how are you running it? |
| 09:25:41 | <shelby> | give me a minute |
| 09:25:57 | <opqdonut> | what I did was: `ghci toy.hs` and then `getInputs` in ghci |
| 09:26:45 | <shelby> | I load the file in ghci using :l func.hs where func.hs is the name of my file in vs code |
| 09:26:55 | <shelby> | and then i ask for getInputs |
| 09:27:01 | <shelby> | I put tom and kate as inputs |
| 09:27:07 | <shelby> | and i get this error |
| 09:27:29 | <opqdonut> | it must be a different file then. are you sure you're running ghci in the right directory? are you sure you've saved the file in vs code? |
| 09:28:02 | <opqdonut> | you could try changing the prompt text ("Enter your name:") and see if it changes in ghci as well |
| 09:28:03 | × | ursa-major quits (~ursa-majo@static-198-44-128-182.cust.tzulo.com) (Quit: WeeChat 4.0.4) |
| 09:28:20 | <shelby> | give me two min |
| 09:28:22 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 09:28:26 | <shelby> | Will re check |
| 09:33:28 | <shelby> | opqdonut: its working.. i think there was some cache problem.. i restarted v s code and rewrote in a new file and got the same result.. thanks |
| 09:35:02 | <opqdonut> | great |
| 09:38:32 | → | libertyprime joins (~libertypr@203.96.203.44) |
| 09:41:56 | <Square2> | kuribas, opqdonut .Just curious. On their lack of performance. Is it something that manifest itself in a non linear way? Or just comparatively slower than normal monads? |
| 09:42:10 | → | vglfr joins (~vglfr@cli-188-239-233-89.bbn.slav.dn.ua) |
| 09:42:48 | <kuribas> | yeah, it's non-linear. |
| 09:43:17 | <opqdonut> | I think there are some well-known blog posts about this |
| 09:43:19 | <Square2> | Ouch. That's not great. |
| 09:43:43 | <kuribas> | There is a transform that can avoid this I believe. |
| 09:43:50 | <opqdonut> | maybe this one? https://markkarpov.com/post/free-monad-considered-harmful.html |
| 09:44:04 | <opqdonut> | I'm not up to date on what's going on these days with free monads though |
| 09:44:09 | → | aniketd joins (~Thunderbi@2405:201:d00b:116e:a7a5:78f5:8b0d:5253) |
| 09:44:17 | <Square2> | thanks |
| 09:44:39 | <[Leary]> | I'm not 100%, but I think the `newtype Free f a = Free{ runFree :: forall m. Monad m => (forall x. f (m x) -> m x) -> m a }` representation evade the performance issues. |
| 09:44:43 | × | mima quits (~mmh@net-93-67-197-209.cust.vodafonedsl.it) (Ping timeout: 240 seconds) |
| 09:45:35 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 09:49:19 | × | idgaen quits (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 09:50:31 | × | ft quits (~ft@p508dbfdc.dip0.t-ipconnect.de) (Quit: leaving) |
| 09:51:02 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 09:52:55 | → | mima joins (~mmh@net-93-67-197-209.cust.vodafonedsl.it) |
| 09:54:37 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: sm) |
| 09:55:15 | <Square2> | [Leary], Oh ok. |
| 09:55:45 | <[Leary]> | Yeah, see: https://hackage.haskell.org/package/free-5.2/docs/Control-Monad-Free-Church.html |
| 09:56:05 | <[Leary]> | Which actually represents it a little differently, but both should have the same advantages. |
| 09:58:17 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 09:59:24 | → | grnman_ joins (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) |
| 09:59:51 | <Square2> | [Leary], it can still use "do" syntax I hope? At work so can't delve on it atm. |
| 10:02:31 | <[Leary]> | Of course. A free monad is a monad. |
| 10:02:42 | danse-nr3_ | is sad that your "work" often does not include the possibility to learn relevant stuff |
| 10:02:51 | <danse-nr3_> | *our |
| 10:03:10 | <Square2> | me too =D |
| 10:04:02 | × | danse-nr3_ quits (~francesco@151.47.115.24) (Remote host closed the connection) |
| 10:04:25 | → | danse-nr3_ joins (~francesco@151.47.115.24) |
| 10:06:43 | × | jespada quits (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 240 seconds) |
| 10:06:51 | × | CiaoSen quits (~Jura@2a05:5800:2a3:3400:664b:f0ff:fe37:9ef) (Ping timeout: 255 seconds) |
| 10:10:34 | × | fserucas__ quits (~fserucas@2001:818:e376:a400:fb92:70c1:dd88:c7d7) (Quit: Leaving) |
| 10:10:47 | → | sm joins (~sm@plaintextaccounting/sm) |
| 10:12:34 | → | jespada joins (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 10:14:13 | × | libertyprime quits (~libertypr@203.96.203.44) (Ping timeout: 240 seconds) |
| 10:15:51 | × | mima quits (~mmh@net-93-67-197-209.cust.vodafonedsl.it) (Ping timeout: 250 seconds) |
| 10:20:21 | × | grnman_ quits (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 255 seconds) |
| 10:26:06 | → | mmhat joins (~mmh@p200300f1c749b01cee086bfffe095315.dip0.t-ipconnect.de) |
| 10:26:48 | → | libertyprime joins (~libertypr@203.96.203.44) |
| 10:27:32 | × | mmhat quits (~mmh@p200300f1c749b01cee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 10:27:35 | × | aaronv quits (~aaronv@user/aaronv) (Ping timeout: 246 seconds) |
| 10:38:34 | × | libertyprime quits (~libertypr@203.96.203.44) (Ping timeout: 255 seconds) |
| 10:39:59 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 10:43:02 | × | danse-nr3_ quits (~francesco@151.47.115.24) (Remote host closed the connection) |
| 10:43:25 | → | danse-nr3_ joins (~francesco@151.47.115.24) |
| 10:44:35 | × | chymera quits (~chymera@ns1000526.ip-51-81-46.us) (Remote host closed the connection) |
| 10:44:52 | → | chymera joins (~chymera@ns1000526.ip-51-81-46.us) |
| 10:44:58 | × | renegade quits (~renegade@bcdcac82.skybroadband.com) (Ping timeout: 258 seconds) |
| 10:45:00 | → | renegade_ joins (~renegade@bcdcac82.skybroadband.com) |
| 10:45:22 | × | Rembane quits (~Rembane@li346-36.members.linode.com) (Ping timeout: 245 seconds) |
| 10:45:28 | → | Rembane joins (~Rembane@li346-36.members.linode.com) |
| 10:46:51 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 10:48:33 | → | libertyprime joins (~libertypr@203.96.203.44) |
| 10:52:10 | → | shiraeeshi joins (~shiraeesh@46.42.239.69) |
| 10:54:46 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 11:07:23 | ← | delYsid parts (~user@user/delYsid) (ERC 5.6-git (IRC client for GNU Emacs 30.0.50)) |
| 11:08:21 | × | cheater quits (~Username@user/cheater) (Quit: Going offline, see ya! (www.adiirc.com)) |
| 11:10:54 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: sm) |
| 11:15:46 | → | billchenchina joins (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) |
| 11:16:12 | × | danse-nr3_ quits (~francesco@151.47.115.24) (Ping timeout: 245 seconds) |
| 11:16:38 | → | danse-nr3_ joins (~francesco@151.47.115.24) |
| 11:20:52 | → | Guest84 joins (~Guest44@176.122.87.241) |
| 11:21:30 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 11:21:53 | → | LazinglyFast joins (~LazinglyF@165.225.92.127) |
| 11:22:20 | × | danse-nr3_ quits (~francesco@151.47.115.24) (Ping timeout: 248 seconds) |
| 11:22:38 | <Guest84> | https://paste.tomsmeding.com/K4EiOLa8 |
| 11:22:44 | <Guest84> | which implementation do you think is better? |
| 11:27:49 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 11:32:28 | → | danse-nr3_ joins (~francesco@151.47.115.24) |
| 11:33:06 | <drewjose> | toBS' is nicer to read |
| 11:34:20 | <drewjose> | why not implement toBit in the first `where` rather than nesting it? is what you did more idiomatic? |
| 11:35:21 | <haskellbridge> | <mauke> `toBit (odd n) : f (div n 2)`? |
| 11:36:29 | <haskellbridge> | <mauke> In fact, this is some unfold over divMod |
| 11:37:24 | <Guest84> | about `where` is a typo |
| 11:37:41 | <Guest84> | which option is faster? |
| 11:37:48 | <Guest84> | recursion? |
| 11:37:51 | × | arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 11:38:13 | × | LazinglyFast quits (~LazinglyF@165.225.92.127) (Quit: Client closed) |
| 11:39:38 | <haskellbridge> | <mauke> They don't produce the same results, so direct comparisons are pointless |
| 11:39:43 | × | danse-nr3_ quits (~francesco@151.47.115.24) (Ping timeout: 240 seconds) |
| 11:40:43 | × | shelby quits (~thomas_sh@115.96.219.194) (Ping timeout: 240 seconds) |
| 11:47:07 | → | arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 11:49:16 | <Guest84> | Why? I thought the result was the same |
| 11:55:34 | → | danse-nr3_ joins (~francesco@151.47.115.24) |
| 11:56:36 | → | sm joins (~sm@plaintextaccounting/sm) |
| 12:09:16 | → | ripspin joins (~chatzilla@1.145.229.183) |
| 12:10:01 | → | CiaoSen joins (~Jura@2a05:5800:2a3:3400:664b:f0ff:fe37:9ef) |
| 12:11:44 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 12:13:43 | × | danse-nr3_ quits (~francesco@151.47.115.24) (Read error: Connection reset by peer) |
| 12:14:21 | → | danse-nr3_ joins (~francesco@151.47.111.230) |
| 12:14:38 | → | cfricke joins (~cfricke@user/cfricke) |
| 12:18:32 | → | artem joins (~artem@2601:249:4380:8950:f474:e3f8:9806:671) |
| 12:18:32 | × | ulysses4ever quits (~artem@2601:249:4380:8950:f474:e3f8:9806:671) (Read error: Connection reset by peer) |
| 12:28:26 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Read error: Connection reset by peer) |
| 12:28:36 | × | Square2 quits (~Square4@user/square) (Ping timeout: 255 seconds) |
| 12:29:03 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 12:30:46 | → | califax joins (~califax@user/califx) |
| 12:32:36 | × | Guest84 quits (~Guest44@176.122.87.241) (Quit: Client closed) |
| 12:37:07 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 12:40:31 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 12:42:23 | × | kupi quits (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 12:45:49 | → | idgaen joins (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 12:52:43 | × | hgolden quits (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) (Remote host closed the connection) |
| 12:57:49 | → | hgolden joins (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) |
| 13:06:24 | × | idgaen quits (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 13:08:09 | × | kenran quits (~user@user/kenran) (Remote host closed the connection) |
| 13:16:49 | × | xmachina quits (~xmachina@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 4.0.4) |
| 13:18:41 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 13:21:15 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 4.0.4) |
| 13:21:50 | × | Philonous quits (~Philonous@user/philonous) (Quit: ZNC - https://znc.in) |
| 13:21:56 | → | xmachina joins (~xmachina@modemcable048.127-56-74.mc.videotron.ca) |
| 13:22:16 | → | Philonous joins (~Philonous@user/philonous) |
| 13:23:57 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 13:28:59 | → | grnman_ joins (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) |
| 13:30:05 | × | CiaoSen quits (~Jura@2a05:5800:2a3:3400:664b:f0ff:fe37:9ef) (Ping timeout: 245 seconds) |
| 13:40:01 | → | shelby joins (~thomas_sh@115.96.219.194) |
| 13:41:13 | × | acidjnk quits (~acidjnk@p200300d6e7072f6520588d179814dc9a.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 13:49:07 | → | falafel joins (~falafel@62.175.113.194.dyn.user.ono.com) |
| 13:49:43 | × | libertyprime quits (~libertypr@203.96.203.44) (Ping timeout: 240 seconds) |
| 13:53:13 | × | shiraeeshi quits (~shiraeesh@46.42.239.69) (Ping timeout: 240 seconds) |
| 13:56:02 | × | xmachina quits (~xmachina@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 4.0.4) |
| 13:57:54 | → | shiraeeshi joins (~shiraeesh@46.42.239.69) |
| 14:02:40 | → | mima joins (~mmh@net-93-67-197-209.cust.vodafonedsl.it) |
| 14:05:30 | × | shiraeeshi quits (~shiraeesh@46.42.239.69) (Ping timeout: 245 seconds) |
| 14:06:25 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 14:13:05 | → | acidjnk joins (~acidjnk@p200300d6e7072f6520588d179814dc9a.dip0.t-ipconnect.de) |
| 14:15:33 | × | gehmehgeh quits (~user@user/gehmehgeh) (Ping timeout: 246 seconds) |
| 14:20:42 | × | ripspin quits (~chatzilla@1.145.229.183) (Remote host closed the connection) |
| 14:28:37 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:e372:8b17:e09f:6ef9) (Quit: WeeChat 2.8) |
| 14:31:00 | × | falafel quits (~falafel@62.175.113.194.dyn.user.ono.com) (Ping timeout: 255 seconds) |
| 14:32:05 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 14:39:37 | × | grnman_ quits (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Remote host closed the connection) |
| 14:43:24 | × | shelby quits (~thomas_sh@115.96.219.194) (Quit: Leaving) |
| 14:47:12 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 14:51:14 | → | wroathe joins (~wroathe@50.205.197.50) |
| 14:51:14 | × | wroathe quits (~wroathe@50.205.197.50) (Changing host) |
| 14:51:14 | → | wroathe joins (~wroathe@user/wroathe) |
| 14:52:04 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 14:54:44 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: sm) |
| 14:55:28 | → | ripspin joins (~chatzilla@1.145.200.163) |
| 14:56:39 | × | urdh quits (~urdh@user/urdh) (Quit: Boom!) |
| 14:57:32 | × | vglfr quits (~vglfr@cli-188-239-233-89.bbn.slav.dn.ua) (Remote host closed the connection) |
| 14:58:13 | → | vglfr joins (~vglfr@cli-188-239-233-89.bbn.slav.dn.ua) |
| 14:58:29 | → | urdh joins (~urdh@user/urdh) |
| 15:02:13 | → | Jackneill_ joins (~Jackneill@20014C4E1E04F900E8A77BDB1AC96767.dsl.pool.telekom.hu) |
| 15:03:02 | × | stites quits (~stites@130.44.147.204) (Ping timeout: 246 seconds) |
| 15:05:08 | → | stites joins (~stites@2607:fb90:ad61:9325:603a:eedc:7602:5471) |
| 15:17:11 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 15:21:59 | × | Axman6 quits (~Axman6@user/axman6) (*.net *.split) |
| 15:23:18 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 15:24:15 | × | ripspin quits (~chatzilla@1.145.200.163) (Remote host closed the connection) |
| 15:29:30 | × | gehmehgeh quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 15:29:57 | × | arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 255 seconds) |
| 15:30:17 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 15:31:45 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 255 seconds) |
| 15:33:16 | → | xmachina joins (~xmachina@modemcable048.127-56-74.mc.videotron.ca) |
| 15:34:20 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 246 seconds) |
| 15:36:25 | → | kenran joins (~user@user/kenran) |
| 15:36:57 | → | ubert joins (~Thunderbi@178.115.34.37.wireless.dyn.drei.com) |
| 15:37:17 | × | stites quits (~stites@2607:fb90:ad61:9325:603a:eedc:7602:5471) (Read error: Connection reset by peer) |
| 15:37:36 | → | stites joins (~stites@130.44.147.204) |
| 15:38:15 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 15:39:33 | → | danza_ joins (~francesco@151.47.111.230) |
| 15:43:26 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 15:43:43 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 15:48:59 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 15:49:06 | → | wroathe joins (~wroathe@50.205.197.50) |
| 15:49:06 | × | wroathe quits (~wroathe@50.205.197.50) (Changing host) |
| 15:49:06 | → | wroathe joins (~wroathe@user/wroathe) |
| 15:56:57 | × | danse-nr3_ quits (~francesco@151.47.111.230) (Ping timeout: 255 seconds) |
| 15:59:40 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6) |
| 16:02:39 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 16:04:13 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 16:04:16 | × | eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 16:04:31 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:b4dc:645a:ee0c:be48) |
| 16:10:29 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:98db:1d1b:4a69:d772) |
| 16:14:34 | → | danza__ joins (~francesco@ge-19-119-246.service.infuturo.it) |
| 16:15:08 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 16:17:12 | × | danza_ quits (~francesco@151.47.111.230) (Ping timeout: 255 seconds) |
| 16:18:44 | → | sm joins (~sm@plaintextaccounting/sm) |
| 16:21:15 | → | Simikando joins (~Simikando@adsl-dyn91.91-127-22.t-com.sk) |
| 16:21:27 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:98db:1d1b:4a69:d772) (Quit: WeeChat 2.8) |
| 16:21:41 | × | Simikando quits (~Simikando@adsl-dyn91.91-127-22.t-com.sk) (Client Quit) |
| 16:21:44 | → | cheater joins (~Username@user/cheater) |
| 16:22:02 | × | sm quits (~sm@plaintextaccounting/sm) (Remote host closed the connection) |
| 16:22:04 | → | Simikando joins (~Simikando@adsl-dyn91.91-127-22.t-com.sk) |
| 16:26:42 | → | sm joins (~sm@plaintextaccounting/sm) |
| 16:29:00 | × | kilolympus quits (~kilolympu@cpc105064-sgyl40-2-0-cust46.18-2.cable.virginm.net) (Ping timeout: 248 seconds) |
| 16:29:34 | → | mysl joins (~mysl@user/mysl) |
| 16:29:38 | × | sm quits (~sm@plaintextaccounting/sm) (Remote host closed the connection) |
| 16:30:18 | → | sm joins (~sm@plaintextaccounting/sm) |
| 16:31:01 | → | ripspin joins (~chatzilla@1.145.231.67) |
| 16:31:13 | × | Simikando quits (~Simikando@adsl-dyn91.91-127-22.t-com.sk) (Ping timeout: 240 seconds) |
| 16:32:26 | × | kenran quits (~user@user/kenran) (Ping timeout: 246 seconds) |
| 16:32:55 | → | Simikando joins (~Simikando@adsl-dyn91.91-127-22.t-com.sk) |
| 16:34:07 | → | sm_ joins (~sm@plaintextaccounting/sm) |
| 16:34:07 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Read error: Connection reset by peer) |
| 16:34:40 | × | sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 245 seconds) |
| 16:37:08 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: Tschüss) |
| 16:42:20 | × | Simikando quits (~Simikando@adsl-dyn91.91-127-22.t-com.sk) (Quit: Leaving) |
| 16:43:29 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 246 seconds) |
| 16:44:01 | → | lukaswilkeer joins (~lukaswilk@2804:14c:5b61:82fa:3035:f35b:eea:83b3) |
| 16:45:18 | → | Simikando joins (~Simikando@adsl-dyn91.91-127-22.t-com.sk) |
| 16:45:45 | <lukaswilkeer> | Hello folks, i have a question on stackoverflow that are viewed only 5 times, if someone could help I'm glad. |
| 16:45:46 | <lukaswilkeer> | https://stackoverflow.com/questions/77039227/couldnt-match-expected-type-t2-integer-with-actual-type-integer-on-getter |
| 16:47:33 | <geekosaur> | if you're not using OverloadedRecordDot with its requirements then you want `amount t` instead of `t.amount` , and similarly for `t.equivalent` |
| 16:48:03 | <lukaswilkeer> | no, i wasn't. |
| 16:48:26 | <lukaswilkeer> | only OverloadedStrings |
| 16:48:30 | <danza__> | interesting, i bet this will not be an isolated case |
| 16:49:02 | × | sm_ quits (~sm@plaintextaccounting/sm) (Remote host closed the connection) |
| 16:49:02 | <geekosaur> | this is supposedly why OverloadedRecordDot exists. gotta pander to everyone else instead of being Haskell |
| 16:49:29 | <geekosaur> | I swear at the rate we're going ghc 12 will be javascript with type level programming 😞 |
| 16:49:40 | → | sm joins (~sm@plaintextaccounting/sm) |
| 16:50:09 | <[exa]> | ( also the question now has 10 views, we improved! ) |
| 16:50:44 | <danza__> | fast, answer there! Future points can grant you a job! |
| 16:50:46 | <lukaswilkeer> | yep, I could use the overloadedRecordDot, but only works for char, [char] or Text |
| 16:50:59 | <[exa]> | lukaswilkeer: do you have any reason to use the dot syntax? |
| 16:51:10 | <lukaswilkeer> | nop |
| 16:51:15 | <[exa]> | (as in, try :t amount) |
| 16:51:29 | × | Simikando quits (~Simikando@adsl-dyn91.91-127-22.t-com.sk) (Remote host closed the connection) |
| 16:52:28 | <[exa]> | lukaswilkeer: btw not sure how much you're friends with monads but I'd say this calls for `instance Monoid TotalDeleted` and runWriterT |
| 16:53:49 | → | aaronv joins (~aaronv@user/aaronv) |
| 16:54:05 | <lukaswilkeer> | [exa] amount is a String -> () Type. |
| 16:55:18 | <[exa]> | how come? I'm getting `amount :: TotalDeleted -> Integer` |
| 16:55:56 | <lukaswilkeer> | amount' with apostrophe |
| 16:56:54 | <[exa]> | no I meant the normal `amount` |
| 16:57:12 | <[exa]> | it should have the precisely same type as the `amount'` there |
| 16:57:13 | × | stites quits (~stites@130.44.147.204) (Ping timeout: 240 seconds) |
| 16:57:22 | → | stites joins (~stites@2607:fb90:ad61:9325:603a:eedc:7602:5471) |
| 16:59:09 | × | ripspin quits (~chatzilla@1.145.231.67) (Remote host closed the connection) |
| 16:59:51 | × | aaronv quits (~aaronv@user/aaronv) (Remote host closed the connection) |
| 17:00:16 | → | aaronv joins (~aaronv@user/aaronv) |
| 17:03:44 | <lukaswilkeer> | ok |
| 17:06:16 | → | __monty__ joins (~toonn@user/toonn) |
| 17:10:48 | <lukaswilkeer> | variable not in scope |
| 17:11:13 | <[Leary]> | lukaswilkeer: GHC is complaining that you're trying to traverse an Integer. Use brackets: `traverse_ (recursive...)`. Also, the final print will always be "0"; `mut` is immutable. |
| 17:11:26 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:12:19 | <lukaswilkeer> | i create a typeable to deal wiith this |
| 17:12:37 | <lukaswilkeer> | i gotta see the immutable part in a second run |
| 17:12:45 | × | stites quits (~stites@2607:fb90:ad61:9325:603a:eedc:7602:5471) (Read error: Connection reset by peer) |
| 17:13:05 | → | stites joins (~stites@c-73-238-135-208.hsd1.ct.comcast.net) |
| 17:13:15 | <lukaswilkeer> | but for now, i only need to compheend t2 Integer from Integer that I'm getting from amount' |
| 17:13:16 | × | stites quits (~stites@c-73-238-135-208.hsd1.ct.comcast.net) (Read error: Connection reset by peer) |
| 17:13:34 | <danza__> | sounds like development that could benefit from small experiments with the interpreter |
| 17:13:56 | <[exa]> | lukaswilkeer: wait are you sure you need the Typeable? I might not be getting something but this looks super overengineered |
| 17:14:14 | → | stites joins (~stites@2607:fb90:ad61:9325:603a:eedc:7602:5471) |
| 17:14:21 | <lukaswilkeer> | I will post a gist |
| 17:14:48 | <[Leary]> | :t traverse_ (print :: Integer -> IO ()) (3 :: Integer) |
| 17:14:49 | <lambdabot> | error: |
| 17:14:49 | <lambdabot> | • Couldn't match expected type ‘t0 Integer’ |
| 17:14:49 | <lambdabot> | with actual type ‘Integer’ |
| 17:19:46 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 17:20:25 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 17:21:20 | <lukaswilkeer> | https://gist.github.com/saboneterowsantos/b0b472c7af15b8f88af46b307e1631f7 |
| 17:22:07 | <[exa]> | lukaswilkeer: what's your previous programming language? |
| 17:22:20 | <[exa]> | (I guess rust) |
| 17:22:22 | <lukaswilkeer> | python, c, jjs |
| 17:22:28 | <lukaswilkeer> | *JS |
| 17:22:41 | <[exa]> | ok, there's _nothing_ mutable in haskell |
| 17:23:12 | <lukaswilkeer> | I know, i let this to work in another time. |
| 17:23:18 | <[exa]> | so the code will need a tiny bit of restructuring, but nothing harsh, we've got tools to do that |
| 17:23:34 | <lukaswilkeer> | like: |
| 17:23:40 | <lukaswilkeer> | ? |
| 17:24:12 | <lukaswilkeer> | dealing with immutability in haskell is new to me |
| 17:24:27 | <[exa]> | like State monad, or cheap function calls |
| 17:24:40 | <EvanR> | if you're familiar with immutability in other contexts haskell will be a breeze |
| 17:24:52 | <EvanR> | it's the default and can't be changed |
| 17:24:52 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:b4dc:645a:ee0c:be48) (Read error: Connection reset by peer) |
| 17:25:08 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 17:25:18 | <lukaswilkeer> | I've attempt in function calls, inside a typeable, seeing by lenses i can do it inside the function. |
| 17:25:40 | <[exa]> | wait what is "inside a typeable" |
| 17:25:40 | <lukaswilkeer> | an then, results get the final amount |
| 17:26:05 | <lukaswilkeer> | data TotalDeleted = TotalDeleted { |
| 17:26:05 | <lukaswilkeer> | amount :: Integer, |
| 17:26:06 | <lukaswilkeer> | equivalent :: String |
| 17:26:06 | <lukaswilkeer> | } deriving (Eq, Show, Data, Typeable) |
| 17:26:36 | <[exa]> | why do you need the Typeable instance? (spoiler: Typeable typeclass doesn't mean "this has a type") |
| 17:26:37 | <lukaswilkeer> | doesn't even need the Typeable class |
| 17:26:42 | <[exa]> | yap |
| 17:26:46 | <[exa]> | probably also not Data |
| 17:27:09 | <EvanR> | isn't everything Typeable by default |
| 17:27:15 | <EvanR> | everything that can be |
| 17:27:53 | <[exa]> | I wouldn't bet but it's possible |
| 17:28:00 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:b4dc:645a:ee0c:be48) |
| 17:28:45 | × | aaronv quits (~aaronv@user/aaronv) (Ping timeout: 255 seconds) |
| 17:29:17 | <EvanR> | @define data X = X Int Char |
| 17:29:18 | <lambdabot> | /sandbox/tmp/.L.hs:170:1: error: |
| 17:29:18 | <lambdabot> | Multiple declarations of ‘X’ |
| 17:29:18 | <lambdabot> | Declared at: /sandbox/tmp/.L.hs:168:1 |
| 17:29:37 | <EvanR> | > typeOf (X 3 'a') |
| 17:29:39 | <lambdabot> | X |
| 17:30:10 | <danza__> | :t typeOf |
| 17:30:11 | <lambdabot> | Typeable a => a -> TypeRep |
| 17:30:31 | <[exa]> | oh cool |
| 17:31:32 | → | shiraeeshi joins (~shiraeesh@46.42.239.97) |
| 17:33:34 | <EvanR> | not that that is helpful for lukaswilkeer I gather |
| 17:35:58 | <monochrom> | Do you need lens at this early stage? |
| 17:36:16 | → | aaronv joins (~aaronv@user/aaronv) |
| 17:37:01 | <lukaswilkeer> | No... i was saying in a literal form |
| 17:38:45 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:b4dc:645a:ee0c:be48) (Remote host closed the connection) |
| 17:38:54 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: sm) |
| 17:39:34 | → | haasn joins (sid579015@id-579015.hampstead.irccloud.com) |
| 17:40:00 | <haasn> | is there a library somewhere for exact calculation of bessel functions of the first kind (specifically, J₁)? |
| 17:40:16 | <haasn> | I'd like to use it with CReal if possible but getting precision accurate to Double machine epsilon would also be sufficient |
| 17:40:27 | <haasn> | I'm not sure if glibc j1 is accurate to machine epsilon |
| 17:40:44 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 17:42:25 | <haasn> | https://hackage.haskell.org/package/hmatrix-special-0.4.0.1/docs/Numeric-GSL-Special-Bessel.html#v:bessel_J1 maybe this is accurate |
| 17:42:26 | <EvanR> | There are errors of up to 2e-16 in the values returned by j0(), j1(), and jn() for values of x between -8 and 8. |
| 17:42:49 | <monochrom> | haasn: Yeah hmatrix-* is the only one I've seen. |
| 17:42:49 | <haasn> | oh, then that's good enough |
| 17:42:52 | <haasn> | thanks |
| 17:43:15 | <EvanR> | that's under bugs |
| 17:43:19 | <EvanR> | in the man page |
| 17:43:54 | <haasn> | ah, I didn't scroll that far down, thanks |
| 17:44:01 | → | thegeekinside joins (~thegeekin@189.180.122.37) |
| 17:44:53 | <EvanR> | interesting, I'm shadowing math.h every time I call something j0 and j1 xD |
| 17:45:33 | <monochrom> | Wait, math.h has j0 etc?! Interesting. |
| 17:45:50 | <haasn> | thankfully, I use them for resampling :D |
| 17:46:09 | <monochrom> | It's even in POSIX. My hope in humanity is restored. |
| 17:47:09 | <haasn> | if your hope in humanity depends on the C standard then I feel very, very sorry for you |
| 17:47:30 | <monochrom> | When I was young I wrote "you can't call it a scientific calculator if it doesn't even have some Bessel functions" :) |
| 17:47:58 | <EvanR> | software engineering isn't engineering and computer science isn't science |
| 17:48:04 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:b4dc:645a:ee0c:be48) |
| 17:48:26 | <EvanR> | just kidding |
| 17:48:44 | <monochrom> | My hope is restored because even POSIX honours an "obscure" function of prominent importance in math and physics. |
| 17:49:22 | <monochrom> | Normally people only honours things taught in highschool or below. |
| 17:50:09 | <monochrom> | For example math.h still doesn't have sets. As if set theory "is not math". |
| 17:50:15 | <EvanR> | that's progress honestly |
| 17:50:39 | <wroathe> | For the most part operation Haskell Types -> SQL code generator was a success. GHC.Generics and DataKinds enables all kinds of tomfoolery. |
| 17:50:43 | <wroathe> | Thanks for the help guys |
| 17:50:45 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 17:51:11 | <EvanR> | I thought set theory was logic |
| 17:51:16 | × | aaronv quits (~aaronv@user/aaronv) (Ping timeout: 245 seconds) |
| 17:51:43 | <EvanR> | logic.h |
| 17:53:04 | <haasn> | I can understand math.h not having sets because sets in C would be a pain |
| 17:53:08 | <haasn> | anything but arrays in C is a pain |
| 17:53:21 | <haasn> | actually, even arrays in C are a pain |
| 17:53:33 | <EvanR> | in my current C program I use an array and 2 lines of code as a set |
| 17:53:46 | <EvanR> | well, multiset |
| 17:54:01 | <EvanR> | they could put something like that in math.h |
| 17:54:55 | <monochrom> | Did you know that you could do "int *p = (int[]){1, 2, 3};"? That can reduce the pain... |
| 17:55:53 | <EvanR> | #define array(X) (int[])X |
| 17:56:00 | <EvanR> | int *p = array{1,2,3} |
| 17:56:09 | <monochrom> | I know that some world-class programming contest team's priority queue for Dijkstra's algorithm is an array and linear search for the min. |
| 17:56:29 | <EvanR> | ah I messed that up |
| 17:57:35 | <EvanR> | #define array(...) (int[]){__VA_ARGS__} |
| 17:57:44 | <EvanR> | int *p = array(1,2,3); |
| 17:58:02 | <monochrom> | OK VA_ARGS in macros, you are bringing out the big gun indeed. :) |
| 17:59:34 | <EvanR> | when everything is an int C gets really nice |
| 18:01:09 | <tomsmeding> | the really big guns are _Generic |
| 18:01:23 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:b4dc:645a:ee0c:be48) (Remote host closed the connection) |
| 18:02:05 | <EvanR> | typedef struct vec2 {double x; double y;} vec2; #define vec2(X,Y) (vec2){X,Y} |
| 18:02:12 | <EvanR> | vec2 v = vec2(3,4); |
| 18:05:01 | <monochrom> | You can write "vec2 v = {3, 4};" without needing (vec2). |
| 18:05:33 | <EvanR> | OK YEAH |
| 18:05:37 | <monochrom> | The benefit is when you want an initializer for a pointer instead. "vec2 *p = &(vec2){3, 4};" |
| 18:06:08 | <EvanR> | vec2 v = dot(vec2(1,0), u); |
| 18:06:48 | <monochrom> | Or when you want to pass a one-shot thing to a function that takes a pointer. memcpy(dst, &(vec){3, 4}); |
| 18:07:21 | <EvanR> | that is handy |
| 18:07:27 | <monochrom> | fwrite(&(int[]){1,2,3}, sizeof(int), 3, f); |
| 18:08:13 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 18:09:45 | <EvanR> | no & there |
| 18:11:08 | <monochrom> | Oh! Right. Shouldn't have & for those two arrays. |
| 18:11:23 | <monochrom> | err just one array. |
| 18:15:32 | × | billchenchina quits (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) (Ping timeout: 246 seconds) |
| 18:15:37 | → | notzmv joins (~zmv@user/notzmv) |
| 18:22:34 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:b4dc:645a:ee0c:be48) |
| 18:29:21 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 18:36:21 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:b4dc:645a:ee0c:be48) (Remote host closed the connection) |
| 18:40:39 | → | EvanR_ joins (~EvanR@user/evanr) |
| 18:42:52 | × | EvanR quits (~EvanR@user/evanr) (Ping timeout: 248 seconds) |
| 18:43:29 | × | ddellacosta quits (~ddellacos@ool-44c738de.dyn.optonline.net) (Quit: WeeChat 4.0.3) |
| 18:48:53 | → | ezzieygu1wuf joins (~Unknown@user/ezzieyguywuf) |
| 18:50:01 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Ping timeout: 260 seconds) |
| 18:50:31 | EvanR_ | is now known as EvanR |
| 19:00:42 | → | cptaffe joins (~textual@2600:1700:f08:111f:cd19:8594:c035:28dc) |
| 19:02:01 | → | aaronv joins (~aaronv@user/aaronv) |
| 19:03:26 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 19:05:58 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 19:07:13 | × | EvanR quits (~EvanR@user/evanr) (Ping timeout: 240 seconds) |
| 19:09:33 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:b4dc:645a:ee0c:be48) |
| 19:10:40 | × | aaronv quits (~aaronv@user/aaronv) (Ping timeout: 255 seconds) |
| 19:14:03 | → | EvanR joins (~EvanR@user/evanr) |
| 19:16:00 | → | aaronv joins (~aaronv@user/aaronv) |
| 19:17:26 | × | aaronv quits (~aaronv@user/aaronv) (Remote host closed the connection) |
| 19:17:50 | → | aaronv joins (~aaronv@user/aaronv) |
| 19:18:10 | × | cptaffe quits (~textual@2600:1700:f08:111f:cd19:8594:c035:28dc) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 19:20:57 | × | vglfr quits (~vglfr@cli-188-239-233-89.bbn.slav.dn.ua) (Remote host closed the connection) |
| 19:21:45 | → | vglfr joins (~vglfr@cli-188-239-233-89.bbn.slav.dn.ua) |
| 19:23:14 | × | aaronv quits (~aaronv@user/aaronv) (Remote host closed the connection) |
| 19:23:44 | → | aaronv joins (~aaronv@user/aaronv) |
| 19:24:36 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 19:24:37 | × | shiraeeshi quits (~shiraeesh@46.42.239.97) (Ping timeout: 255 seconds) |
| 19:25:06 | × | vglfr quits (~vglfr@cli-188-239-233-89.bbn.slav.dn.ua) (Remote host closed the connection) |
| 19:25:53 | → | shiraeeshi joins (~shiraeesh@46.42.239.97) |
| 19:26:09 | → | vglfr joins (~vglfr@cli-188-239-233-89.bbn.slav.dn.ua) |
| 19:27:35 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:355f:ea03:23d5:350b) |
| 19:27:56 | → | jeetelongname joins (~jeet@cpc96970-rdng25-2-0-cust390.15-3.cable.virginm.net) |
| 19:28:09 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:b4dc:645a:ee0c:be48) (Remote host closed the connection) |
| 19:28:24 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:b4dc:645a:ee0c:be48) |
| 19:29:30 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 246 seconds) |
| 19:30:21 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 19:31:20 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 19:31:20 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 19:31:20 | → | wroathe joins (~wroathe@user/wroathe) |
| 19:36:24 | → | falafel joins (~falafel@62.175.113.194.dyn.user.ono.com) |
| 19:36:51 | × | aaronv quits (~aaronv@user/aaronv) (Remote host closed the connection) |
| 19:37:15 | → | aaronv joins (~aaronv@user/aaronv) |
| 19:38:17 | → | cptaffe joins (~textual@2600:1700:f08:111f:cd19:8594:c035:28dc) |
| 19:39:17 | × | cptaffe quits (~textual@2600:1700:f08:111f:cd19:8594:c035:28dc) (Client Quit) |
| 19:39:59 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:b4dc:645a:ee0c:be48) (Remote host closed the connection) |
| 19:44:43 | → | cptaffe joins (~textual@2600:1700:f08:111f:cd19:8594:c035:28dc) |
| 19:47:10 | → | waldo joins (~waldo@user/waldo) |
| 19:47:14 | × | aaronv quits (~aaronv@user/aaronv) (Ping timeout: 246 seconds) |
| 19:50:26 | × | cptaffe quits (~textual@2600:1700:f08:111f:cd19:8594:c035:28dc) (Quit: Textual IRC Client: www.textualapp.com) |
| 19:51:27 | → | ft joins (~ft@p508dbfdc.dip0.t-ipconnect.de) |
| 19:52:04 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 19:53:17 | → | cptaffe joins (~textual@2600:1700:f08:111f:cd19:8594:c035:28dc) |
| 19:53:52 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 19:55:43 | × | waldo quits (~waldo@user/waldo) (Ping timeout: 240 seconds) |
| 19:56:36 | × | stites quits (~stites@2607:fb90:ad61:9325:603a:eedc:7602:5471) (Read error: Connection reset by peer) |
| 19:56:48 | → | stites joins (~stites@2603:3005:b69:4100:4cd3:d69a:b99b:43fc) |
| 19:57:30 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 19:58:09 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:b4dc:645a:ee0c:be48) |
| 19:59:42 | × | cptaffe quits (~textual@2600:1700:f08:111f:cd19:8594:c035:28dc) (Quit: Textual IRC Client: www.textualapp.com) |
| 20:02:42 | → | waldo joins (~waldo@user/waldo) |
| 20:04:13 | × | NinjaTrappeur quits (~ninja@user/ninjatrappeur) (Ping timeout: 246 seconds) |
| 20:04:38 | → | NinjaTrappeur joins (~ninja@user/ninjatrappeur) |
| 20:06:47 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 20:08:35 | → | cptaffe joins (~textual@2600:1700:f08:111f:15d7:e5a6:2c46:d19a) |
| 20:11:35 | × | ircbrowse_tom quits (~ircbrowse@2a01:4f8:1c1c:9319::1) (ZNC 1.8.2+deb2build5 - https://znc.in) |
| 20:11:52 | → | ircbrowse_tom_ joins (~ircbrowse@static.162.49.55.162.clients.your-server.de) |
| 20:11:56 | → | nrr______ joins (sid20938@id-20938.lymington.irccloud.com) |
| 20:11:57 | → | kraftwerk28_ joins (~kraftwerk@164.92.219.160) |
| 20:11:58 | Server | sets mode +Cnt |
| 20:11:59 | → | hovsater_ joins (sid499516@id-499516.lymington.irccloud.com) |
| 20:12:00 | → | agander_m_ joins (sid407952@id-407952.tinside.irccloud.com) |
| 20:12:04 | → | dy_ joins (sid3438@user/dy) |
| 20:12:29 | → | berberman_ joins (~berberman@user/berberman) |
| 20:12:31 | → | B-J joins (~BenziJuni@88-149-64-112.du.xdsl.is) |
| 20:12:46 | × | evanrelf quits (3addc196af@2604:bf00:561:2000::f0) (Ping timeout: 246 seconds) |
| 20:12:47 | × | dy quits (sid3438@user/dy) (Ping timeout: 246 seconds) |
| 20:12:47 | × | acro quits (~acro@user/acro) (Ping timeout: 246 seconds) |
| 20:12:47 | × | whereiseveryone quits (206ba86c98@2604:bf00:561:2000::2e4) (Ping timeout: 246 seconds) |
| 20:12:47 | × | jackdk quits (sid373013@cssa/jackdk) (Ping timeout: 246 seconds) |
| 20:12:47 | × | ymherklotz quits (cb2c9cfbdd@2604:bf00:561:2000::29a) (Ping timeout: 246 seconds) |
| 20:12:47 | × | raghavgururajan quits (ea769b8000@user/raghavgururajan) (Ping timeout: 246 seconds) |
| 20:12:48 | × | echoreply quits (~echoreply@45.32.163.16) (Ping timeout: 246 seconds) |
| 20:12:48 | × | ircbrowse_tom quits (~ircbrowse@2a01:4f8:1c1c:9319::1) (Ping timeout: 246 seconds) |
| 20:12:48 | × | megaTherion quits (~therion@unix.io) (Ping timeout: 246 seconds) |
| 20:12:48 | × | eugenrh_ quits (~eugenrh@2a01:4f9:c011:265::1) (Ping timeout: 246 seconds) |
| 20:12:48 | × | agander_m quits (sid407952@id-407952.tinside.irccloud.com) (Ping timeout: 246 seconds) |
| 20:12:48 | × | arkeet quits (arkeet@moriya.ca) (Ping timeout: 246 seconds) |
| 20:12:48 | × | b0o quits (0e4a0bf4c9@2604:bf00:561:2000::1bf) (Ping timeout: 246 seconds) |
| 20:12:48 | × | ggb quits (a62ffbaf4f@2604:bf00:561:2000::3ac) (Ping timeout: 246 seconds) |
| 20:12:48 | × | xnbya2 quits (~xnbya@2a01:4f8:c17:cbdd::1) (Quit: No Ping reply in 180 seconds.) |
| 20:12:48 | × | quintasan quits (~quassel@quintasan.pl) (Remote host closed the connection) |
| 20:12:48 | × | kraftwerk28 quits (~kraftwerk@164.92.219.160) (Read error: Connection reset by peer) |
| 20:12:48 | × | sgarcia quits (sgarcia@swarm.znchost.com) (Read error: Connection reset by peer) |
| 20:12:48 | × | Hecate quits (~mariposa@user/hecate) (Ping timeout: 246 seconds) |
| 20:12:48 | × | cln_ quits (cln@wtf.cx) (Ping timeout: 246 seconds) |
| 20:12:48 | × | int-e quits (~noone@int-e.eu) (Ping timeout: 246 seconds) |
| 20:12:48 | × | kawzeg_ quits (kawzeg@2a01:7e01::f03c:92ff:fee2:ec34) (Ping timeout: 246 seconds) |
| 20:12:48 | × | hamishmack quits (sid389057@id-389057.hampstead.irccloud.com) (Ping timeout: 246 seconds) |
| 20:12:48 | × | meooow quits (~meooow@165.232.184.169) (Ping timeout: 246 seconds) |
| 20:12:48 | × | T_S___ quits (sid501726@id-501726.uxbridge.irccloud.com) (Ping timeout: 246 seconds) |
| 20:12:48 | × | bollu quits (~bollu@159.65.151.13) (Ping timeout: 246 seconds) |
| 20:12:48 | × | anpad quits (~pandeyan@user/anpad) (Ping timeout: 246 seconds) |
| 20:12:48 | × | hovsater quits (sid499516@id-499516.lymington.irccloud.com) (Ping timeout: 246 seconds) |
| 20:12:48 | × | nrr_____ quits (sid20938@id-20938.lymington.irccloud.com) (Ping timeout: 246 seconds) |
| 20:12:49 | × | Benzi-Junior quits (~BenziJuni@dsl-149-64-112.hive.is) (Ping timeout: 246 seconds) |
| 20:12:49 | × | berberman quits (~berberman@user/berberman) (Ping timeout: 246 seconds) |
| 20:12:49 | × | Igloo quits (~ian@matrix.chaos.earth.li) (Ping timeout: 246 seconds) |
| 20:12:49 | × | lilata quits (~lilata@137.184.4.49) (Ping timeout: 246 seconds) |
| 20:12:49 | × | dagit quits (~dagit@2001:558:6025:38:71c6:9d58:7252:8976) (Read error: Connection reset by peer) |
| 20:12:49 | lilata2 | is now known as lilata |
| 20:12:49 | hamishmack_ | is now known as hamishmack |
| 20:12:49 | → | sgarcia_ joins (sgarcia@swarm.znchost.com) |
| 20:12:49 | dy_ | is now known as dy |
| 20:12:49 | arkeet` | is now known as arkeet |
| 20:12:49 | agander_m_ | is now known as agander_m |
| 20:12:49 | megaTherion_ | is now known as megaTherion |
| 20:12:49 | jackdk_ | is now known as jackdk |
| 20:12:49 | evanrelf_ | is now known as evanrelf |
| 20:12:49 | bollu7 | is now known as bollu |
| 20:12:50 | hovsater_ | is now known as hovsater |
| 20:12:50 | ggb_ | is now known as ggb |
| 20:12:51 | ymherklotz_ | is now known as ymherklotz |
| 20:12:57 | × | tureba quits (~tureba@tureba.org) (Ping timeout: 246 seconds) |
| 20:12:57 | × | stilgart_ quits (~Christoph@chezlefab.net) (Ping timeout: 246 seconds) |
| 20:12:57 | × | tired- quits (~tired@user/tired) (Ping timeout: 246 seconds) |
| 20:12:57 | × | mht-wtf quits (~mht@mht.wtf) (Ping timeout: 246 seconds) |
| 20:13:01 | × | raghavgururajan_ quits (ea769b8000@2604:bf00:561:2000::242) (Read error: Connection reset by peer) |
| 20:13:01 | × | ggb quits (a62ffbaf4f@2604:bf00:561:2000::3ac) (Read error: Connection reset by peer) |
| 20:13:02 | × | evanrelf quits (3addc196af@2604:bf00:561:2000::f0) (Read error: Connection reset by peer) |
| 20:13:02 | × | ymherklotz quits (cb2c9cfbdd@2604:bf00:561:2000::29a) (Read error: Connection reset by peer) |
| 20:13:02 | × | b0o_ quits (0e4a0bf4c9@2604:bf00:561:2000::1bf) (Read error: Connection reset by peer) |
| 20:13:02 | × | whereiseveryone_ quits (206ba86c98@2604:bf00:561:2000::2e4) (Read error: Connection reset by peer) |
| 20:13:02 | × | jmcantrell quits (644f1bed9a@user/jmcantrell) (Write error: Connection reset by peer) |
| 20:13:02 | × | samhh quits (7569f027cf@2604:bf00:561:2000::e4) (Write error: Connection reset by peer) |
| 20:13:02 | × | arcadewise quits (52968ed80d@2604:bf00:561:2000::3df) (Read error: Connection reset by peer) |
| 20:13:02 | × | 040AADQ8O quits (7569f027cf@2604:bf00:561:2000::e4) (Read error: Connection reset by peer) |
| 20:13:02 | × | rselim quits (ce261f06ff@user/milesrout) (Write error: Connection reset by peer) |
| 20:13:02 | × | fgaz_ quits (1ff9197ed6@2604:bf00:561:2000::11ea) (Write error: Connection reset by peer) |
| 20:13:02 | × | MonsoonSecrecy quits (f78c86e960@2604:bf00:561:2000::f99) (Write error: Connection reset by peer) |
| 20:13:02 | × | lukec quits (9dfd4d094e@2604:bf00:561:2000::10e) (Write error: Connection reset by peer) |
| 20:13:02 | × | sus quits (1b7af6299f@user/zeromomentum) (Write error: Connection reset by peer) |
| 20:13:02 | × | Ankhers quits (e99e97ef8e@2604:bf00:561:2000::2a2) (Write error: Connection reset by peer) |
| 20:13:02 | × | n1essa quits (3d621153a5@2604:bf00:561:2000::df7) (Write error: Connection reset by peer) |
| 20:13:02 | × | jleightcap quits (7bc4014b62@user/jleightcap) (Write error: Connection reset by peer) |
| 20:13:02 | × | jakzale quits (6291399afa@user/jakzale) (Write error: Connection reset by peer) |
| 20:13:02 | × | probie quits (cc0b34050a@user/probie) (Write error: Connection reset by peer) |
| 20:13:02 | × | filwisher quits (2e6936c793@2604:bf00:561:2000::170) (Write error: Connection reset by peer) |
| 20:13:02 | × | cpli quits (77fc530071@2604:bf00:561:2000::252) (Write error: Connection reset by peer) |
| 20:13:02 | × | shreyasminocha quits (51fdc93eda@user/shreyasminocha) (Write error: Connection reset by peer) |
| 20:13:02 | × | sm2n quits (ae95cb1267@user/sm2n) (Write error: Connection reset by peer) |
| 20:13:03 | × | chaitlatte0 quits (ea29c0bb16@user/chaitlatte0) (Write error: Connection reset by peer) |
| 20:13:03 | × | theesm quits (2cbdf4b38a@2604:bf00:561:2000::11c8) (Write error: Connection reset by peer) |
| 20:13:03 | × | fvr quits (ef3e56ca8b@2604:bf00:561:2000::3c4) (Write error: Connection reset by peer) |
| 20:13:03 | × | JoelMcCracken quits (5ea8252fbb@2604:bf00:561:2000::10e3) (Write error: Connection reset by peer) |
| 20:13:03 | × | fluffyballoon quits (45ce440a48@2604:bf00:561:2000::e2) (Write error: Connection reset by peer) |
| 20:13:03 | × | bsima1 quits (9d7e39c8ad@2604:bf00:561:2000::dd) (Write error: Connection reset by peer) |
| 20:13:03 | × | henrytill quits (e0180937c3@2604:bf00:561:2000::e8c) (Write error: Connection reset by peer) |
| 20:13:03 | × | jkoshy quits (99b9359beb@user/jkoshy) (Read error: Connection reset by peer) |
| 20:13:15 | → | samhh joins (7569f027cf@2604:bf00:561:2000::e4) |
| 20:13:16 | → | fgaz_ joins (1ff9197ed6@2604:bf00:561:2000::11ea) |
| 20:13:17 | → | ggb joins (a62ffbaf4f@2604:bf00:561:2000::3ac) |
| 20:13:18 | → | lukec joins (9dfd4d094e@2604:bf00:561:2000::10e) |
| 20:13:18 | → | filwisher joins (2e6936c793@2604:bf00:561:2000::170) |
| 20:13:18 | → | bsima1 joins (9d7e39c8ad@2604:bf00:561:2000::dd) |
| 20:13:18 | → | raghavgururajan joins (ea769b8000@user/raghavgururajan) |
| 20:13:27 | → | xnbya joins (~xnbya@2a01:4f8:c17:cbdd::1) |
| 20:13:27 | → | b0o joins (0e4a0bf4c9@2604:bf00:561:2000::1bf) |
| 20:13:35 | → | jleightcap joins (7bc4014b62@user/jleightcap) |
| 20:13:35 | → | ymherklotz joins (cb2c9cfbdd@2604:bf00:561:2000::29a) |
| 20:13:36 | → | jakzale joins (6291399afa@user/jakzale) |
| 20:13:36 | → | theesm joins (2cbdf4b38a@2604:bf00:561:2000::11c8) |
| 20:13:36 | → | sm2n joins (ae95cb1267@user/sm2n) |
| 20:13:44 | → | jkoshy joins (99b9359beb@user/jkoshy) |
| 20:13:44 | → | whereiseveryone joins (206ba86c98@2604:bf00:561:2000::2e4) |
| 20:13:45 | → | fluffyballoon joins (45ce440a48@2604:bf00:561:2000::e2) |
| 20:13:45 | → | probie joins (cc0b34050a@user/probie) |
| 20:13:45 | → | evanrelf joins (3addc196af@2604:bf00:561:2000::f0) |
| 20:13:49 | → | fvr joins (ef3e56ca8b@2604:bf00:561:2000::3c4) |
| 20:14:26 | → | sus joins (1b7af6299f@user/zeromomentum) |
| 20:14:26 | → | cln_ joins (cln@wtf.cx) |
| 20:14:30 | → | cpli joins (77fc530071@2604:bf00:561:2000::252) |
| 20:14:30 | → | Igloo joins (~ian@matrix.chaos.earth.li) |
| 20:14:30 | → | acro joins (~acro@user/acro) |
| 20:14:30 | → | Hecate joins (~mariposa@user/hecate) |
| 20:14:33 | → | danza_ joins (~francesco@151.43.119.54) |
| 20:14:33 | → | echoreply joins (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) |
| 20:14:37 | → | stites joins (~stites@2603:3005:b69:4100:870c:2968:b53:634e) |
| 20:14:37 | → | eugenrh_ joins (~eugenrh@2a01:4f9:c011:265::1) |
| 20:14:37 | → | samhh_ joins (7569f027cf@2604:bf00:561:2000::e4) |
| 20:14:37 | → | chaitlatte0 joins (ea29c0bb16@user/chaitlatte0) |
| 20:14:38 | → | int-e joins (~noone@int-e.eu) |
| 20:14:38 | → | henrytill joins (e0180937c3@2604:bf00:561:2000::e8c) |
| 20:14:44 | → | shreyasminocha joins (51fdc93eda@user/shreyasminocha) |
| 20:14:45 | → | tureba joins (~tureba@tureba.org) |
| 20:14:46 | → | anpad joins (~pandeyan@135-180-53-157.fiber.dynamic.sonic.net) |
| 20:14:46 | × | anpad quits (~pandeyan@135-180-53-157.fiber.dynamic.sonic.net) (Changing host) |
| 20:14:46 | → | anpad joins (~pandeyan@user/anpad) |
| 20:14:46 | → | kawzeg_ joins (kawzeg@2a01:7e01::f03c:92ff:fee2:ec34) |
| 20:14:50 | → | Ankhers joins (e99e97ef8e@2604:bf00:561:2000::2a2) |
| 20:14:53 | → | arcadewise joins (52968ed80d@2604:bf00:561:2000::3df) |
| 20:14:54 | → | stilgart joins (~Christoph@chezlefab.net) |
| 20:14:54 | → | rselim joins (ce261f06ff@user/milesrout) |
| 20:15:04 | → | MonsoonSecrecy joins (f78c86e960@2604:bf00:561:2000::f99) |
| 20:15:07 | → | jmcantrell joins (644f1bed9a@user/jmcantrell) |
| 20:15:12 | → | n1essa joins (3d621153a5@2604:bf00:561:2000::df7) |
| 20:15:13 | → | JoelMcCracken joins (5ea8252fbb@2604:bf00:561:2000::10e3) |
| 20:15:20 | → | quintasan joins (~quassel@quintasan.pl) |
| 20:15:29 | × | danza__ quits (~francesco@ge-19-119-246.service.infuturo.it) (Read error: Connection reset by peer) |
| 20:17:44 | × | superbil quits (~superbil@1-34-176-171.hinet-ip.hinet.net) (*.net *.split) |
| 20:17:44 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 20:17:57 | → | mht-wtf joins (~mht@2a03:b0c0:3:e0::1e2:c001) |
| 20:18:09 | → | ulysses4ever joins (~artem@73.145.240.8) |
| 20:18:10 | → | superbil joins (~superbil@1-34-176-171.hinet-ip.hinet.net) |
| 20:18:50 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 245 seconds) |
| 20:20:43 | × | artem quits (~artem@2601:249:4380:8950:f474:e3f8:9806:671) (Ping timeout: 240 seconds) |
| 20:20:54 | → | caryhartline joins (~caryhartl@168.182.58.169) |
| 20:25:30 | × | mima quits (~mmh@net-93-67-197-209.cust.vodafonedsl.it) (Ping timeout: 245 seconds) |
| 20:26:47 | × | lukaswilkeer quits (~lukaswilk@2804:14c:5b61:82fa:3035:f35b:eea:83b3) (Ping timeout: 246 seconds) |
| 20:28:37 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 20:30:24 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:355f:ea03:23d5:350b) (Quit: WeeChat 2.8) |
| 20:31:16 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:b4dc:645a:ee0c:be48) (Remote host closed the connection) |
| 20:31:39 | × | waldo quits (~waldo@user/waldo) (Ping timeout: 255 seconds) |
| 20:33:00 | × | shiraeeshi quits (~shiraeesh@46.42.239.97) (Ping timeout: 245 seconds) |
| 20:34:48 | × | oo_miguel quits (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 255 seconds) |
| 20:35:05 | × | falafel quits (~falafel@62.175.113.194.dyn.user.ono.com) (Ping timeout: 245 seconds) |
| 20:35:22 | → | shiraeeshi joins (~shiraeesh@46.42.239.97) |
| 20:35:38 | → | wroathe joins (~wroathe@50.205.197.50) |
| 20:35:39 | × | wroathe quits (~wroathe@50.205.197.50) (Changing host) |
| 20:35:39 | → | wroathe joins (~wroathe@user/wroathe) |
| 20:40:13 | × | Jackneill_ quits (~Jackneill@20014C4E1E04F900E8A77BDB1AC96767.dsl.pool.telekom.hu) (Ping timeout: 240 seconds) |
| 20:43:25 | → | mima joins (~mmh@net-93-67-197-209.cust.vodafonedsl.it) |
| 20:43:36 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:b4dc:645a:ee0c:be48) |
| 20:52:36 | → | ddellacosta joins (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 20:54:12 | × | Katarushisu1 quits (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Quit: Ping timeout (120 seconds)) |
| 20:54:31 | → | Katarushisu1 joins (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
| 21:00:43 | × | acidjnk quits (~acidjnk@p200300d6e7072f6520588d179814dc9a.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 21:03:45 | → | libertyprime joins (~libertypr@203.96.203.44) |
| 21:07:08 | → | mechap joins (~mechap@user/mechap) |
| 21:07:25 | × | aniketd quits (~Thunderbi@2405:201:d00b:116e:a7a5:78f5:8b0d:5253) (Quit: aniketd) |
| 21:09:20 | × | jeetelongname quits (~jeet@cpc96970-rdng25-2-0-cust390.15-3.cable.virginm.net) (Ping timeout: 250 seconds) |
| 21:10:30 | × | cptaffe quits (~textual@2600:1700:f08:111f:15d7:e5a6:2c46:d19a) (Quit: Textual IRC Client: www.textualapp.com) |
| 21:16:57 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:20:43 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 21:22:03 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 21:23:43 | × | stites quits (~stites@2603:3005:b69:4100:870c:2968:b53:634e) (Ping timeout: 240 seconds) |
| 21:25:05 | → | stites joins (~stites@2607:fb90:ad61:9325:603a:eedc:7602:5471) |
| 21:27:05 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 250 seconds) |
| 21:27:53 | × | michalz quits (~michalz@185.246.207.203) (Remote host closed the connection) |
| 21:28:28 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 21:32:03 | × | fendor quits (~fendor@2a02:8388:1640:be00:c785:45ab:c70:9d3f) (Remote host closed the connection) |
| 21:33:04 | × | stites quits (~stites@2607:fb90:ad61:9325:603a:eedc:7602:5471) (Read error: Connection reset by peer) |
| 21:33:24 | → | stites joins (~stites@130.44.147.204) |
| 21:33:39 | → | jeetelongname joins (~jeet@cpc96970-rdng25-2-0-cust390.15-3.cable.virginm.net) |
| 21:44:44 | → | AlexNoo_ joins (~AlexNoo@178.34.160.172) |
| 21:45:11 | × | ulysses4ever quits (~artem@73.145.240.8) (Ping timeout: 246 seconds) |
| 21:45:14 | → | ph88^ joins (~ph88@ip5b403cd4.dynamic.kabel-deutschland.de) |
| 21:45:19 | → | pavonia_ joins (~user@user/siracusa) |
| 21:45:23 | → | ulysses4ever joins (~artem@2601:408:c408:56d8:f474:e3f8:9806:671) |
| 21:45:33 | → | danza__ joins (~francesco@151.43.119.54) |
| 21:45:53 | × | user2 quits (~user@162.255.84.96) (Ping timeout: 246 seconds) |
| 21:45:57 | → | lilata1 joins (~lilata@137.184.4.49) |
| 21:46:06 | → | raoul4 joins (~raoul@95.179.203.88) |
| 21:46:10 | → | Lears joins (~Leary]@user/Leary/x-0910699) |
| 21:46:14 | × | pavonia quits (~user@user/siracusa) (Ping timeout: 246 seconds) |
| 21:46:35 | × | ezzieygu1wuf quits (~Unknown@user/ezzieyguywuf) (Ping timeout: 246 seconds) |
| 21:46:35 | × | shailangsa quits (~shailangs@host86-186-196-224.range86-186.btcentralplus.com) (Ping timeout: 246 seconds) |
| 21:46:35 | × | haskl quits (~haskl@user/haskl) (Ping timeout: 246 seconds) |
| 21:46:45 | pavonia_ | is now known as pavonia |
| 21:47:03 | → | acro_ joins (~acro@user/acro) |
| 21:47:03 | → | haskl joins (~haskl@user/haskl) |
| 21:47:17 | × | acro quits (~acro@user/acro) (Ping timeout: 246 seconds) |
| 21:47:17 | × | leah2 quits (~leah@vuxu.org) (Ping timeout: 246 seconds) |
| 21:47:17 | × | _________ quits (~nobody@user/noodly) (Ping timeout: 246 seconds) |
| 21:47:17 | × | Maxdamantus quits (~Maxdamant@user/maxdamantus) (Ping timeout: 246 seconds) |
| 21:47:18 | × | [Leary] quits (~Leary]@user/Leary/x-0910699) (Ping timeout: 246 seconds) |
| 21:47:23 | × | jeetelongname quits (~jeet@cpc96970-rdng25-2-0-cust390.15-3.cable.virginm.net) (Remote host closed the connection) |
| 21:47:27 | acro_ | is now known as acro |
| 21:47:38 | × | AlexZenon quits (~alzenon@178.34.160.172) (Ping timeout: 246 seconds) |
| 21:47:39 | × | CAT_S quits (apic@brezn3.muc.ccc.de) (Ping timeout: 246 seconds) |
| 21:47:39 | × | raoul quits (~raoul@95.179.203.88) (Ping timeout: 246 seconds) |
| 21:47:39 | × | ph88 quits (~ph88@ip5b403cd4.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 21:47:39 | × | AlexNoo quits (~AlexNoo@178.34.160.172) (Ping timeout: 246 seconds) |
| 21:47:39 | raoul4 | is now known as raoul |
| 21:47:59 | × | danza_ quits (~francesco@151.43.119.54) (Ping timeout: 246 seconds) |
| 21:47:59 | × | lilata quits (~lilata@137.184.4.49) (Ping timeout: 246 seconds) |
| 21:47:59 | lilata1 | is now known as lilata |
| 21:48:06 | → | user2 joins (~user@162.255.84.96) |
| 21:48:24 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 21:49:22 | → | Maxdamantus joins (~Maxdamant@user/maxdamantus) |
| 21:49:25 | → | _________ joins (~nobody@user/noodly) |
| 21:50:02 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 21:53:44 | → | AlexZenon joins (~alzenon@178.34.160.172) |
| 22:01:28 | → | CAT_S joins (apic@brezn3.muc.ccc.de) |
| 22:02:18 | → | leah2 joins (~leah@vuxu.org) |
| 22:04:14 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:09:04 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 22:12:10 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 245 seconds) |
| 22:15:53 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
| 22:25:46 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:b4dc:645a:ee0c:be48) (Remote host closed the connection) |
| 22:28:49 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 22:28:49 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 22:28:49 | → | wroathe joins (~wroathe@user/wroathe) |
| 22:28:58 | → | shailangsa_ joins (~shailangs@host86-186-196-224.range86-186.btcentralplus.com) |
| 22:32:59 | → | Tuplanolla joins (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 22:35:22 | × | xmachina quits (~xmachina@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 4.0.4) |
| 22:37:53 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 22:38:24 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:b4dc:645a:ee0c:be48) |
| 22:38:25 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 22:43:27 | × | ysh____ quits (sid6017@id-6017.ilkley.irccloud.com) (Server closed connection) |
| 22:43:35 | → | ysh____ joins (sid6017@id-6017.ilkley.irccloud.com) |
| 22:46:18 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 22:55:52 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 23:02:44 | → | xmachina joins (~xmachina@modemcable048.127-56-74.mc.videotron.ca) |
| 23:06:12 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 246 seconds) |
| 23:14:00 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:b4dc:645a:ee0c:be48) (Remote host closed the connection) |
| 23:15:04 | → | beteigeuze joins (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 23:16:15 | × | beteigeuze quits (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Client Quit) |
| 23:24:24 | → | cheater_ joins (~Username@user/cheater) |
| 23:24:57 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:b4dc:645a:ee0c:be48) |
| 23:26:45 | × | cheater quits (~Username@user/cheater) (Ping timeout: 245 seconds) |
| 23:26:50 | cheater_ | is now known as cheater |
| 23:27:41 | → | artem joins (~artem@c-73-103-90-145.hsd1.in.comcast.net) |
| 23:29:44 | × | ulysses4ever quits (~artem@2601:408:c408:56d8:f474:e3f8:9806:671) (Ping timeout: 246 seconds) |
| 23:34:30 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 246 seconds) |
| 23:35:08 | × | caryhartline quits (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 23:42:14 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:b4dc:645a:ee0c:be48) (Remote host closed the connection) |
| 23:44:25 | × | bliminse quits (~bliminse@user/bliminse) (Ping timeout: 244 seconds) |
| 23:46:53 | × | stites quits (~stites@130.44.147.204) (Ping timeout: 246 seconds) |
| 23:48:36 | → | cheater_ joins (~Username@user/cheater) |
| 23:48:59 | × | Tuplanolla quits (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 23:49:47 | × | cheater quits (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 23:49:50 | cheater_ | is now known as cheater |
| 23:50:06 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 250 seconds) |
| 23:51:09 | → | bratwurst joins (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) |
| 23:51:13 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 23:55:41 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Ping timeout: 260 seconds) |
| 23:57:03 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
All times are in UTC on 2023-09-04.