Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 337 338 339 340 341 342 343 344 345 346 347 .. 5022
— 502,152 events total
2020-09-30 23:48:03 → jedws joins (~jedws@121.209.139.222)
2020-09-30 23:50:36 → c1c1d1cd177__7_7 joins (~user@46.0.224.53)
2020-09-30 23:50:45 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-30 23:52:12 × mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-30 23:52:12 × mirrorbird quits (~psutcliff@2a00:801:3fb:53b9:b09b:cd4e:4e4a:44a9) (Quit: Leaving)
2020-09-30 23:52:33 × whiteline quits (~whiteline@unaffiliated/whiteline) (Ping timeout: 260 seconds)
2020-09-30 23:52:42 → mu_ joins (~mu@unaffiliated/mu)
2020-09-30 23:53:16 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 258 seconds)
2020-09-30 23:55:45 → cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
2020-09-30 23:57:15 → Guest32532 joins (b55ebc21@181.94.188.33)
2020-09-30 23:57:27 × Guest32532 quits (b55ebc21@181.94.188.33) (Remote host closed the connection)
2020-09-30 23:58:08 × c1c1d1cd177__7_7 quits (~user@46.0.224.53) (Quit: ERC (IRC client for Emacs 25.2.2))
2020-09-30 23:58:15 → elliott_ joins (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net)
2020-09-30 23:58:25 → danso joins (~dan@107-190-41-58.cpe.teksavvy.com)
2020-10-01 00:00:01 × zopsi quits (zopsi@2600:3c00::f03c:91ff:fe14:551f) (Quit: Oops)
2020-10-01 00:00:02 × forcer1 quits (~forcer@193.56.252.210) ()
2020-10-01 00:01:19 → zopsi joins (zopsi@2600:3c00::f03c:91ff:fe14:551f)
2020-10-01 00:01:32 × Graypup_ quits (Graypup@lfcode.ca) (Quit: ZNC 1.6.1 - http://znc.in)
2020-10-01 00:01:52 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-01 00:02:07 → Graypup_ joins (Graypup@lfcode.ca)
2020-10-01 00:02:07 → somek joins (b55ebc21@181.94.188.33)
2020-10-01 00:02:11 × mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-10-01 00:02:25 <somek> hello
2020-10-01 00:02:41 → mu_ joins (~mu@unaffiliated/mu)
2020-10-01 00:02:52 <somek> i'm not speak english
2020-10-01 00:03:27 hackage happstack-authenticate 2.4.1 - Happstack Authentication Library https://hackage.haskell.org/package/happstack-authenticate-2.4.1 (JeremyShaw)
2020-10-01 00:03:55 <somek> i need help with some functions
2020-10-01 00:05:25 ← somek parts (b55ebc21@181.94.188.33) ()
2020-10-01 00:05:25 × kori quits (~kori@arrowheads/kori) (Read error: Connection reset by peer)
2020-10-01 00:06:14 <sshine> :t show
2020-10-01 00:06:16 <lambdabot> Show a => a -> String
2020-10-01 00:06:27 <sshine> like that one?
2020-10-01 00:06:40 <sshine> oh, he went.
2020-10-01 00:06:41 <MarcelineVQ> he left right away :X
2020-10-01 00:06:54 sshine 's client ignores joins/parts on freenode.
2020-10-01 00:07:10 <MarcelineVQ> my client ignores traffic laws
2020-10-01 00:07:25 <sshine> what are traffic laws?
2020-10-01 00:07:31 <MarcelineVQ> right?
2020-10-01 00:07:34 <sshine> </anarchist>
2020-10-01 00:08:01 <sshine> in other news: https://arxiv.org/pdf/1911.03449.pdf
2020-10-01 00:11:52 <MarcelineVQ> Once I found out what a planar graph was that abstract sounded pretty neat
2020-10-01 00:12:37 × mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-10-01 00:12:43 → mu__ joins (~mu@unaffiliated/mu)
2020-10-01 00:13:11 × vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2020-10-01 00:14:38 <sshine> I think the example of a planar graph I remember from school was borders of countries. except, of course, there is somewhere in germany or the netherlands where a tiny chunk of houses is annexed by a bicycle lane of the adjacent country.
2020-10-01 00:14:54 <sshine> sorry, math.
2020-10-01 00:15:29 <MarcelineVQ> weird, does germany have a history of annexing?
2020-10-01 00:15:41 <sshine> annexing is me being bad at english.
2020-10-01 00:16:20 <sshine> I meant separated.
2020-10-01 00:17:48 <sshine> function MULTI-FLIP-LINKABLE(u,v). why are my functions never so good sounding.
2020-10-01 00:18:25 → elliott__ joins (~elliott@pool-100-36-54-163.washdc.fios.verizon.net)
2020-10-01 00:18:46 × Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2020-10-01 00:21:06 × danso quits (~dan@107-190-41-58.cpe.teksavvy.com) (Read error: Connection reset by peer)
2020-10-01 00:21:06 × voyons_calisse quits (~dan@107-190-41-58.cpe.teksavvy.com) (Read error: Connection reset by peer)
2020-10-01 00:21:37 → voyons_calisse joins (~dan@107-190-41-58.cpe.teksavvy.com)
2020-10-01 00:21:44 → danso joins (~dan@107-190-41-58.cpe.teksavvy.com)
2020-10-01 00:22:15 × mu__ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-10-01 00:22:47 → mu_ joins (~mu@unaffiliated/mu)
2020-10-01 00:24:45 → ddere joins (uid110888@gateway/web/irccloud.com/x-jowgaeystqlypvfd)
2020-10-01 00:25:27 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-10-01 00:27:32 → kori joins (~kori@arrowheads/kori)
2020-10-01 00:28:12 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-01 00:29:58 hackage exception-hierarchy 0.1.0.4 - Exception type hierarchy with TemplateHaskell https://hackage.haskell.org/package/exception-hierarchy-0.1.0.4 (YoshikuniJujo)
2020-10-01 00:32:37 × mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-10-01 00:32:43 → mu__ joins (~mu@unaffiliated/mu)
2020-10-01 00:32:43 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds)
2020-10-01 00:38:05 × ystael quits (~ystael@209.6.50.55) (Ping timeout: 240 seconds)
2020-10-01 00:39:16 → nbloomf joins (~nbloomf@2600:1700:83e0:1f40:9c40:e8e8:23cf:e71)
2020-10-01 00:42:14 × mu__ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-10-01 00:42:42 → mu_ joins (~mu@unaffiliated/mu)
2020-10-01 00:44:43 <jackdk> sshine: https://www.youtube.com/watch?v=r-aIzkvPwFo there used to be a 3-rd order enclave: A part of India surrounded by Bangladesh surrounded by India surrounded by Bangladesh
2020-10-01 00:45:12 <koz_> > read "01" :: Int
2020-10-01 00:45:15 <lambdabot> 1
2020-10-01 00:47:53 × solonarv quits (~solonarv@astrasbourg-653-1-252-112.w92-161.abo.wanadoo.fr) (Ping timeout: 260 seconds)
2020-10-01 00:50:07 × Wuzzy quits (~Wuzzy@p5790e6f5.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-10-01 00:50:58 hackage squeal-postgresql 0.7.0.0 - Squeal PostgreSQL Library https://hackage.haskell.org/package/squeal-postgresql-0.7.0.0 (echatav)
2020-10-01 00:51:58 × kori quits (~kori@arrowheads/kori) (Read error: Connection reset by peer)
2020-10-01 00:52:17 × notzmv quits (~user@unaffiliated/zmv) (Remote host closed the connection)
2020-10-01 00:52:17 × mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-10-01 00:52:42 → mu_ joins (~mu@unaffiliated/mu)
2020-10-01 00:53:50 → snakemasterflex joins (~snakemast@213.100.206.23)
2020-10-01 00:54:47 × borne quits (~fritjof@200116b864837e00537d5cc8226f9d9f.dip.versatel-1u1.de) (Ping timeout: 240 seconds)
2020-10-01 00:55:44 → RandIter joins (~RandIter@193.56.252.210)
2020-10-01 00:57:39 → kori joins (~kori@arrowheads/kori)
2020-10-01 00:58:51 × snakemasterflex quits (~snakemast@213.100.206.23) (Ping timeout: 265 seconds)
2020-10-01 01:00:12 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-01 01:00:42 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-01 01:01:08 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-01 01:02:37 × mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-10-01 01:02:43 → mu__ joins (~mu@unaffiliated/mu)
2020-10-01 01:04:17 × thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 244 seconds)
2020-10-01 01:06:07 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-10-01 01:06:48 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2020-10-01 01:07:01 × spew quits (uid195861@gateway/web/irccloud.com/x-jsbpggyredzfkvod) (Quit: Connection closed for inactivity)
2020-10-01 01:07:43 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 260 seconds)
2020-10-01 01:07:57 × nineonin_ quits (~nineonine@216.81.48.202) (Remote host closed the connection)
2020-10-01 01:08:48 × gxt quits (~gxt@gateway/tor-sasl/gxt) (Remote host closed the connection)
2020-10-01 01:09:00 × Rudd0 quits (~Rudd0@185.189.115.98) (Remote host closed the connection)
2020-10-01 01:09:36 → gxt joins (~gxt@gateway/tor-sasl/gxt)
2020-10-01 01:11:33 × nckx quits (~nckx@tobias.gr) (Ping timeout: 256 seconds)
←Prev  Next→
Page 1 .. 337 338 339 340 341 342 343 344 345 346 347 .. 5022

All times are in UTC.