Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 4602 4603 4604 4605 4606 4607 4608 4609 4610 4611 4612 .. 5022
— 502,152 events total
2021-04-26 07:29:36 → acidjnk_new joins (~acidjnk@p200300d0c72b9563253a50075d84e1af.dip0.t-ipconnect.de)
2021-04-26 07:30:09 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-26 07:30:52 × zmijunkie1 quits (~Adium@109.90.32.89) (Ping timeout: 240 seconds)
2021-04-26 07:31:02 → fiedlr joins (~fiedlr@83.148.33.254)
2021-04-26 07:32:11 × ddellacosta quits (~ddellacos@86.106.143.151) (Ping timeout: 260 seconds)
2021-04-26 07:32:30 × dyeplexer quits (~lol@unaffiliated/terpin) (Ping timeout: 268 seconds)
2021-04-26 07:32:56 → idhugo_ joins (~idhugo@130.225.16.16)
2021-04-26 07:33:57 → zmijunkie joins (~Adium@87.123.51.242)
2021-04-26 07:35:41 × idhugo quits (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Ping timeout: 260 seconds)
2021-04-26 07:40:20 → nineonine joins (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8)
2021-04-26 07:42:01 → chimera joins (~chimera@168-182-134-95.pool.ukrtel.net)
2021-04-26 07:45:49 × nineonine quits (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Ping timeout: 245 seconds)
2021-04-26 07:47:21 × mmfood_2 quits (~mmfood@185.176.246.69) (Ping timeout: 260 seconds)
2021-04-26 07:47:57 × kritzefitz quits (~kritzefit@2003:5b:203b:200::10:49) (Remote host closed the connection)
2021-04-26 07:48:51 → sudden joins (~lax@unaffiliated/laxask)
2021-04-26 07:49:44 → urdh joins (~urdh@unaffiliated/urdh)
2021-04-26 07:53:29 → geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-04-26 07:54:13 <tempate> Given a function and a list of possible inputs, how can I find out what input produces a certain output ?
2021-04-26 07:57:01 <Uniaika> tempate: do you have a known output?
2021-04-26 07:57:04 × stree quits (~stree@68.36.8.116) (Ping timeout: 245 seconds)
2021-04-26 07:57:04 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 245 seconds)
2021-04-26 07:58:15 <tempate> Uniaika: I do, yes
2021-04-26 07:59:23 × aVikingTrex quits (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 260 seconds)
2021-04-26 07:59:54 → dyeplexer joins (~lol@unaffiliated/terpin)
2021-04-26 08:00:20 <Uniaika> tempate: if your condition is known, you can do things simply like https://paste.tomsmeding.com/BYzGj8Cu
2021-04-26 08:00:30 <tomsmeding> f :: Bool -> Bool ; f = if riemannHypothesisIsTrue then id else not
2021-04-26 08:00:32 <Uniaika> and then filter for the tuples that have True as their first element
2021-04-26 08:00:42 <Uniaika> heya tomsmeding
2021-04-26 08:00:49 <tomsmeding> :)
2021-04-26 08:01:24 → alexander joins (~alexander@2a02:587:dc0a:2700:dc6:16ac:a95:eabf)
2021-04-26 08:01:33 × evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer)
2021-04-26 08:01:54 alexander is now known as Guest292
2021-04-26 08:02:29 → idhugo__ joins (~idhugo@130.225.16.16)
2021-04-26 08:04:17 → evanjs joins (~evanjs@075-129-098-007.res.spectrum.com)
2021-04-26 08:04:29 × gitgood quits (~gitgood@80-44-9-246.dynamic.dsl.as9105.com) (Quit: Probably away to do something really awesome)
2021-04-26 08:04:34 × dyeplexer quits (~lol@unaffiliated/terpin) (Ping timeout: 245 seconds)
2021-04-26 08:04:53 → LKoen joins (~LKoen@22.249.88.92.rev.sfr.net)
2021-04-26 08:05:11 × idhugo_ quits (~idhugo@130.225.16.16) (Ping timeout: 268 seconds)
2021-04-26 08:05:21 × rekahsoft quits (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Remote host closed the connection)
2021-04-26 08:05:45 → rekahsoft joins (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com)
2021-04-26 08:05:54 → ddellacosta joins (~ddellacos@86.106.143.21)
2021-04-26 08:08:19 × acidjnk_new quits (~acidjnk@p200300d0c72b9563253a50075d84e1af.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2021-04-26 08:09:36 → stree joins (~stree@68.36.8.116)
2021-04-26 08:10:16 → s8ori joins (~username@iamnakedandmyballsareonfire.com)
2021-04-26 08:10:44 × ddellacosta quits (~ddellacos@86.106.143.21) (Ping timeout: 268 seconds)
2021-04-26 08:10:45 × hendursa1 quits (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds)
2021-04-26 08:11:34 ← s8ori parts (~username@iamnakedandmyballsareonfire.com) ()
2021-04-26 08:12:46 → hendursa1 joins (~weechat@gateway/tor-sasl/hendursaga)
2021-04-26 08:13:40 × is_null quits (~jpic@pdpc/supporter/professional/is-null) (Remote host closed the connection)
2021-04-26 08:15:13 → _ht joins (~quassel@82-169-194-8.biz.kpn.net)
2021-04-26 08:16:41 → dyeplexer joins (~lol@unaffiliated/terpin)
2021-04-26 08:16:42 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-04-26 08:17:25 × ephemera_ quits (~E@14.63.26.157) (Ping timeout: 252 seconds)
2021-04-26 08:17:35 → nineonine joins (~nineonine@2604:3d08:7785:9600:d9d9:f067:f388:4d71)
2021-04-26 08:18:44 × Guest6509 quits (~laudiacay@45.162.228.190) (Ping timeout: 245 seconds)
2021-04-26 08:19:06 × jgt quits (~jgt@78.162.43.217) (Ping timeout: 240 seconds)
2021-04-26 08:19:19 → Guest6509 joins (~laudiacay@45.162.228.190)
2021-04-26 08:20:55 × Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Read error: Connection reset by peer)
2021-04-26 08:23:41 × Guest6509 quits (~laudiacay@45.162.228.190) (Ping timeout: 240 seconds)
2021-04-26 08:23:55 × nineonine quits (~nineonine@2604:3d08:7785:9600:d9d9:f067:f388:4d71) (Ping timeout: 250 seconds)
2021-04-26 08:23:56 × acertain quits (sid470584@gateway/web/irccloud.com/x-ogravonvfzuqdrmh) (Read error: Connection reset by peer)
2021-04-26 08:23:56 × lexi-lambda quits (sid92601@gateway/web/irccloud.com/x-lbtagjjufznxxeun) (Read error: Connection reset by peer)
2021-04-26 08:23:56 × nick_h quits (sid319833@gateway/web/irccloud.com/x-rpjxyycebsudwryk) (Write error: Connection reset by peer)
2021-04-26 08:23:56 × mpickering quits (sid78412@gateway/web/irccloud.com/x-uuuhuurfuxahsslu) (Read error: Connection reset by peer)
2021-04-26 08:23:56 × simony quits (sid226116@gateway/web/irccloud.com/x-uimvkkhkkjmffmgk) (Read error: Connection reset by peer)
2021-04-26 08:24:03 × gluegadget quits (sid22336@gateway/web/irccloud.com/x-yvyuuucqiikbdiwr) (Read error: Connection reset by peer)
2021-04-26 08:24:09 × Tritlo quits (sid58727@gateway/web/irccloud.com/x-aozswbintmywimnv) (Read error: Connection reset by peer)
2021-04-26 08:24:21 × hamishmack quits (sid389057@gateway/web/irccloud.com/x-pnmcssvibehjvusv) (Read error: Connection reset by peer)
2021-04-26 08:24:21 × dsturnbull quits (sid347899@gateway/web/irccloud.com/x-rwwelyrmjwhraekh) (Read error: Connection reset by peer)
2021-04-26 08:24:21 × affinespaces quits (sid327561@gateway/web/irccloud.com/x-zprmbywljksowyax) (Read error: Connection reset by peer)
2021-04-26 08:24:24 × chimera quits (~chimera@168-182-134-95.pool.ukrtel.net) (Quit: Konversation terminated!)
2021-04-26 08:24:32 × edwinb quits (sid69486@gateway/web/irccloud.com/x-ceykgrlrnlvnljwc) (Ping timeout: 240 seconds)
2021-04-26 08:24:35 × Firedancer quits (sid336191@gateway/web/irccloud.com/x-xoleucehjmvybibw) (Read error: Connection reset by peer)
2021-04-26 08:24:46 × dmj` quits (sid72307@gateway/web/irccloud.com/x-apketcevmbwpajcv) (Read error: Connection reset by peer)
2021-04-26 08:24:50 × PoliticsII______ quits (sid193551@gateway/web/irccloud.com/x-yxyceemvbzkrgcna) (Read error: Connection reset by peer)
2021-04-26 08:24:52 × Guest45273 quits (sid175221@gateway/web/irccloud.com/x-nsujrihzxxbdnxuk) (Read error: Connection reset by peer)
2021-04-26 08:24:58 × joel135 quits (sid136450@gateway/web/irccloud.com/x-ucqckdoiizhcvkmw) (Read error: Connection reset by peer)
2021-04-26 08:24:59 × rekahsoft quits (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Ping timeout: 245 seconds)
2021-04-26 08:25:10 → is_null joins (~jpic@pdpc/supporter/professional/is-null)
2021-04-26 08:25:39 × heyj quits (sid171370@gateway/web/irccloud.com/x-wookyduvyhmgjxsv) (Ping timeout: 250 seconds)
2021-04-26 08:26:27 × SanchayanMaity quits (sid478177@gateway/web/irccloud.com/x-iknoupunjrgfpxlk) (Ping timeout: 260 seconds)
2021-04-26 08:28:02 × ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection)
2021-04-26 08:28:36 → ukari joins (~ukari@unaffiliated/ukari)
2021-04-26 08:29:13 × rond_ quits (5940206b@89-64-32-107.dynamic.chello.pl) (Quit: Connection closed)
2021-04-26 08:29:22 → joel135 joins (sid136450@gateway/web/irccloud.com/x-ndhpmrvvghebnbtd)
2021-04-26 08:29:30 → acertain joins (sid470584@gateway/web/irccloud.com/x-sumasjykwljqhlbu)
2021-04-26 08:29:34 → affinespaces joins (sid327561@gateway/web/irccloud.com/x-ubclajppgjefvuak)
2021-04-26 08:29:39 → simony joins (sid226116@gateway/web/irccloud.com/x-kmfpxdltuszvmpvx)
2021-04-26 08:29:40 → nick_h joins (sid319833@gateway/web/irccloud.com/x-zusqmzasathspykj)
2021-04-26 08:29:40 → lexi-lambda joins (sid92601@gateway/web/irccloud.com/x-vyltbyovtotffqec)
2021-04-26 08:29:40 → mpickering joins (sid78412@gateway/web/irccloud.com/x-xjsuxnedetzxjhqw)
2021-04-26 08:29:44 → gluegadget joins (sid22336@gateway/web/irccloud.com/x-itbovuhjwhyfdepu)
2021-04-26 08:29:56 → hamishmack joins (sid389057@gateway/web/irccloud.com/x-hinwsnzvmlwgjiuz)
2021-04-26 08:30:00 → dsturnbull joins (sid347899@gateway/web/irccloud.com/x-qvlrvivkyeospoih)
2021-04-26 08:30:11 × geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-04-26 08:30:13 → Firedancer joins (sid336191@gateway/web/irccloud.com/x-gcafzszhhwdyauva)
2021-04-26 08:30:13 → heyj joins (sid171370@gateway/web/irccloud.com/x-mqcobmcwiqxugtpm)
2021-04-26 08:30:20 → Tritlo joins (sid58727@gateway/web/irccloud.com/x-qlfkwgdcrqlcpigc)
2021-04-26 08:30:24 → edwinb joins (sid69486@gateway/web/irccloud.com/x-sfvgflsmzchrdhrj)
2021-04-26 08:30:32 → PoliticsII______ joins (sid193551@gateway/web/irccloud.com/x-zsvgstszagyrpulm)
←Prev  Next→
Page 1 .. 4602 4603 4604 4605 4606 4607 4608 4609 4610 4611 4612 .. 5022

All times are in UTC.