Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→ 502,152 events total
2020-11-16 08:48:54 × cyphase quits (~cyphase@unaffiliated/cyphase) (Ping timeout: 272 seconds)
2020-11-16 08:52:57 wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-11-16 08:55:07 × Yumasi quits (~guillaume@pop.92-184-106-1.mobile.abo.orange.fr) (Read error: Connection reset by peer)
2020-11-16 08:57:35 cyphase joins (~cyphase@unaffiliated/cyphase)
2020-11-16 08:57:46 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds)
2020-11-16 08:58:37 borne joins (~fritjof@200116b864b5430099e934deb93b1409.dip.versatel-1u1.de)
2020-11-16 09:00:01 × santa_1 quits (~santa_@185.163.110.116) ()
2020-11-16 09:00:04 × DeadComaGrayce[m quits (commagra1@gateway/shell/matrix.org/x-azdmcqjbsmchjvtv) (Quit: Idle for 30+ days)
2020-11-16 09:00:06 × wrunt[m] quits (wruntmatri@gateway/shell/matrix.org/x-fajabshtqlxbdigd) (Quit: Idle for 30+ days)
2020-11-16 09:00:33 Yumasi joins (~guillaume@pop.92-184-106-1.mobile.abo.orange.fr)
2020-11-16 09:01:43 × cheater quits (~user@unaffiliated/cheater) (Quit: (BitchX) "got bitchx?")
2020-11-16 09:04:03 britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-11-16 09:04:29 cfricke joins (~cfricke@unaffiliated/cfricke)
2020-11-16 09:04:56 solonarv joins (~solonarv@astrasbourg-653-1-156-155.w90-6.abo.wanadoo.fr)
2020-11-16 09:05:32 <moet> glguy: ah, i'll have to get back to you on that tomorrow..
2020-11-16 09:06:05 kuribas joins (~user@ptr-25vy0iaahu2pezvpnfb.18120a2.ip6.access.telenet.be)
2020-11-16 09:07:14 <Ivan__1> q
2020-11-16 09:07:17 × Ivan__1 quits (~yudin@gw.mat.uc.pt) (Quit: leaving)
2020-11-16 09:07:38 christo joins (~chris@81.96.113.213)
2020-11-16 09:11:12 <runeks> Anyone know a mirror for https://downloads.haskell.org/~ghc/8.8.3/ghc-8.8.3-x86_64-apple-darwin.tar.xz? I'm getting 20-30 KB/s from that link...
2020-11-16 09:11:16 cheater joins (~user@unaffiliated/cheater)
2020-11-16 09:11:56 <dminuoso> runeks: https://distfiles.macports.org/ghc/
2020-11-16 09:12:04 <dminuoso> Be sure to check the signatures against the ones from haskell.org
2020-11-16 09:12:42 × cheater quits (~user@unaffiliated/cheater) (Read error: Connection reset by peer)
2020-11-16 09:13:25 × da39a3ee5e6b4b0d quits (~da39a3ee5@cm-171-98-76-220.revip7.asianet.co.th) (Ping timeout: 240 seconds)
2020-11-16 09:14:04 <runeks> @dminuoso Thank you! I checked the hash and it matches that of the haskell.org file.
2020-11-16 09:14:04 <lambdabot> Unknown command, try @list
2020-11-16 09:14:06 enoq joins (~textual@194-208-146-143.lampert.tv)
2020-11-16 09:14:16 <runeks> dminuoso: Thank you! I checked the hash and it matches that of the haskell.org file.
2020-11-16 09:16:25 × Guest2620 quits (~Christoph@chezlefab.net) (Ping timeout: 264 seconds)
2020-11-16 09:16:25 × Yumasi quits (~guillaume@pop.92-184-106-1.mobile.abo.orange.fr) (Read error: Connection reset by peer)
2020-11-16 09:16:33 stilgart joins (~Christoph@chezlefab.net)
2020-11-16 09:17:01 × orzo quits (joe@lasker.childrenofmay.org) (Ping timeout: 264 seconds)
2020-11-16 09:17:01 × peutri quits (~peutri@ns317027.ip-94-23-46.eu) (Ping timeout: 264 seconds)
2020-11-16 09:17:10 peutri joins (~peutri@ns317027.ip-94-23-46.eu)
2020-11-16 09:17:10 orzo joins (joe@lasker.childrenofmay.org)
2020-11-16 09:17:49 × guest1116 quits (~user@49.5.6.87) (Ping timeout: 246 seconds)
2020-11-16 09:18:02 × moet quits (~moet@mobile-166-137-178-183.mycingular.net) (Ping timeout: 272 seconds)
2020-11-16 09:18:02 × seveg quits (~gabriel@2a02-ab04-0249-8d00-7d49-c4e2-4790-91c2.dynamic.v6.chello.sk) (Ping timeout: 264 seconds)
2020-11-16 09:18:26 <dminuoso> merijn: What can I say, my code is plastered with putWord8/putWord16be/putWord32be
2020-11-16 09:18:40 <dminuoso> And sadly I cant track Word8/Word16/Word32 cleanly through
2020-11-16 09:19:27 <dminuoso> So what I realistically do is, I keep them as Word32 and narrow wherever. Validation before serialization will catch potential bugs here.
2020-11-16 09:19:33 × hnOsmium0001 quits (uid453710@gateway/web/irccloud.com/x-wwiyyhwyadbuqprb) (Quit: Connection closed for inactivity)
2020-11-16 09:19:52 × berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds)
2020-11-16 09:20:05 seveg joins (~gabriel@188-167-252-154.dynamic.chello.sk)
2020-11-16 09:20:13 berberman joins (~berberman@unaffiliated/berberman)
2020-11-16 09:21:53 Yumasi joins (~guillaume@pop.92-184-106-1.mobile.abo.orange.fr)
2020-11-16 09:22:37 m0rphism joins (~m0rphism@HSI-KBW-095-208-098-207.hsi5.kabel-badenwuerttemberg.de)
2020-11-16 09:23:35 fendor joins (~fendor@178.115.131.226.wireless.dyn.drei.com)
2020-11-16 09:23:44 × lxsameer quits (~lxsameer@unaffiliated/lxsameer) (Ping timeout: 272 seconds)
2020-11-16 09:25:35 <merijn> Hopefully ;)
2020-11-16 09:25:35 da39a3ee5e6b4b0d joins (~da39a3ee5@cm-171-98-76-220.revip7.asianet.co.th)
2020-11-16 09:27:08 o1lo01ol1o joins (~o1lo01ol1@bl11-140-216.dsl.telepac.pt)
2020-11-16 09:27:21 cheater joins (~user@unaffiliated/cheater)
2020-11-16 09:28:22 × Amras quits (~Amras@unaffiliated/amras0000) (Ping timeout: 260 seconds)
2020-11-16 09:29:02 <dminuoso> Well, for deserialization I could use int-cast I guess
2020-11-16 09:30:35 Franciman joins (~francesco@host-82-56-223-169.retail.telecomitalia.it)
2020-11-16 09:33:48 × o1lo01ol1o quits (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Remote host closed the connection)
2020-11-16 09:34:38 Amras joins (~Amras@unaffiliated/amras0000)
2020-11-16 09:36:00 lxsameer joins (lxsameer@gateway/vpn/protonvpn/lxsameer)
2020-11-16 09:36:48 × Yumasi quits (~guillaume@pop.92-184-106-1.mobile.abo.orange.fr) (Read error: Connection reset by peer)
2020-11-16 09:37:45 × Cale quits (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) (Ping timeout: 240 seconds)
2020-11-16 09:37:49 × acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 265 seconds)
2020-11-16 09:37:58 × jzl quits (~jzl@unaffiliated/jzl) (Ping timeout: 260 seconds)
2020-11-16 09:38:11 acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2020-11-16 09:38:32 jzl joins (~jzl@2607:5300:60:1422::1)
2020-11-16 09:38:32 × jzl quits (~jzl@2607:5300:60:1422::1) (Changing host)
2020-11-16 09:38:32 jzl joins (~jzl@unaffiliated/jzl)
2020-11-16 09:40:12 Cale joins (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com)
2020-11-16 09:40:42 × bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 256 seconds)
2020-11-16 09:42:11 Yumasi joins (~guillaume@pop.92-184-106-1.mobile.abo.orange.fr)
2020-11-16 09:43:17 heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-16 09:46:20 grimgnr joins (~user@94.19.246.43)
2020-11-16 09:48:04 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-11-16 09:48:21 × zebrag quits (~inkbottle@aaubervilliers-654-1-73-14.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2020-11-16 09:48:42 zebrag joins (~inkbottle@aaubervilliers-654-1-73-14.w86-212.abo.wanadoo.fr)
2020-11-16 09:48:50 bahamas joins (~lucian@unaffiliated/bahamas)
2020-11-16 09:51:48 guest1116 joins (~user@49.5.6.87)
2020-11-16 10:01:36 Martinsos joins (~user@cpe-188-129-116-164.dynamic.amis.hr)
2020-11-16 10:01:59 × da39a3ee5e6b4b0d quits (~da39a3ee5@cm-171-98-76-220.revip7.asianet.co.th) (Ping timeout: 265 seconds)
2020-11-16 10:04:30 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer)
2020-11-16 10:05:06 tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2020-11-16 10:05:31 da39a3ee5e6b4b0d joins (~da39a3ee5@cm-171-98-76-220.revip7.asianet.co.th)
2020-11-16 10:07:31 tromp_ joins (~tromp@dhcp-077-249-230-040.chello.nl)
2020-11-16 10:07:31 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer)
2020-11-16 10:09:57 <Martinsos> Hi all! I am not so new to Haskell, but I am new to IRC - any best practices to share on how to get most of haskell IRC channel? I am usually on reddit but I heard haskell IRC channel is the best place to learn/ask. I am right now using ERC in Emacs, but I am not sure how to go about it since I can't see the old messages -> do you have IRC turned on all the time? Do you also use ERC in Emacs or do you use smth else? What is your
2020-11-16 10:09:57 <Martinsos> workflow about participating in IRC while also getting stuff done? Thanks!
2020-11-16 10:11:28 <merijn> Some people stay logged in all the time via a "bouncer" (basically a VPS forwarding to your local machine), but personally I just treat IRC as transient, there is not much point in attempting to keep up with everything that happens
2020-11-16 10:11:48 boxscape joins (54a35f37@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.95.55)
2020-11-16 10:11:51 × da39a3ee5e6b4b0d quits (~da39a3ee5@cm-171-98-76-220.revip7.asianet.co.th) (Read error: Connection reset by peer)
2020-11-16 10:11:52 × lxsameer quits (lxsameer@gateway/vpn/protonvpn/lxsameer) (Ping timeout: 256 seconds)
2020-11-16 10:14:57 <Martinsos> merijn: do you keep it open in separate window, or if you are using it through emacs do you just keep the buffer in the background and open it every so and so?
2020-11-16 10:15:34 <merijn> I don't use emacs at all :p I just have it open in a seperate tmux window
2020-11-16 10:16:26 <[exa]> Martinsos: I got permanently running irssi on a server, connecting just with ssh+tmux
2020-11-16 10:16:45 <Martinsos> merijn: ok great, thanks a lot :)! I also just realized there are logs at tunes.org, so that is also useful.
2020-11-16 10:16:58 <merijn> Also https://ircbrowse.tomsmeding.com/haskell
2020-11-16 10:17:01 <Martinsos> merijn++
2020-11-16 10:17:37 × invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 264 seconds)
2020-11-16 10:17:38 <Martinsos> @karma Martinsos
2020-11-16 10:17:38 <lambdabot> You have a karma of 0

All times are in UTC.