IRCBrowse

2023/04/01

2023-04-01 00:00:52 +0200alskdf(~alskdf@dhcp-108-168-11-138.cable.user.start.ca) (Quit: Leaving)
2023-04-01 00:04:44 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-04-01 00:08:20 +0200mncheckm(~mncheck@193.224.205.254) (Ping timeout: 260 seconds)
2023-04-01 00:08:29 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2023-04-01 00:18:14 +0200Maxdamantus(~Maxdamant@user/maxdamantus)
2023-04-01 00:18:32 +0200Albina_Pavlovna(~Albina_Pa@2603-7000-76f0-76e0-e5e7-4038-b6f3-1073.res6.spectrum.com) (Quit: bb)
2023-04-01 00:23:31 +0200crazazy(~user@130.89.171.62) (Ping timeout: 276 seconds)
2023-04-01 00:40:14 +0200kenaryn(~aurele@89-88-44-27.abo.bbox.fr) (Quit: leaving)
2023-04-01 00:46:42 +0200gurkenglas(~gurkengla@dynamic-046-114-179-201.46.114.pool.telefonica.de) (Ping timeout: 255 seconds)
2023-04-01 00:48:24 +0200gurkenglas(~gurkengla@dynamic-089-204-138-080.89.204.138.pool.telefonica.de)
2023-04-01 01:12:30 +0200talismanick(~talismani@76.133.152.122)
2023-04-01 01:13:31 +0200mauke_(~mauke@user/mauke)
2023-04-01 01:15:46 +0200mauke(~mauke@user/mauke) (Ping timeout: 268 seconds)
2023-04-01 01:15:47 +0200mauke_mauke
2023-04-01 01:17:28 +0200acidjnk(~acidjnk@p200300d6e715c4242db31e0384394bb3.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2023-04-01 01:25:05 +0200tomboy65(~tomboy64@user/tomboy64) (Ping timeout: 265 seconds)
2023-04-01 01:26:00 +0200tomboy65(~tomboy64@user/tomboy64)
2023-04-01 01:29:17 +0200trev(~trev@user/trev) (Remote host closed the connection)
2023-04-01 01:31:39 +0200vlad(~vlad@2a00:23c6:9822:4c01:1574:2d21:3c47:2b80) (Quit: Leaving)
2023-04-01 01:31:40 +0200 <jwiegley> is there a Haskell tool to recursively print out a type?
2023-04-01 01:32:02 +0200zeenk(~zeenk@2a02:2f04:a307:2300::7fe) (Quit: Konversation terminated!)
2023-04-01 01:44:09 +0200 <EvanR> do you mean print out a value of some type
2023-04-01 01:44:15 +0200 <jwiegley> no, the type itself
2023-04-01 01:44:30 +0200 <jwiegley> I'm diving into a parser that a Term type with lots and lots of helper types, many of them recursive
2023-04-01 01:44:34 +0200 <EvanR> % print (Maybe (Int, Char))
2023-04-01 01:44:34 +0200 <yahb2> <interactive>:24:8: error: ; • Illegal term-level use of the type constructor ‘Maybe’ ; imported from ‘Prelude’ (and originally defined in ‘GHC.Maybe’) ; • In the first argument of ...
2023-04-01 01:44:39 +0200 <jwiegley> I just want to say `:t Term` and see them all
2023-04-01 01:45:01 +0200 <EvanR> ok that's not what I wanted to do
2023-04-01 01:45:05 +0200 <EvanR> :t typeRep
2023-04-01 01:45:06 +0200 <lambdabot> forall k (a :: k) (proxy :: k -> *). Typeable a => proxy a -> TypeRep
2023-04-01 01:45:28 +0200 <EvanR> > show (typeRef (proxy :: Maybe (Int,Char)))
2023-04-01 01:45:29 +0200 <lambdabot> error:
2023-04-01 01:45:30 +0200 <lambdabot> • Variable not in scope: typeRef :: Maybe (Int, Char) -> a0
2023-04-01 01:45:30 +0200 <lambdabot> • Perhaps you meant one of these:
2023-04-01 01:45:35 +0200 <EvanR> > show (typeRep (proxy :: Maybe (Int,Char)))
2023-04-01 01:45:36 +0200 <lambdabot> error:
2023-04-01 01:45:36 +0200 <lambdabot> • Variable not in scope: proxy :: Maybe (Int, Char)
2023-04-01 01:45:36 +0200 <lambdabot> • Perhaps you meant data constructor ‘Proxy’ (imported from Data.Typeable)
2023-04-01 01:45:42 +0200 <EvanR> > show (typeRep (Proxy :: Maybe (Int,Char)))
2023-04-01 01:45:44 +0200 <lambdabot> error:
2023-04-01 01:45:44 +0200 <lambdabot> • Couldn't match expected type ‘Maybe (Int, Char)’
2023-04-01 01:45:44 +0200 <lambdabot> with actual type ‘Proxy t0’
2023-04-01 01:46:10 +0200 <EvanR> OKAY
2023-04-01 01:46:11 +0200 <jwiegley> let me ask it another way
2023-04-01 01:46:26 +0200 <jwiegley> I want to extract a type `Term` from a project into a file, such that it still type checks
2023-04-01 01:47:00 +0200 <jwiegley> because I want to perform some type surgery on this term, with tests to ensure that my modifications remain isomorphic
2023-04-01 01:48:14 +0200 <EvanR> maybe you want generics which lets you operate on types with the same structure in a uniform way, and observe the type's structure for reasons
2023-04-01 01:48:45 +0200 <jwiegley> that doesn't really sound like what I want
2023-04-01 01:48:55 +0200 <jwiegley> I know how to do the extraction I'm thinking of by hand, it's pretty easy enough
2023-04-01 01:49:03 +0200 <jwiegley> but it's so purely mechanical, that it has to be automatable
2023-04-01 01:49:12 +0200 <jwiegley> perhaps using one of the GHC parsing libraries
2023-04-01 01:50:04 +0200 <EvanR> yeah if you are operating on actual haskell code for types, maybe haskell-src-exts
2023-04-01 01:50:40 +0200 <EvanR> I'm not sure if checking two types for isomorphism breaks one or more laws of computer science though
2023-04-01 01:51:45 +0200 <jwiegley> but no tool for this already? because faster than writing a utility based on src-exts will be to just copy the files and start deleting
2023-04-01 01:52:38 +0200 <EvanR> if you have to do this manual process more than one time, it's likely writing a tool for it will eventually have productivity gains
2023-04-01 01:54:41 +0200 <jwiegley> nope, just the once
2023-04-01 01:55:03 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2023-04-01 01:55:47 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 250 seconds)
2023-04-01 01:55:50 +0200 <EvanR> then I daresay a combination of vim fu emacs fu or sed fu would be much faster
2023-04-01 01:56:15 +0200 <jwiegley> the fu's have it
2023-04-01 01:56:19 +0200Lord_of_Life_Lord_of_Life
2023-04-01 01:57:03 +0200 <EvanR> I too would like to be tony stark iron man and invent holographic tangible computing for every one off task xD
2023-04-01 01:57:41 +0200ph88(~ph88@ip5b426553.dynamic.kabel-deutschland.de)
2023-04-01 02:02:55 +0200 <jwiegley> :list identifier is basically what I want, but for it to list the whole identifier and not just the top definition line
2023-04-01 02:03:05 +0200 <jwiegley> whole definition*
2023-04-01 02:07:13 +0200Midjak(~Midjak@82.66.147.146) (Quit: This computer has gone to sleep)
2023-04-01 02:10:26 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Remote host closed the connection)
2023-04-01 02:19:44 +0200chomwitt(~chomwitt@ppp-94-69-24-223.home.otenet.gr) (Ping timeout: 248 seconds)
2023-04-01 02:21:36 +0200Bocaneri(~sauvin@user/Sauvin)
2023-04-01 02:21:49 +0200Sauvin(~sauvin@user/Sauvin) (Ping timeout: 276 seconds)
2023-04-01 02:21:59 +0200BocaneriGuest6661
2023-04-01 02:23:50 +0200rumgzy(~sauvin@user/Sauvin)
2023-04-01 02:24:43 +0200purlingstream(~godfibrat@178.70.110.196) (Quit: Leaving.)
2023-04-01 02:25:18 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-04-01 02:26:33 +0200Guest6661(~sauvin@user/Sauvin) (Ping timeout: 250 seconds)
2023-04-01 02:30:20 +0200Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Ping timeout: 265 seconds)
2023-04-01 02:34:54 +0200 <talismanick> How much would it break to be able to assign different type signatures to functions as a kind of "algebraic equivalence?"
2023-04-01 02:35:37 +0200 <talismanick> e.g. monads-as-adjunctions by rephrasing join as fmapping counit, with the attendant type signature
2023-04-01 02:36:25 +0200 <talismanick> some kind of structural typing on steroids... is there a name for this?
2023-04-01 02:39:07 +0200rumgzySauvin
2023-04-01 02:44:56 +0200 <EvanR> throwing principal typing out the window
2023-04-01 02:45:10 +0200 <EvanR> which I hear is done in systems with subtypes
2023-04-01 02:45:15 +0200ph88(~ph88@ip5b426553.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2023-04-01 02:45:37 +0200 <talismanick> EvanR: So, about where we are with GADTs?
2023-04-01 02:46:54 +0200 <EvanR> is that the case with GADTs?
2023-04-01 02:48:44 +0200 <talismanick> ...isn't it?
2023-04-01 02:49:30 +0200gurkenglas(~gurkengla@dynamic-089-204-138-080.89.204.138.pool.telefonica.de) (Ping timeout: 268 seconds)
2023-04-01 02:49:47 +0200 <c_wraith> yes. Also RankNTypes is sufficient to remove principle types in some cases.
2023-04-01 02:57:52 +0200p3n_(~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1)
2023-04-01 02:58:10 +0200p3n(~p3n@217.198.124.246) (Read error: Connection reset by peer)
2023-04-01 02:59:10 +0200voidzero(~voidzero@user/voidzero) (Quit: voidzero)
2023-04-01 03:02:45 +0200p3n_(~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Ping timeout: 260 seconds)
2023-04-01 03:03:57 +0200p3n(~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1)
2023-04-01 03:05:47 +0200kimjetwav(~user@2607:fea8:235e:b600:98bd:5e68:98bc:535e) (Remote host closed the connection)
2023-04-01 03:06:25 +0200ponyno-n
2023-04-01 03:10:03 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Remote host closed the connection)
2023-04-01 03:11:02 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2023-04-01 03:12:05 +0200rekahsoft(~rekahsoft@bras-base-orllon1122w-grc-07-174-95-68-142.dsl.bell.ca)
2023-04-01 03:14:11 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2023-04-01 03:16:04 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-04-01 03:16:25 +0200bontaq(~user@ool-45779b84.dyn.optonline.net) (Ping timeout: 276 seconds)
2023-04-01 03:17:09 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-04-01 03:25:37 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
2023-04-01 03:35:01 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 250 seconds)
2023-04-01 03:35:34 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-04-01 03:37:08 +0200khumba(~khumba@user/khumba)
2023-04-01 03:45:51 +0200jero98772(~jero98772@2800:484:1d80:d8ce:d9f7:bed9:104f:8b9)
2023-04-01 03:48:10 +0200thegeekinside(~thegeekin@189.141.115.134) (Remote host closed the connection)
2023-04-01 03:57:19 +0200[_](~itchyjunk@user/itchyjunk/x-7353470)
2023-04-01 03:58:24 +0200jero98772(~jero98772@2800:484:1d80:d8ce:d9f7:bed9:104f:8b9) (Ping timeout: 248 seconds)
2023-04-01 03:59:43 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 252 seconds)
2023-04-01 04:08:25 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2023-04-01 04:08:25 +0200finn_elija(~finn_elij@user/finn-elija/x-0085643)
2023-04-01 04:08:25 +0200finn_elijaFinnElija
2023-04-01 04:10:17 +0200[_]]itchyjunk[
2023-04-01 04:10:54 +0200jero98772(~jero98772@2800:484:1d80:d8ce:d9f7:bed9:104f:8b9)
2023-04-01 04:13:05 +0200IRCHero(~IRCHero@S01069050ca4e3573.cg.shawcable.net)
2023-04-01 04:13:14 +0200 <IRCHero> hey can I ask a basic question here?
2023-04-01 04:14:28 +0200 <no-n> yes
2023-04-01 04:16:34 +0200nate1(~nate@98.45.169.16)
2023-04-01 04:17:49 +0200 <IRCHero> no-n: whats the next number in this sequence?  1,3, 8, 11 13, 23, 29, 31, 37, ?
2023-04-01 04:17:58 +0200 <IRCHero> from an IQ test
2023-04-01 04:18:14 +0200 <no-n> are you asking me to help with your IQ test
2023-04-01 04:24:22 +0200 <IRCHero> no-n: no it's juat a practice one
2023-04-01 04:24:31 +0200 <IRCHero> its supposed to be easy
2023-04-01 04:24:35 +0200 <IRCHero> I just cant figure it out
2023-04-01 04:25:02 +0200 <IRCHero> I know the answer already
2023-04-01 04:25:08 +0200 <IRCHero> but not the rule, do you know?
2023-04-01 04:25:24 +0200 <no-n> oh, ok
2023-04-01 04:25:25 +0200 <no-n> nope
2023-04-01 04:25:35 +0200bhall(~brunohall@195.147.207.136) (Ping timeout: 260 seconds)
2023-04-01 04:25:40 +0200 <no-n> I'm dumb though
2023-04-01 04:25:42 +0200 <no-n> most people here are smart
2023-04-01 04:27:18 +0200td_(~td@i5387092B.versanet.de) (Ping timeout: 265 seconds)
2023-04-01 04:27:50 +0200 <IRCHero> no-n: can haskell help me?
2023-04-01 04:27:56 +0200 <IRCHero> I mean, can we write a program that can solve it
2023-04-01 04:28:08 +0200 <IRCHero> its only 9 digits not that much
2023-04-01 04:28:18 +0200 <IRCHero> and I know Haskell is a mathematical programming language
2023-04-01 04:28:26 +0200 <IRCHero> that is good at patterns
2023-04-01 04:28:52 +0200td_(~td@i5387093C.versanet.de)
2023-04-01 04:28:58 +0200bhall(~brunohall@195.147.207.136)
2023-04-01 04:28:59 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds)
2023-04-01 04:31:32 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex)
2023-04-01 04:31:57 +0200Nosrep(~Nosrep@user/nosrep)
2023-04-01 04:35:00 +0200 <IRCHero> or I guess haskell is rule based too?
2023-04-01 04:35:06 +0200 <IRCHero> like, you need to know the rule first
2023-04-01 04:35:09 +0200 <IRCHero> to write the program
2023-04-01 04:35:24 +0200 <IRCHero> it just makes it more superficially covenient to write that pattern?
2023-04-01 04:35:27 +0200 <IRCHero> or am I missing somethin
2023-04-01 04:36:50 +0200 <no-n> I don't know how to write a program that can solve a rule like that
2023-04-01 04:38:14 +0200razetime(~Thunderbi@49.207.192.117)
2023-04-01 04:39:00 +0200 <IRCHero> well your mentally is all fucked up
2023-04-01 04:39:09 +0200 <IRCHero> cause youre thinking in terms of 'solving' a 'rule'
2023-04-01 04:39:14 +0200 <IRCHero> I dont think you can solve a rule
2023-04-01 04:39:21 +0200 <IRCHero> its not an algebra prob
2023-04-01 04:39:43 +0200 <IRCHero> where theres one solution that can be solved like a quadratic equation
2023-04-01 04:39:48 +0200 <IRCHero> or even two
2023-04-01 04:40:59 +0200 <IRCHero> thats a dastardly vantage point. even calling it problem 'solving' is cancerous when it comes to these types of probs
2023-04-01 04:41:40 +0200 <probie> It's called looking for the generating program with lowest k-complexity
2023-04-01 04:45:55 +0200 <probie> (or maybe I should say kolmogorov complexity, instead of k-complexity)
2023-04-01 04:46:25 +0200jlee(~jlee@2601:248:1:d90:3fac:736e:cbdb:ae89)
2023-04-01 04:48:49 +0200 <Nosrep> is the hashmap in unordered-containers a hamt
2023-04-01 04:49:05 +0200 <no-n> IRCHero: try not to be a dick abotu it
2023-04-01 04:51:27 +0200 <Axman6> Nosrep: I believe so
2023-04-01 04:57:36 +0200 <Nosrep> cool
2023-04-01 05:05:05 +0200 <hammond> IRCHero: whats the next num?
2023-04-01 05:05:10 +0200Maxdamantus(~Maxdamant@user/maxdamantus) (Ping timeout: 268 seconds)
2023-04-01 05:07:52 +0200 <Axman6> > zipWith subtract <*> tail $ [ 1,3, 8, 11, 13, 23, 29, 31, 37]
2023-04-01 05:07:54 +0200 <lambdabot> [2,5,3,2,10,6,2,6]
2023-04-01 05:08:42 +0200 <Axman6> IRCHero: talking to people like that is pretty cancerous IMO, particularly when you're seeking their help
2023-04-01 05:09:31 +0200 <talismanick> Are there any Datalog-as-database libraries in Haskell?
2023-04-01 05:09:45 +0200jero98772(~jero98772@2800:484:1d80:d8ce:d9f7:bed9:104f:8b9) (Remote host closed the connection)
2023-04-01 05:12:27 +0200 <IRCHero> Axman6: whys that?
2023-04-01 05:12:45 +0200 <IRCHero> I didnt ask for anyones help in particular
2023-04-01 05:13:04 +0200 <IRCHero> I didnt say Axman6 I need your help on this specific problem
2023-04-01 05:13:13 +0200 <Axman6> You don't see why telling someone helping you "well your mentally is all fucked up" is a problem? Maybe you should be taking an EQ test
2023-04-01 05:13:35 +0200 <hammond> IRCHero: but whats the next number, i don't get the pattern in that sequence.
2023-04-01 05:14:20 +0200Fischmiep(~Fischmiep@user/Fischmiep) (Quit: Fischmiep)
2023-04-01 05:14:48 +0200 <EvanR> don't ask me to help with your IQ test, your IQ will decrease
2023-04-01 05:15:14 +0200 <EvanR> see also collective stupidity
2023-04-01 05:15:47 +0200Fischmiep(~Fischmiep@user/Fischmiep)
2023-04-01 05:15:55 +0200 <hammond> or... cmon now, 2 5 3 4 10 in the middle whats that.
2023-04-01 05:16:03 +0200 <hammond> then six two six
2023-04-01 05:16:09 +0200 <IRCHero> hammond: why does it have to be one number?
2023-04-01 05:16:13 +0200 <IRCHero> or why does a pattern have to exist?
2023-04-01 05:16:17 +0200 <IRCHero> maybe I just made it up lol
2023-04-01 05:16:23 +0200 <IRCHero> to prove a point
2023-04-01 05:16:45 +0200 <IRCHero> I could tell you how I constructed it
2023-04-01 05:16:55 +0200 <Axman6> this is feeling like a conversation from r/IAmVerySmart
2023-04-01 05:16:59 +0200 <hammond> i study random numbers... i want to know
2023-04-01 05:17:24 +0200 <IRCHero> hammond: so I thought to myself
2023-04-01 05:17:33 +0200 <IRCHero> "everyone here knows prime number sequence"
2023-04-01 05:17:40 +0200 <IRCHero> then I just added exceptions
2023-04-01 05:17:46 +0200 <IRCHero> like 1, a composite number
2023-04-01 05:17:55 +0200 <IRCHero> and skipped every 2nd prime for the first half
2023-04-01 05:18:03 +0200 <IRCHero> then second half, did every 2nd prime
2023-04-01 05:18:27 +0200 <IRCHero> then thought about flipping some random bits
2023-04-01 05:18:29 +0200 <hammond> irc that sequence is not long enough to find that out... but alright.
2023-04-01 05:18:31 +0200 <IRCHero> but thought was too complex
2023-04-01 05:18:57 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2023-04-01 05:19:14 +0200 <Axman6> This is like some 7th grade "you're dumb because I made something up and you didn't know it" level shit.
2023-04-01 05:19:16 +0200nate1(~nate@98.45.169.16) (Ping timeout: 276 seconds)
2023-04-01 05:20:20 +0200Maxdamantus(~Maxdamant@user/maxdamantus)
2023-04-01 05:20:43 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-04-01 05:21:09 +0200 <tusko> no u
2023-04-01 05:22:17 +0200 <Axman6> I'm telling
2023-04-01 05:22:28 +0200jakalx(~jakalx@base.jakalx.net)
2023-04-01 05:22:37 +0200 <hammond> IRCHero: suppose this, can you write a software that finds the 9 millionth prime number? Without iterating.
2023-04-01 05:23:26 +0200 <Axman6> @google what is the 9 millionth prime
2023-04-01 05:23:33 +0200 <hammond> hehehe
2023-04-01 05:23:37 +0200 <hammond> i guess
2023-04-01 05:23:40 +0200]itchyjunk[(~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2023-04-01 05:23:42 +0200 <lambdabot> Plugin `search' failed with: <<timeout>>
2023-04-01 05:23:44 +0200 <Axman6> Damn, did we get rid of that
2023-04-01 05:24:36 +0200 <IRCHero> hammond: i could find up to log of largest known prime
2023-04-01 05:24:37 +0200 <IRCHero> lol
2023-04-01 05:25:00 +0200 <IRCHero> which I think is around 9 million
2023-04-01 05:25:12 +0200 <Axman6> that sounds unlikely
2023-04-01 05:25:16 +0200 <IRCHero> so you could write software for it
2023-04-01 05:25:36 +0200 <IRCHero> but would take a long time
2023-04-01 05:25:44 +0200 <IRCHero> cause computers are dumb
2023-04-01 05:25:45 +0200 <IRCHero> lol
2023-04-01 05:26:40 +0200 <Axman6> > 2^82589933 - 1 -- not too hard to compute large primes
2023-04-01 05:26:44 +0200 <IRCHero> to find beyond 9 millionth prime would be equivalent question, yes
2023-04-01 05:26:44 +0200 <lambdabot> 1488944457420413255478064584723979166030262739927953241852712894252132393610...
2023-04-01 05:27:38 +0200 <IRCHero> but i doubt its halting problem equivalent
2023-04-01 05:27:42 +0200 <IRCHero> or a truly hard prob
2023-04-01 05:27:51 +0200 <IRCHero> for only 9 digit sequence lol
2023-04-01 05:28:09 +0200 <IRCHero> doesnt equivocate to 9 million
2023-04-01 05:29:44 +0200 <IRCHero> surely if I asked only 2 digits
2023-04-01 05:29:47 +0200 <IRCHero> Haskell could solve it easily
2023-04-01 05:29:54 +0200 <hammond> well thats the thing, you know 1 then 2, then 3 is the third one, 5 is the forth one, 7 is the fifth, then to find the sixth what mechanisms other than iteration one by one would u use?
2023-04-01 05:30:10 +0200 <IRCHero> algorithms lol
2023-04-01 05:30:21 +0200 <IRCHero> pattern recognition
2023-04-01 05:30:29 +0200 <Axman6> > let primes = 2 : 3 : filter isPrime [5,7..]; isPrime n = all (\x -> n `mod` x /= 0) $ takeWhile (\x -> x*x <= n) primes in primes !! 9000000
2023-04-01 05:30:31 +0200 <IRCHero> dynamic programming
2023-04-01 05:30:31 +0200 <hammond> sifi - coding
2023-04-01 05:30:32 +0200 <IRCHero> for one
2023-04-01 05:30:35 +0200 <lambdabot> mueval-core: Time limit exceeded
2023-04-01 05:30:41 +0200 <Axman6> > let primes = 2 : 3 : filter isPrime [5,7..]; isPrime n = all (\x -> n `mod` x /= 0) $ takeWhile (\x -> x*x <= n) primes in primes !! 9000000 :: Int
2023-04-01 05:30:47 +0200 <lambdabot> mueval-core: Time limit exceeded
2023-04-01 05:30:52 +0200 <Axman6> :(
2023-04-01 05:31:43 +0200 <mauke> IRCHero: -269
2023-04-01 05:32:11 +0200dipper_(~dipper@203.168.13.4)
2023-04-01 05:36:50 +0200 <IRCHero> okay, so are you offended when I ask what is purpose of Haskell in face of this combinatorial complexity?
2023-04-01 05:37:03 +0200 <IRCHero> if 9 digits gives Haskell a problem
2023-04-01 05:37:11 +0200 <IRCHero> isnt Haskell just syntactic sugar
2023-04-01 05:37:43 +0200 <IRCHero> its not fucking lambda calculus
2023-04-01 05:38:25 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-04-01 05:38:26 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-04-01 05:38:26 +0200wroathe(~wroathe@user/wroathe)
2023-04-01 05:38:35 +0200 <mauke> are you on drugs?
2023-04-01 05:39:09 +0200 <no-n> you mentioned you were here to prove a point. what point is that? because so far you've only proven yourself an arse.
2023-04-01 05:39:14 +0200 <hammond> i read someonewhere haskell embodies category theory.
2023-04-01 05:40:24 +0200 <int-e> > let ex [a] = repeat a; ex (x:xs) = scanl (+) x (ex (zipWith (-) xs (x:xs))) in ex [1,3,8,11,13,23,29,31,37]
2023-04-01 05:40:25 +0200 <lambdabot> [1,3,8,11,13,23,29,31,37,-269,-2670,-13045,-46351,-135017,-342001,-779953,-1...
2023-04-01 05:40:44 +0200 <Axman6> nailed it
2023-04-01 05:41:06 +0200 <int-e> see, it agrees with what mauke said
2023-04-01 05:41:12 +0200 <IRCHero> no-n: my point is, in some ways I 'get' the point of Haskell and admire its potential, in other ways, I don't 'get it' because I feel it inadequately addresses the combinatorial problem
2023-04-01 05:41:16 +0200 <IRCHero> the core of mathematics
2023-04-01 05:41:20 +0200int-ewould still go with 42 though
2023-04-01 05:41:28 +0200 <IRCHero> which annoys me
2023-04-01 05:41:38 +0200 <IRCHero> so its why I like C++
2023-04-01 05:41:40 +0200 <Axman6> int-e: I think from your comments above it;'s clear you don't "get" anything to do with Haskell
2023-04-01 05:41:42 +0200 <IRCHero> better
2023-04-01 05:41:51 +0200 <Axman6> uh, IRCHero. int-e you're doing alright :P
2023-04-01 05:41:55 +0200 <mauke> heh
2023-04-01 05:42:28 +0200 <Axman6> 9 millionth prime is 160481219 btw
2023-04-01 05:42:32 +0200 <IRCHero> C++ solved so many problems
2023-04-01 05:42:36 +0200 <IRCHero> like fast code
2023-04-01 05:42:42 +0200 <Axman6> C++ caused so many problems
2023-04-01 05:42:43 +0200 <int-e> Axman6: tbh I just like instances of `scanl` and this is a good one
2023-04-01 05:42:43 +0200 <hammond> thx Axman6
2023-04-01 05:42:45 +0200 <hammond> lol
2023-04-01 05:42:56 +0200 <mauke> how is fast code a problem
2023-04-01 05:43:02 +0200 <mauke> and whats the solution
2023-04-01 05:43:03 +0200 <Axman6> I gotchu hammond
2023-04-01 05:43:07 +0200 <IRCHero> I mean problem was slow code
2023-04-01 05:43:22 +0200 <int-e> C++ did not, actually, make code faster
2023-04-01 05:43:31 +0200 <probie> So in a world before C++, all code was slow? TIL
2023-04-01 05:43:32 +0200 <int-e> it paid heavily for all its new abstractions when compared to C
2023-04-01 05:43:32 +0200 <mauke> oh, is that why C++ compilers are so slow
2023-04-01 05:43:35 +0200 <Axman6> and it certainly made development slower
2023-04-01 05:43:42 +0200 <mauke> they couldn't write a faster compiler because C++ didn't exist yet
2023-04-01 05:43:56 +0200 <hammond> C++ is inadequate for this math problem.
2023-04-01 05:43:59 +0200 <Axman6> probie: sure was man, sure was
2023-04-01 05:44:25 +0200 <int-e> it made certain kinds of complex code more manageable, and it made it easy to produce multi-megabyte executables with just hundreds of lines of templates.
2023-04-01 05:44:37 +0200 <int-e> (which were also slow to compile)
2023-04-01 05:44:38 +0200 <Axman6> What a ridiculous take, "C++ made code fast" XD
2023-04-01 05:45:13 +0200 <hammond> you picked a randomly increasing sequence and made it even more random by adding some structure ontop. IDK how any language or even AI could have helped u there.
2023-04-01 05:45:16 +0200 <Axman6> This is like taking programming advice from a "Top 10 programming languages this week!!!" youtube video
2023-04-01 05:45:16 +0200 <int-e> The idea that C++ code is fast is retroactive... if you take Python code and rewrite it in C++ there's a good chance the result will be faster.
2023-04-01 05:45:33 +0200 <Axman6> hammond: removed structure really
2023-04-01 05:45:35 +0200 <int-e> Plus, decades of work on compiler optimization.
2023-04-01 05:45:37 +0200 <no-n> oh, he's trolling ##math now -_-
2023-04-01 05:45:42 +0200 <no-n> with the same number sequence
2023-04-01 05:45:52 +0200 <int-e> And co-evolving CPUs.
2023-04-01 05:46:08 +0200 <mauke> int-e: why not ex [] = repeat 0 as the base case?
2023-04-01 05:46:28 +0200 <int-e> mauke: Good question; I didn't think of that as the base case.
2023-04-01 05:46:45 +0200 <Axman6> Yeah Haskell would be faster if they were build around graph reduction, but we decided to focus on other stuff
2023-04-01 05:47:58 +0200 <int-e> no-n: no, they brought it up on ##math first, they just didn't get much discussion out of it
2023-04-01 05:48:21 +0200 <no-n> oh, right (I should have looked at the timestamps :P)
2023-04-01 05:49:38 +0200 <mauke> @protontorpedo
2023-04-01 05:49:38 +0200 <lambdabot> so this java guy I know says that java is the best when things get really complex and u need your apps do do real work
2023-04-01 05:49:52 +0200 <hammond> Axman6: well, give a software his sequence and let it find the next num. without knowing about primes, or anything like that. just addition, subtraction, multiplication, and division.
2023-04-01 05:51:51 +0200 <int-e> maybe ask ChatGPT about the next number. This would actually be a good use of the system.
2023-04-01 05:52:18 +0200 <int-e> (It's good at GIGO.)
2023-04-01 05:53:04 +0200waleee(~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 248 seconds)
2023-04-01 05:53:37 +0200 <mauke> maybe ask it to explain why the next number in the sequence is "potato"
2023-04-01 05:54:25 +0200 <hammond> NNs, idk about chatGPT, but NNs are terrible at finding next nums, even after giving them very large(billions of) psuedo random numbers.
2023-04-01 05:55:09 +0200jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2023-04-01 05:56:02 +0200 <int-e> hammond: I meant for this particular sequence.
2023-04-01 05:56:23 +0200 <hammond> yea
2023-04-01 05:57:22 +0200 <int-e> OEIS is where I usually go with this kind of question.
2023-04-01 05:58:07 +0200 <Axman6> yeah that was the first thing I thought too.
2023-04-01 05:58:15 +0200 <Axman6> @oeis 1,3, 8, 11, 13, 23, 29, 31, 37
2023-04-01 05:58:16 +0200 <lambdabot> Sequence not found.
2023-04-01 05:58:51 +0200 <Axman6> THE SEQUENCE DOES NOT EXIST! (to paraphrase Mean Girls)
2023-04-01 05:59:36 +0200raym(~ray@user/raym)
2023-04-01 05:59:37 +0200 <int-e> . o O ( Online Encyclopedia of Interesting Sequences )
2023-04-01 06:00:07 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2023-04-01 06:00:11 +0200 <int-e> (The actual expansion is subtly different.)
2023-04-01 06:01:23 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-04-01 06:02:22 +0200 <IRCHero> when I made that sequence up, I actually didn't think much about it
2023-04-01 06:02:43 +0200 <IRCHero> I wrote it down very quickly
2023-04-01 06:03:05 +0200 <IRCHero> but was subtely aware that it was primes and to avoid gaps and obvious patterns I've seen before
2023-04-01 06:03:34 +0200 <IRCHero> subtly*
2023-04-01 06:03:49 +0200 <IRCHero> I wonder how hard that is to do
2023-04-01 06:04:09 +0200 <int-e> well you managed so I suppose it can't be difficult
2023-04-01 06:04:48 +0200 <IRCHero> it has to be though
2023-04-01 06:04:52 +0200 <IRCHero> since if you had a program that could do it
2023-04-01 06:05:00 +0200 <IRCHero> this problem would be solved
2023-04-01 06:05:07 +0200 <Axman6> but can haskell automagically just like do a vague thing I thought of?
2023-04-01 06:05:22 +0200 <IRCHero> so therefore, I must be pretty good at generating sequences like that
2023-04-01 06:05:24 +0200 <Axman6> haskell is like maths right?
2023-04-01 06:05:38 +0200 <Axman6> and maths is just numbers
2023-04-01 06:05:45 +0200 <Axman6> how could it be hard?
2023-04-01 06:05:47 +0200 <monochrom> Are we done?
2023-04-01 06:06:06 +0200 <IRCHero> either that problem is easy or im an idiot (but not both and theres no proof that problem is easy such that theres a program that can generate such sequences so by default, i must be pretty good)
2023-04-01 06:06:51 +0200 <Axman6> I'm done, not sure I could cringe much harder
2023-04-01 06:07:18 +0200 <int-e> . o O ( The result was a short burst of the most hideous cacophony in G minor. )
2023-04-01 06:07:45 +0200 <Axman6> MIDI is the answer
2023-04-01 06:09:08 +0200 <int-e> I mean, this seems perfectly analogous... whether you take a random piece of, uh, music, forced into a particular scale, or whether you take a random sequence of numbers but most of them are prime... the result will not produce joy.
2023-04-01 06:12:56 +0200 <IRCHero> I wonder if I can come up with another sequence like that
2023-04-01 06:13:37 +0200 <IRCHero> 2, 5, 6, 7, 13, 17, 18, 19, 21, 22, 23, 24, 25, 26
2023-04-01 06:14:28 +0200 <int-e> let me check...
2023-04-01 06:14:28 +0200 <IRCHero> is that truly random ?
2023-04-01 06:14:40 +0200 <IRCHero> or is there correlation with last one I generated
2023-04-01 06:14:44 +0200 <int-e> > joy [2, 5, 6, 7, 13, 17, 18, 19, 21, 22, 23, 24, 25, 26]
2023-04-01 06:14:45 +0200 <Axman6> nah, (supposedly) a human made it
2023-04-01 06:14:46 +0200 <lambdabot> 0
2023-04-01 06:14:53 +0200 <Axman6> damn, no joy
2023-04-01 06:15:35 +0200 <IRCHero> actually reading that one over again feels 'flat'
2023-04-01 06:15:42 +0200 <IRCHero> not the same feel as last one
2023-04-01 06:16:00 +0200 <Axman6> IRCHero: do you have a questions about haskell or not?
2023-04-01 06:16:10 +0200 <IRCHero> nah
2023-04-01 06:16:31 +0200 <Axman6> then why are you here making nonsense noise?
2023-04-01 06:18:03 +0200razetime(~Thunderbi@49.207.192.117) (Remote host closed the connection)
2023-04-01 06:19:43 +0200talismanick(~talismani@76.133.152.122) (Ping timeout: 276 seconds)
2023-04-01 06:21:20 +0200msavoritias(cb716af6b3@irc.cheogram.com) (Ping timeout: 248 seconds)
2023-04-01 06:32:44 +0200azimut_(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds)
2023-04-01 06:35:27 +0200 <IRCHero> kubuntu
2023-04-01 06:35:30 +0200IRCHero(~IRCHero@S01069050ca4e3573.cg.shawcable.net) ()
2023-04-01 06:35:39 +0200 <Axman6> o/
2023-04-01 06:43:06 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 255 seconds)
2023-04-01 06:44:25 +0200Vq(~vq@90-227-192-206-no77.tbcn.telia.com) (Ping timeout: 276 seconds)
2023-04-01 06:45:32 +0200Vq(~vq@90-227-192-206-no77.tbcn.telia.com)
2023-04-01 06:57:08 +0200jinsun(~jinsun@user/jinsun) (Ping timeout: 265 seconds)
2023-04-01 06:58:26 +0200jinsun(~jinsun@user/jinsun)
2023-04-01 07:01:06 +0200rekahsoft(~rekahsoft@bras-base-orllon1122w-grc-07-174-95-68-142.dsl.bell.ca) (Ping timeout: 255 seconds)
2023-04-01 07:04:03 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2023-04-01 07:04:15 +0200jinsun(~jinsun@user/jinsun) (Ping timeout: 260 seconds)
2023-04-01 07:04:58 +0200jinsun(~jinsun@user/jinsun)
2023-04-01 07:05:52 +0200razetime(~Thunderbi@49.207.192.117)
2023-04-01 07:11:27 +0200jinsun(~jinsun@user/jinsun) (Ping timeout: 255 seconds)
2023-04-01 07:15:43 +0200nate1(~nate@98.45.169.16)
2023-04-01 07:17:46 +0200jargon(~jargon@174-22-223-2.phnx.qwest.net)
2023-04-01 07:18:16 +0200trev(~trev@user/trev)
2023-04-01 07:18:24 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 248 seconds)
2023-04-01 07:18:57 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2023-04-01 07:20:03 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-04-01 07:20:21 +0200nate1(~nate@98.45.169.16) (Ping timeout: 250 seconds)
2023-04-01 07:30:47 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 255 seconds)
2023-04-01 07:33:42 +0200harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67)
2023-04-01 07:35:27 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2023-04-01 07:37:01 +0200mei(~mei@user/mei) (Quit: mei)
2023-04-01 07:37:30 +0200taupiqueur(~taupiqueu@2a02-842a-8180-4601-5cda-53cf-f789-516e.rev.sfr.net) (Quit: WeeChat 3.8)
2023-04-01 07:38:01 +0200shapr(~user@c-68-35-51-250.hsd1.al.comcast.net) (Ping timeout: 240 seconds)
2023-04-01 07:40:10 +0200mei(~mei@user/mei)
2023-04-01 07:42:27 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2023-04-01 07:44:30 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2023-04-01 07:44:36 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-04-01 07:45:34 +0200razetime(~Thunderbi@49.207.192.117) (Quit: See You Space Cowboy)
2023-04-01 08:06:36 +0200haasn`(~nand@haasn.dev)
2023-04-01 08:45:36 +0200msavoritias(cb716af6b3@irc.cheogram.com)
2023-04-01 08:49:35 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-04-01 08:51:25 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2023-04-01 08:53:57 +0200simpleauthority(~simpleaut@user/simpleauthority) (Quit: ZNC 1.8.2 - https://znc.in)
2023-04-01 08:54:17 +0200simpleauthority(~simpleaut@user/simpleauthority)
2023-04-01 08:56:15 +0200tureba(~tureba@tureba.org) (Ping timeout: 260 seconds)
2023-04-01 08:56:15 +0200jimki(~jmaki@gazorpazorp.fixme.fi) (Ping timeout: 260 seconds)
2023-04-01 08:56:15 +0200LambdaDuck(~anka@ksit.fixme.fi) (Ping timeout: 260 seconds)
2023-04-01 08:56:47 +0200LambdaDuck(~anka@ksit.fixme.fi)
2023-04-01 08:56:50 +0200Clint(~Clint@user/clint) (Ping timeout: 260 seconds)
2023-04-01 08:56:53 +0200jimki(~jmaki@gazorpazorp.fixme.fi)
2023-04-01 08:57:00 +0200laman2(~laman@rego.ai) (Remote host closed the connection)
2023-04-01 08:57:25 +0200gnyeki(~gnyeki@user/gnyeki) (Ping timeout: 260 seconds)
2023-04-01 08:57:28 +0200Clint(~Clint@user/clint)
2023-04-01 08:57:42 +0200gnyeki(~gnyeki@li578-216.members.linode.com)
2023-04-01 08:57:43 +0200gnyeki(~gnyeki@li578-216.members.linode.com) (Changing host)
2023-04-01 08:57:43 +0200gnyeki(~gnyeki@user/gnyeki)
2023-04-01 08:58:44 +0200laman2(~laman@rego.ai)
2023-04-01 08:59:35 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 250 seconds)
2023-04-01 08:59:43 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-04-01 09:01:13 +0200jargon(~jargon@174-22-223-2.phnx.qwest.net) (Remote host closed the connection)
2023-04-01 09:03:20 +0200harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving)
2023-04-01 09:08:06 +0200tureba(~tureba@tureba.org)
2023-04-01 09:12:56 +0200Patternmaster(~georg@user/Patternmaster) (Quit: leaving)
2023-04-01 09:25:16 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2023-04-01 09:26:14 +0200acidjnk(~acidjnk@p200300d6e715c489c0756d28eb97d75e.dip0.t-ipconnect.de)
2023-04-01 09:26:22 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-04-01 09:38:37 +0200simeon(~pi@170.231.7.51.dyn.plus.net) (Ping timeout: 276 seconds)
2023-04-01 09:40:06 +0200khumba(~khumba@user/khumba) ()
2023-04-01 09:46:29 +0200titibandit(~titibandi@user/titibandit)
2023-04-01 09:53:14 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2023-04-01 10:13:46 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2023-04-01 10:14:36 +0200jakalx(~jakalx@base.jakalx.net)
2023-04-01 10:15:02 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-04-01 10:17:41 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2023-04-01 10:23:58 +0200smallville7123(~Android@116.90.72.108)
2023-04-01 10:24:09 +0200smallville7123(~Android@116.90.72.108) (Max SendQ exceeded)
2023-04-01 10:24:40 +0200smallville7123(~Android@116.90.72.108)
2023-04-01 10:26:38 +0200dextaa(~DV@user/dextaa)
2023-04-01 10:29:35 +0200titibandit(~titibandi@user/titibandit) (Remote host closed the connection)
2023-04-01 10:38:52 +0200gurkenglas(~gurkengla@dynamic-089-204-138-080.89.204.138.pool.telefonica.de)
2023-04-01 10:40:55 +0200justsomeguy(~justsomeg@user/justsomeguy)
2023-04-01 10:44:34 +0200Guest40(~Guest40@2001:861:5401:12b0:d149:a31c:3c29:397f)
2023-04-01 10:45:12 +0200bhall(~brunohall@195.147.207.136) (Ping timeout: 255 seconds)
2023-04-01 10:47:11 +0200bhall(~brunohall@195.147.207.136)
2023-04-01 10:47:59 +0200jinsun(~jinsun@user/jinsun)
2023-04-01 10:50:49 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-04-01 10:56:58 +0200Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi)
2023-04-01 11:08:16 +0200heraldo(~heraldo@user/heraldo)
2023-04-01 11:16:56 +0200nate1(~nate@98.45.169.16)
2023-04-01 11:18:56 +0200zeenk(~zeenk@2a02:2f04:a307:2300::7fe)
2023-04-01 11:22:00 +0200nate1(~nate@98.45.169.16) (Ping timeout: 265 seconds)
2023-04-01 11:31:12 +0200Inst_(~Inst@2601:6c4:4081:54f0:a461:9c3:e50e:33ff) (Ping timeout: 248 seconds)
2023-04-01 11:32:16 +0200Guest4079(~Guest40@i19-les02-ix2-176-180-209-43.sfr.lns.abo.bbox.fr)
2023-04-01 11:33:03 +0200Guest40(~Guest40@2001:861:5401:12b0:d149:a31c:3c29:397f) (Ping timeout: 260 seconds)
2023-04-01 11:33:31 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2023-04-01 11:33:51 +0200michalz(~michalz@185.246.207.205)
2023-04-01 11:46:40 +0200tomboy65(~tomboy64@user/tomboy64) (Ping timeout: 276 seconds)
2023-04-01 11:51:42 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2023-04-01 11:57:41 +0200L29Ah(~L29Ah@wikipedia/L29Ah) ()
2023-04-01 11:59:02 +0200tomboy65(~tomboy64@user/tomboy64)
2023-04-01 12:00:02 +0200titibandit(~titibandi@user/titibandit)
2023-04-01 12:01:09 +0200bliminse(~bliminse@user/bliminse) (Ping timeout: 250 seconds)
2023-04-01 12:01:47 +0200econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2023-04-01 12:03:30 +0200jakalx(~jakalx@base.jakalx.net) ()
2023-04-01 12:05:44 +0200gurkenglas(~gurkengla@dynamic-089-204-138-080.89.204.138.pool.telefonica.de) (Ping timeout: 268 seconds)
2023-04-01 12:05:55 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:3cb1:54bf:cd2c:417f) (Remote host closed the connection)
2023-04-01 12:06:03 +0200titibandit(~titibandi@user/titibandit) (Ping timeout: 260 seconds)
2023-04-01 12:08:14 +0200gurkenglas(~gurkengla@dynamic-089-204-138-080.89.204.138.pool.telefonica.de)
2023-04-01 12:12:35 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2023-04-01 12:13:10 +0200NiceBird(~NiceBird@185.133.111.196)
2023-04-01 12:24:09 +0200jakalx(~jakalx@base.jakalx.net)
2023-04-01 12:24:41 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2023-04-01 12:28:22 +0200haasn`haasn
2023-04-01 12:28:48 +0200haasn(~nand@haasn.dev) (Killed (NickServ (GHOST command used by haasn_!sid579015@id-579015.hampstead.irccloud.com)))
2023-04-01 12:29:09 +0200haasn`(~nand@haasn.dev)
2023-04-01 12:38:58 +0200Sciencentistguy(~sciencent@hacksoc/ordinary-member) (Quit: o/)
2023-04-01 12:47:43 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-04-01 12:50:25 +0200beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt)
2023-04-01 12:50:38 +0200beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt) (Client Quit)
2023-04-01 12:51:20 +0200tomboy65(~tomboy64@user/tomboy64) (Ping timeout: 252 seconds)
2023-04-01 12:52:56 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2023-04-01 12:54:20 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-04-01 13:01:45 +0200purlingstream(~godfibrat@178.70.110.196)
2023-04-01 13:03:40 +0200sawilagar(~sawilagar@user/sawilagar)
2023-04-01 13:03:51 +0200talismanick(~talismani@76.133.152.122)
2023-04-01 13:06:24 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:3cb1:54bf:cd2c:417f)
2023-04-01 13:09:53 +0200sawilagar(~sawilagar@user/sawilagar) (Quit: Leaving)
2023-04-01 13:10:55 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:3cb1:54bf:cd2c:417f) (Ping timeout: 250 seconds)
2023-04-01 13:18:02 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
2023-04-01 13:19:41 +0200ph88(~ph88@ip5b426553.dynamic.kabel-deutschland.de)
2023-04-01 13:20:24 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2023-04-01 13:23:57 +0200xff0x(~xff0x@2405:6580:b080:900:c67e:6ac9:60af:99aa) (Quit: xff0x)
2023-04-01 13:26:03 +0200ph88(~ph88@ip5b426553.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds)
2023-04-01 13:27:57 +0200xff0x(~xff0x@2405:6580:b080:900:a3e3:2a1:70b5:d474)
2023-04-01 13:28:05 +0200lxi(~quassel@2a02:2f08:4706:3500:8522:9b9f:a44:5190)
2023-04-01 13:30:32 +0200chomwitt(~chomwitt@2a02:587:7a16:e500:1ac0:4dff:fedb:a3f1)
2023-04-01 13:31:59 +0200bliminse(~bliminse@user/bliminse)
2023-04-01 13:32:04 +0200heraldo(~heraldo@user/heraldo) (Ping timeout: 268 seconds)
2023-04-01 13:33:16 +0200heraldo(~heraldo@user/heraldo)
2023-04-01 13:40:39 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2023-04-01 13:41:56 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-04-01 13:41:59 +0200 <hexagoxel> any clever ideas on extracting/obtaining a full list of operator fixities for operators that are "common" (base + other top-used libraries)?
2023-04-01 13:42:32 +0200 <hexagoxel> the haskell report has a small list
2023-04-01 13:42:45 +0200 <ncf> grep ^infix
2023-04-01 13:42:55 +0200 <yin> ^
2023-04-01 13:43:10 +0200heraldo(~heraldo@user/heraldo) (Ping timeout: 268 seconds)
2023-04-01 13:45:37 +0200 <yin> hexagoxel: they are really intuitive though. if you use hlint or hls you'll also get hints when you use redundant parethesis for example, which will get you trained on fixity really fast
2023-04-01 13:47:10 +0200zeenk(~zeenk@2a02:2f04:a307:2300::7fe) (Quit: Konversation terminated!)
2023-04-01 13:47:45 +0200 <hexagoxel> yin: my goal is exactly to improve such tools atm :D
2023-04-01 13:48:01 +0200 <yin> which ide do you use?
2023-04-01 13:50:11 +0200 <hexagoxel> yin: plain editor + integration for ghcid and brittany
2023-04-01 13:51:49 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2023-04-01 13:51:56 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-04-01 13:52:28 +0200 <yin> any reason why you're not using an ide?
2023-04-01 13:54:44 +0200__monty__(~toonn@user/toonn)
2023-04-01 13:55:17 +0200 <hexagoxel> *shrug* they tend to break and/or leak memory. I should give lsp another go though.
2023-04-01 13:56:36 +0200 <tomsmeding> for haskell there is not really any IDE apart from HLS over LSP :p
2023-04-01 13:56:55 +0200 <hexagoxel> and typed-holes + quick feedback loops via ghcid are usually sufficient. I _do_ miss info-on-hover occasionally.
2023-04-01 13:56:57 +0200 <tomsmeding> or rather, not a recent and maintained one other than
2023-04-01 14:04:31 +0200heraldo(~heraldo@user/heraldo)
2023-04-01 14:06:04 +0200mmhat(~mmh@p200300f1c7024062ee086bfffe095315.dip0.t-ipconnect.de)
2023-04-01 14:06:18 +0200mmhat(~mmh@p200300f1c7024062ee086bfffe095315.dip0.t-ipconnect.de) (Client Quit)
2023-04-01 14:14:34 +0200titibandit(~titibandi@user/titibandit)
2023-04-01 14:16:42 +0200bhall(~brunohall@195.147.207.136) (Ping timeout: 255 seconds)
2023-04-01 14:18:04 +0200cyphase(~cyphase@user/cyphase) (Ping timeout: 255 seconds)
2023-04-01 14:18:19 +0200lxi(~quassel@2a02:2f08:4706:3500:8522:9b9f:a44:5190) (Ping timeout: 248 seconds)
2023-04-01 14:20:48 +0200lxi(~quassel@2a02:2f08:4706:3500:1013:6c8d:378c:6c4d)
2023-04-01 14:22:38 +0200jero98772(~jero98772@2800:484:1d80:d8ce:d9f7:bed9:104f:8b9)
2023-04-01 14:27:24 +0200lxi(~quassel@2a02:2f08:4706:3500:1013:6c8d:378c:6c4d) (Ping timeout: 252 seconds)
2023-04-01 14:29:26 +0200zeenk(~zeenk@2a02:2f04:a307:2300::7fe)
2023-04-01 14:30:15 +0200jtza8(~user@165.255.88.253)
2023-04-01 14:30:28 +0200driib(~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat)
2023-04-01 14:31:22 +0200driib(~driib@vmi931078.contaboserver.net)
2023-04-01 14:32:17 +0200titibandit(~titibandi@user/titibandit) (Remote host closed the connection)
2023-04-01 14:46:56 +0200Sciencentistguy(~sciencent@hacksoc/ordinary-member)
2023-04-01 14:53:31 +0200 <jtza8> When using the flag "-Wincomplete-patterns" with GHC, I get a non-exhaustive pattern match warning, but it doesn't make sense given that the following code works https://play.haskell.org/saved/UKerHCIP .
2023-04-01 14:53:39 +0200 <jtza8> What am I missing?
2023-04-01 14:57:42 +0200purlingstream(~godfibrat@178.70.110.196) (Quit: Leaving.)
2023-04-01 14:57:50 +0200purlingstream(~godfibrat@178.70.110.196)
2023-04-01 14:58:43 +0200 <[Leary]> jtza8: https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/pragmas.html#complete-pragmas
2023-04-01 15:00:01 +0200 <jtza8> [Leary]: Thanks.
2023-04-01 15:00:22 +0200gurkenglas(~gurkengla@dynamic-089-204-138-080.89.204.138.pool.telefonica.de) (Ping timeout: 276 seconds)
2023-04-01 15:05:51 +0200ubert(~Thunderbi@p200300ecdf1411da12888a533376b329.dip0.t-ipconnect.de)
2023-04-01 15:13:35 +0200cheater_(~Username@user/cheater)
2023-04-01 15:17:16 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2023-04-01 15:17:19 +0200cheater(~Username@user/cheater) (Ping timeout: 252 seconds)
2023-04-01 15:17:22 +0200cheater_cheater
2023-04-01 15:18:26 +0200nate1(~nate@98.45.169.16)
2023-04-01 15:23:22 +0200nate1(~nate@98.45.169.16) (Ping timeout: 252 seconds)
2023-04-01 15:23:31 +0200cryptosopher666(~cryptosop@2a01:4f8:1c1c:7c03::1)
2023-04-01 15:26:28 +0200 <cryptosopher666> hi, why i recieve this error https://paste.tomsmeding.com/BphUnj9C for this code https://paste.tomsmeding.com/6lNO4Q5E
2023-04-01 15:27:16 +0200 <mauke> missing 'else'
2023-04-01 15:27:57 +0200 <mauke> compiler sees 'if ... then ... where' where it expected 'if ... then ... else ...'
2023-04-01 15:28:30 +0200 <mauke> 'fstString x or sndString y' is parsed as a single function call in the "then" branch
2023-04-01 15:28:38 +0200 <mauke> ('or' is not a keyword)
2023-04-01 15:28:49 +0200cryptosopher666(~cryptosop@2a01:4f8:1c1c:7c03::1) (Quit: Client closed)
2023-04-01 15:29:06 +0200cryptosopher666(~cryptosop@2a01:4f8:1c1c:7c03::1)
2023-04-01 15:29:56 +0200 <cryptosopher666> mauke ok fixed and now its the error https://paste.tomsmeding.com/W9AoKU46
2023-04-01 15:31:01 +0200 <mauke> that's because 'y' is not aligned horizontally with 'x'
2023-04-01 15:31:33 +0200 <cryptosopher666> ahh thanks
2023-04-01 15:31:39 +0200 <mauke> more specifically, the horizontal position of the first token after 'where' sets the indentation level of any following line that's part of the 'where' block
2023-04-01 15:32:27 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2023-04-01 15:33:35 +0200 <mauke> this happens twice in your code. 'fstString' in line 3 is the first token after 'where' in line 1, so every declaration at the top level of this module is expected to start at column 1 (i.e. no indentation)
2023-04-01 15:34:05 +0200 <mauke> and 'x' in line 12 is the first token after 'where' in line 12, so all declarations that belong to this block need to be aligned with 'x'
2023-04-01 15:34:33 +0200cryptosopher666(~cryptosop@2a01:4f8:1c1c:7c03::1) (Quit: Client closed)
2023-04-01 15:36:29 +0200cryptosopher666(~cryptosop@2a01:4f8:1c1c:7c03::1)
2023-04-01 15:36:39 +0200cryptosopher666(~cryptosop@2a01:4f8:1c1c:7c03::1) (Client Quit)
2023-04-01 15:38:16 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2023-04-01 15:45:28 +0200xff0x(~xff0x@2405:6580:b080:900:a3e3:2a1:70b5:d474) (Quit: xff0x)
2023-04-01 15:45:52 +0200hueso(~root@user/hueso) (Ping timeout: 276 seconds)
2023-04-01 15:47:48 +0200xff0x(~xff0x@2405:6580:b080:900:da20:b65a:3c49:4b97)
2023-04-01 15:49:31 +0200o-90(~o-90@gateway/tor-sasl/o-90)
2023-04-01 15:49:31 +0200Vq(~vq@90-227-192-206-no77.tbcn.telia.com) (Ping timeout: 250 seconds)
2023-04-01 15:51:03 +0200Inst_(~Inst@2601:6c4:4081:54f0:95e5:2b4f:3b7:d32a)
2023-04-01 15:51:21 +0200Vq(~vq@90-227-192-206-no77.tbcn.telia.com)
2023-04-01 15:51:33 +0200cryptosopher666(~cryptosop@2a01:4f8:1c1c:7c03::1)
2023-04-01 15:52:35 +0200 <cryptosopher666> wanna write sth for "h" based on "f" and "g" to pass compile https://paste.tomsmeding.com/2E52BdfU
2023-04-01 15:53:03 +0200Midjak(~Midjak@82.66.147.146)
2023-04-01 15:53:04 +0200krei-se(~krei-se@31.6.9.19) (Ping timeout: 248 seconds)
2023-04-01 15:55:08 +0200krei-se(~krei-se@p50874388.dip0.t-ipconnect.de)
2023-04-01 15:57:11 +0200cryptosopher666(~cryptosop@2a01:4f8:1c1c:7c03::1) (Quit: Client closed)
2023-04-01 15:57:26 +0200cryptosopher666(~cryptosop@2a01:4f8:1c1c:7c03::1)
2023-04-01 16:02:26 +0200o-90(~o-90@gateway/tor-sasl/o-90) (Ping timeout: 255 seconds)
2023-04-01 16:02:44 +0200cryptosopher666(~cryptosop@2a01:4f8:1c1c:7c03::1) (Quit: Client closed)
2023-04-01 16:04:27 +0200phma(~phma@host-67-44-208-13.hnremote.net) (Read error: Connection reset by peer)
2023-04-01 16:07:28 +0200jtza8(~user@165.255.88.253) (Ping timeout: 248 seconds)
2023-04-01 16:08:05 +0200phma(~phma@2001:5b0:211b:ccf8:95c1:8152:d7ab:2265)
2023-04-01 16:09:10 +0200maroloccio(~marolocci@90.166.19.124)
2023-04-01 16:12:37 +0200justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6)
2023-04-01 16:18:11 +0200harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67)
2023-04-01 16:22:10 +0200chomwitt(~chomwitt@2a02:587:7a16:e500:1ac0:4dff:fedb:a3f1) (Ping timeout: 252 seconds)
2023-04-01 16:27:09 +0200h2t(~h2t@user/h2t)
2023-04-01 16:27:24 +0200maroloccio(~marolocci@90.166.19.124) (Quit: WeeChat 3.7.1)
2023-04-01 16:29:31 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2023-04-01 16:30:08 +0200h2t(~h2t@user/h2t) (Client Quit)
2023-04-01 16:30:51 +0200h2t(~h2t@user/h2t)
2023-04-01 16:34:09 +0200smallville7123(~Android@116.90.72.108) (Ping timeout: 250 seconds)
2023-04-01 16:41:47 +0200gurkenglas(~gurkengla@dynamic-089-204-138-080.89.204.138.pool.telefonica.de)
2023-04-01 16:50:49 +0200ubert(~Thunderbi@p200300ecdf1411da12888a533376b329.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2023-04-01 16:51:20 +0200ubert(~Thunderbi@p200300ecdf1411eb0df400a95b368a54.dip0.t-ipconnect.de)
2023-04-01 16:53:17 +0200zeenk(~zeenk@2a02:2f04:a307:2300::7fe) (Quit: Konversation terminated!)
2023-04-01 17:03:39 +0200gurkenglas(~gurkengla@dynamic-089-204-138-080.89.204.138.pool.telefonica.de) (Ping timeout: 255 seconds)
2023-04-01 17:12:10 +0200cyphase(~cyphase@user/cyphase)
2023-04-01 17:15:15 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-04-01 17:17:31 +0200heraldo(~heraldo@user/heraldo) (Ping timeout: 276 seconds)
2023-04-01 17:18:24 +0200todi(~snuckls@p5dca57c0.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2023-04-01 17:21:57 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2023-04-01 17:23:35 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-04-01 17:27:25 +0200ub(~Thunderbi@p548c88d5.dip0.t-ipconnect.de)
2023-04-01 17:27:41 +0200ubert(~Thunderbi@p200300ecdf1411eb0df400a95b368a54.dip0.t-ipconnect.de) (Remote host closed the connection)
2023-04-01 17:27:41 +0200ububert
2023-04-01 17:33:14 +0200motherfsck(~motherfsc@user/motherfsck) (Ping timeout: 246 seconds)
2023-04-01 17:35:02 +0200ph88(~ph88@91.66.101.83)
2023-04-01 17:36:07 +0200AlexNoo_(~AlexNoo@178.34.151.91)
2023-04-01 17:37:20 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2023-04-01 17:38:47 +0200AlexZenon(~alzenon@178.34.150.148) (Ping timeout: 260 seconds)
2023-04-01 17:39:35 +0200AlexNoo(~AlexNoo@178.34.150.148) (Ping timeout: 250 seconds)
2023-04-01 17:39:37 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-04-01 17:39:43 +0200Alex_test(~al_test@178.34.150.148) (Ping timeout: 260 seconds)
2023-04-01 17:44:05 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2023-04-01 17:46:00 +0200Alex_test(~al_test@178.34.151.91)
2023-04-01 17:46:25 +0200motherfsck(~motherfsc@user/motherfsck)
2023-04-01 17:47:29 +0200econo(uid147250@user/econo)
2023-04-01 17:50:42 +0200tomboy65(~tomboy64@user/tomboy64)
2023-04-01 17:56:04 +0200AlexZenon(~alzenon@178.34.151.91)
2023-04-01 17:57:58 +0200 <hippoid> there's a 'pattern match non-exhaustive warning' for `insert` here https://paste.tomsmeding.com/XCwbV4hs. how to fix, while keeping the guards?
2023-04-01 17:59:52 +0200 <geekosaur> change the last guard to use `otherwise`. ghc is not smart enough to know that you've covered all cases (it doesn't actually know what those operators do)
2023-04-01 18:00:28 +0200 <geekosaur> alternately rewrite in terms ot `compare` instead of the operators, since it will understand completeness of `Ordering`
2023-04-01 18:00:41 +0200 <geekosaur> *of
2023-04-01 18:02:23 +0200 <hippoid> geekosaur: makes sense, thanks!
2023-04-01 18:11:17 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:3cb1:54bf:cd2c:417f)
2023-04-01 18:15:50 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:3cb1:54bf:cd2c:417f) (Ping timeout: 252 seconds)
2023-04-01 18:19:10 +0200Inst_(~Inst@2601:6c4:4081:54f0:95e5:2b4f:3b7:d32a) (Read error: Connection reset by peer)
2023-04-01 18:20:30 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2023-04-01 18:21:46 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-04-01 18:22:03 +0200dipper_(~dipper@203.168.13.4) (Ping timeout: 250 seconds)
2023-04-01 18:22:24 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 255 seconds)
2023-04-01 18:22:43 +0200heraldo(~heraldo@user/heraldo)
2023-04-01 18:23:16 +0200shapr(~user@c-68-35-51-250.hsd1.al.comcast.net)
2023-04-01 18:26:40 +0200motherfsck(~motherfsc@user/motherfsck) (Ping timeout: 248 seconds)
2023-04-01 18:29:50 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2023-04-01 18:30:13 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2023-04-01 18:30:33 +0200cheater(~Username@user/cheater) (Read error: Connection reset by peer)
2023-04-01 18:31:18 +0200cheater(~Username@user/cheater)
2023-04-01 18:36:34 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:3cb1:54bf:cd2c:417f)
2023-04-01 18:39:23 +0200elkcl(~elkcl@broadband-37-110-27-252.ip.moscow.rt.ru) (Ping timeout: 250 seconds)
2023-04-01 18:41:33 +0200harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving)
2023-04-01 18:43:52 +0200cheater(~Username@user/cheater) (Quit: Going offline, see ya! (www.adiirc.com))
2023-04-01 18:43:54 +0200irrgit__(~irrgit@176.113.74.74)
2023-04-01 18:44:23 +0200cheater(~Username@user/cheater)
2023-04-01 18:45:13 +0200irrgit_(~irrgit@176.113.74.74) (Ping timeout: 252 seconds)
2023-04-01 18:45:36 +0200nschoe(~q@2a01:e0a:8e:a190:14d:e782:373b:29fa)
2023-04-01 18:47:57 +0200elkcl(~elkcl@broadband-37-110-27-252.ip.moscow.rt.ru)
2023-04-01 18:54:22 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2023-04-01 19:00:53 +0200bontaq(~user@ool-45779b84.dyn.optonline.net)
2023-04-01 19:05:10 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2023-04-01 19:06:33 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-04-01 19:10:52 +0200AlexNoo_AlexNoo
2023-04-01 19:13:53 +0200Midjak(~Midjak@82.66.147.146) (Read error: Connection reset by peer)
2023-04-01 19:14:31 +0200Midjak(~Midjak@82.66.147.146)
2023-04-01 19:16:10 +0200ph88(~ph88@91.66.101.83) (Ping timeout: 268 seconds)
2023-04-01 19:16:45 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-04-01 19:20:35 +0200nate1(~nate@98.45.169.16)
2023-04-01 19:23:37 +0200Midjak(~Midjak@82.66.147.146) (Read error: Connection reset by peer)
2023-04-01 19:24:01 +0200Midjak2(~Midjak@82.66.147.146)
2023-04-01 19:25:04 +0200Midjak2(~Midjak@82.66.147.146) (Remote host closed the connection)
2023-04-01 19:25:46 +0200Midjak(~Midjak@82.66.147.146)
2023-04-01 19:26:04 +0200superbil(~superbil@1-34-176-171.hinet-ip.hinet.net) (Ping timeout: 268 seconds)
2023-04-01 19:26:13 +0200nate1(~nate@98.45.169.16) (Ping timeout: 276 seconds)
2023-04-01 19:27:10 +0200jakalx(~jakalx@base.jakalx.net) ()
2023-04-01 19:30:39 +0200superbil(~superbil@1-34-176-171.hinet-ip.hinet.net)
2023-04-01 19:31:30 +0200bgs(~bgs@212-85-160-171.dynamic.telemach.net)
2023-04-01 19:36:31 +0200hammond(proscan@user/hammond2) (Ping timeout: 268 seconds)
2023-04-01 19:37:16 +0200hammond(proscan@gateway02.insomnia247.nl)
2023-04-01 19:40:02 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-04-01 19:40:38 +0200o-90(~o-90@gateway/tor-sasl/o-90)
2023-04-01 19:42:38 +0200jakalx(~jakalx@base.jakalx.net)
2023-04-01 19:44:20 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2023-04-01 19:44:31 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-04-01 19:46:16 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-04-01 19:46:16 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-04-01 19:46:16 +0200wroathe(~wroathe@user/wroathe)
2023-04-01 19:46:22 +0200wroathe(~wroathe@user/wroathe) (Client Quit)
2023-04-01 19:47:52 +0200todi(~snuckls@93.202.87.192)
2023-04-01 19:48:34 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Client Quit)
2023-04-01 19:49:40 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-04-01 19:50:53 +0200tomboy65(~tomboy64@user/tomboy64) (Ping timeout: 250 seconds)
2023-04-01 19:54:11 +0200o-90(~o-90@gateway/tor-sasl/o-90) (Ping timeout: 255 seconds)
2023-04-01 20:08:37 +0200purlingstream(~godfibrat@178.70.110.196) (Quit: Leaving.)
2023-04-01 20:08:37 +0200superbil(~superbil@1-34-176-171.hinet-ip.hinet.net) (Ping timeout: 268 seconds)
2023-04-01 20:13:26 +0200tomboy65(~tomboy64@user/tomboy64)
2023-04-01 20:13:32 +0200heraldo(~heraldo@user/heraldo) (Ping timeout: 252 seconds)
2023-04-01 20:16:16 +0200hammond(proscan@gateway02.insomnia247.nl) (Remote host closed the connection)
2023-04-01 20:16:20 +0200tomboy65(~tomboy64@user/tomboy64) (Read error: Connection reset by peer)
2023-04-01 20:16:26 +0200heraldo(~heraldo@user/heraldo)
2023-04-01 20:16:29 +0200tomboy64(~tomboy64@user/tomboy64)
2023-04-01 20:20:16 +0200nschoe(~q@2a01:e0a:8e:a190:14d:e782:373b:29fa) (Ping timeout: 248 seconds)
2023-04-01 20:34:56 +0200ph88(~ph88@ip5b426553.dynamic.kabel-deutschland.de)
2023-04-01 20:42:12 +0200ardell(~ardell@user/ardell)
2023-04-01 20:43:34 +0200malte(~malte@mal.tc) (Ping timeout: 276 seconds)
2023-04-01 20:52:59 +0200jle`(~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 268 seconds)
2023-04-01 20:54:54 +0200jle`(~jle`@cpe-23-240-75-236.socal.res.rr.com)
2023-04-01 20:55:11 +0200nek0(~nek0@2a01:4f8:222:2b41::12) (Quit: The Lounge - https://thelounge.chat)
2023-04-01 21:10:08 +0200nek0(~nek0@nek0.eu)
2023-04-01 21:11:22 +0200hammond(proscan@user/hammond2)
2023-04-01 21:12:32 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 248 seconds)
2023-04-01 21:13:10 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2023-04-01 21:13:36 +0200acidjnk(~acidjnk@p200300d6e715c489c0756d28eb97d75e.dip0.t-ipconnect.de) (Ping timeout: 265 seconds)
2023-04-01 21:30:41 +0200acidjnk(~acidjnk@p200300d6e715c4451c1e70be6a287a33.dip0.t-ipconnect.de)
2023-04-01 21:31:06 +0200nschoe(~q@2a01:e0a:8e:a190:8db8:1718:340:7e51)
2023-04-01 21:33:55 +0200nschoe(~q@2a01:e0a:8e:a190:8db8:1718:340:7e51) (Client Quit)
2023-04-01 21:34:13 +0200jinsun(~jinsun@user/jinsun) (Read error: Connection reset by peer)
2023-04-01 21:35:01 +0200chomwitt(~chomwitt@2a02:587:7a16:e500:1ac0:4dff:fedb:a3f1)
2023-04-01 21:35:40 +0200Sgeo(~Sgeo@user/sgeo)
2023-04-01 21:36:21 +0200mastarija(~mastarija@2a05:4f46:e03:6000:1da0:5e85:ee2c:80c9)
2023-04-01 21:39:59 +0200no-nponycat
2023-04-01 21:47:47 +0200ponycatno-n
2023-04-01 21:48:02 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds)
2023-04-01 21:48:42 +0200mastarija(~mastarija@2a05:4f46:e03:6000:1da0:5e85:ee2c:80c9) (Quit: WeeChat 3.7.1)
2023-04-01 21:53:10 +0200chomwitt(~chomwitt@2a02:587:7a16:e500:1ac0:4dff:fedb:a3f1) (Remote host closed the connection)
2023-04-01 21:53:31 +0200chomwitt(~chomwitt@2a02:587:7a16:e500:1ac0:4dff:fedb:a3f1)
2023-04-01 21:56:44 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2023-04-01 21:57:26 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-04-01 22:05:44 +0200mechap(~mechap@user/mechap)
2023-04-01 22:09:33 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-04-01 22:11:07 +0200ardell(~ardell@user/ardell) (Quit: Konversation terminated!)
2023-04-01 22:17:10 +0200NiceBird(~NiceBird@185.133.111.196) (Ping timeout: 260 seconds)
2023-04-01 22:17:35 +0200kenran(~user@user/kenran)
2023-04-01 22:18:49 +0200Midjak(~Midjak@82.66.147.146) (Quit: Leaving)
2023-04-01 22:20:13 +0200EvanR(~EvanR@user/evanr) (Remote host closed the connection)
2023-04-01 22:21:13 +0200jinsun(~jinsun@user/jinsun)
2023-04-01 22:21:35 +0200EvanR(~EvanR@user/evanr)
2023-04-01 22:22:32 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht)
2023-04-01 22:22:34 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2023-04-01 22:24:31 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-04-01 22:32:09 +0200Midjak(~Midjak@82.66.147.146)
2023-04-01 22:35:09 +0200titibandit(~titibandi@user/titibandit)
2023-04-01 22:37:00 +0200heraldo(~heraldo@user/heraldo) (Ping timeout: 260 seconds)
2023-04-01 22:37:53 +0200heraldo(~heraldo@user/heraldo)
2023-04-01 22:39:25 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2023-04-01 22:40:57 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-04-01 22:46:24 +0200heraldo(~heraldo@user/heraldo) (Ping timeout: 265 seconds)
2023-04-01 22:47:51 +0200heraldo(~heraldo@user/heraldo)
2023-04-01 22:53:35 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2023-04-01 22:54:58 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-04-01 22:55:27 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2023-04-01 22:56:29 +0200no-npony
2023-04-01 22:57:58 +0200kenran(~user@user/kenran) (Remote host closed the connection)
2023-04-01 23:00:14 +0200Midjak(~Midjak@82.66.147.146) (Read error: Connection reset by peer)
2023-04-01 23:00:15 +0200Midjak2(~Midjak@82.66.147.146)
2023-04-01 23:00:25 +0200m___(~Midjak@82.66.147.146)
2023-04-01 23:06:08 +0200m___(~Midjak@82.66.147.146) (Quit: Leaving)
2023-04-01 23:06:09 +0200Midjak2(~Midjak@82.66.147.146) (Quit: Leaving)
2023-04-01 23:06:49 +0200Midjak(~Midjak@82.66.147.146)
2023-04-01 23:10:44 +0200cheater_(~Username@user/cheater)
2023-04-01 23:12:43 +0200cheater(~Username@user/cheater) (Ping timeout: 248 seconds)
2023-04-01 23:12:50 +0200cheater_cheater
2023-04-01 23:15:20 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds)
2023-04-01 23:16:07 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2023-04-01 23:19:15 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2023-04-01 23:21:33 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-04-01 23:21:36 +0200chomwitt(~chomwitt@2a02:587:7a16:e500:1ac0:4dff:fedb:a3f1) (Ping timeout: 248 seconds)
2023-04-01 23:22:04 +0200nate1(~nate@98.45.169.16)
2023-04-01 23:26:54 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2023-04-01 23:27:03 +0200nate1(~nate@98.45.169.16) (Ping timeout: 255 seconds)
2023-04-01 23:30:52 +0200Guest4079(~Guest40@i19-les02-ix2-176-180-209-43.sfr.lns.abo.bbox.fr) (Quit: Client closed)
2023-04-01 23:33:00 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds)
2023-04-01 23:33:36 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2023-04-01 23:40:10 +0200trev(~trev@user/trev) (Remote host closed the connection)
2023-04-01 23:51:28 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2023-04-01 23:54:29 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds)
2023-04-01 23:57:33 +0200eggplant_(~Eggplanta@2600:1700:38c5:d800:e98d:20ea:7c:5f58)
2023-04-01 23:58:35 +0200acidjnk(~acidjnk@p200300d6e715c4451c1e70be6a287a33.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)