Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 3827 3828 3829 3830 3831 3832 3833 3834 3835 3836 3837 .. 5022
— 502,152 events total
2021-03-15 18:08:00 × beardhatcode quits (robbertbea@gateway/shell/matrix.org/x-vjzeowanvuthadhr) (Ping timeout: 241 seconds)
2021-03-15 18:08:02 × AbtractSingleton quits (rasurumatr@gateway/shell/matrix.org/x-nipocthdxyoqretr) (Ping timeout: 249 seconds)
2021-03-15 18:08:02 × a-tsioh[m] quits (a-tsiohmat@gateway/shell/matrix.org/x-zwctixdaeewiqvbp) (Ping timeout: 249 seconds)
2021-03-15 18:08:02 × alar[m] quits (alarmxalat@gateway/shell/matrix.org/x-zrexbuctbbpkrtod) (Ping timeout: 249 seconds)
2021-03-15 18:08:03 × maerwald[m] quits (maerwaldma@gateway/shell/matrix.org/x-ywzbwktmcsnmejyh) (Ping timeout: 249 seconds)
2021-03-15 18:08:03 × jkaye[m] quits (jkayematri@gateway/shell/matrix.org/x-udvlgksekwmzpkrv) (Ping timeout: 249 seconds)
2021-03-15 18:08:04 × lambdaclan quits (lambdaclan@gateway/shell/matrix.org/x-vfqoziwqnefwqyzn) (Ping timeout: 249 seconds)
2021-03-15 18:08:04 × jerin quits (jerinmatri@gateway/shell/matrix.org/x-wykbrvrddoywvmzp) (Ping timeout: 249 seconds)
2021-03-15 18:08:04 × CrabMan quits (phi-matrix@gateway/shell/matrix.org/x-nczsygxjwbeezjba) (Ping timeout: 249 seconds)
2021-03-15 18:08:04 × Ericson2314 quits (ericson231@gateway/shell/matrix.org/x-tsyziegnksxmsvwe) (Ping timeout: 249 seconds)
2021-03-15 18:08:04 × psydruid quits (psydruidma@gateway/shell/matrix.org/x-hgwbwoywnwmngtzr) (Ping timeout: 249 seconds)
2021-03-15 18:08:04 → justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
2021-03-15 18:08:08 × invent[m]1 quits (inventmatr@gateway/shell/matrix.org/x-lpuieaxgzfdbucdc) (Ping timeout: 247 seconds)
2021-03-15 18:08:08 × dyniec[m] quits (dyniecmatr@gateway/shell/matrix.org/x-scnkbpqnqrebckvs) (Ping timeout: 247 seconds)
2021-03-15 18:08:08 × Pressyware[m] quits (pressyware@gateway/shell/matrix.org/x-ddhjwpogpizdplmn) (Ping timeout: 247 seconds)
2021-03-15 18:08:09 × Lurkki[m] quits (lurkkipriv@gateway/shell/matrix.org/x-vfafddqdjrrwvxuo) (Ping timeout: 247 seconds)
2021-03-15 18:08:09 × VarikValefor[m] quits (varikvalef@gateway/shell/matrix.org/x-qngheqbemrlhymqo) (Ping timeout: 247 seconds)
2021-03-15 18:08:10 × PotatoHatsue quits (berbermanp@gateway/shell/matrix.org/x-yflvdgmqjmthorbh) (Ping timeout: 247 seconds)
2021-03-15 18:08:10 × srid quits (sridmatrix@gateway/shell/matrix.org/x-cdqpzvogolvfjmux) (Ping timeout: 247 seconds)
2021-03-15 18:08:10 × arcontethegreat[ quits (arcontethe@gateway/shell/matrix.org/x-nwmbkmnfxfryiwwe) (Ping timeout: 247 seconds)
2021-03-15 18:08:10 × maralorn quits (maralornma@gateway/shell/matrix.org/x-rezinnajdbsjgswd) (Ping timeout: 247 seconds)
2021-03-15 18:08:15 × idhugo__ quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 265 seconds)
2021-03-15 18:08:27 × sigmacool[m] quits (sigmacoolm@gateway/shell/matrix.org/x-zreyiugydgdstsfc) (Ping timeout: 265 seconds)
2021-03-15 18:08:27 × bitonic quits (bitonicmat@gateway/shell/matrix.org/x-jwmiqaganbdblqeb) (Ping timeout: 265 seconds)
2021-03-15 18:08:27 × simara[m] quits (simaramatr@gateway/shell/matrix.org/x-jyuzgnopiyccambc) (Ping timeout: 265 seconds)
2021-03-15 18:08:39 × ManofLetters[m] quits (manoflette@gateway/shell/matrix.org/x-yudatyptjaytneqs) (Ping timeout: 268 seconds)
2021-03-15 18:08:39 × speakerspivakeem quits (speakerdea@gateway/shell/matrix.org/x-qcoaaekhblbwfpsj) (Ping timeout: 268 seconds)
2021-03-15 18:08:40 × shieru[m] quits (shierualet@gateway/shell/matrix.org/x-crtlzvguvlyzbkhj) (Ping timeout: 268 seconds)
2021-03-15 18:08:40 × jeffcasavant[m] quits (jeffcasava@gateway/shell/matrix.org/x-lnbuotkynhkztzqa) (Ping timeout: 268 seconds)
2021-03-15 18:08:40 × hsiktas[m] quits (hsiktasmat@gateway/shell/matrix.org/x-wtctyeobgbtycmfg) (Ping timeout: 268 seconds)
2021-03-15 18:09:13 <wickedjargon> edwardk: Do you think it was helpful to you? I got frustarted with it after a few chapters and gave up a few years ago, but am now considering to finish reading it
2021-03-15 18:09:15 × enya[m] quits (enyaismatr@gateway/shell/matrix.org/x-xztdnbxlyijkfvcb) (Ping timeout: 240 seconds)
2021-03-15 18:09:15 × mly[m] quits (mlydisenco@gateway/shell/matrix.org/x-ljqtcmanvrbtjrvd) (Ping timeout: 240 seconds)
2021-03-15 18:09:24 × sm[m] quits (simonmicma@gateway/shell/matrix.org/x-ywomzlzeficbvvff) (Ping timeout: 246 seconds)
2021-03-15 18:09:25 × rust-rocks[m] quits (rust-rocks@gateway/shell/matrix.org/x-aebtetgfiystofjh) (Ping timeout: 265 seconds)
2021-03-15 18:09:26 × sramsay64[m] quits (sramsay64p@gateway/shell/matrix.org/x-ugmborfniejfujki) (Ping timeout: 240 seconds)
2021-03-15 18:09:26 × fgaz quits (fgazmatrix@gateway/shell/matrix.org/x-friwaqabluxhmgej) (Ping timeout: 240 seconds)
2021-03-15 18:09:26 × berberman[T] quits (berberma4@gateway/shell/matrix.org/x-krnkqaczgxqcldno) (Ping timeout: 240 seconds)
2021-03-15 18:09:28 × immae1 quits (immaematri@gateway/shell/matrix.org/x-ckpvkldgpyouvavg) (Ping timeout: 258 seconds)
2021-03-15 18:09:28 × ThaEwat quits (thaewraptm@gateway/shell/matrix.org/x-sinxsygzdymdglrs) (Ping timeout: 258 seconds)
2021-03-15 18:09:53 × pqwy[m] quits (pqwymatrix@gateway/shell/matrix.org/x-tuhaqobqlcfizedi) (Ping timeout: 268 seconds)
2021-03-15 18:09:54 × domenkozar[m] quits (domenkozar@NixOS/user/domenkozar) (Ping timeout: 265 seconds)
2021-03-15 18:10:29 × seveg quits (~gabriel@2a02-ab04-0249-8d00-dea6-32ff-fe17-0993.dynamic.v6.chello.sk) (Quit: WeeChat 3.0)
2021-03-15 18:10:32 <nshepperd> the purpose of type safety is to give unsafeCoerce meaning, just as there is no joy without regret
2021-03-15 18:11:15 × toasty_avocado[4 quits (toastyavoc@gateway/shell/matrix.org/x-ofixjwdrwojfkcuv) (Ping timeout: 240 seconds)
2021-03-15 18:11:21 × rednaZ[m] quits (r3dnazmatr@gateway/shell/matrix.org/x-jghiowexfiqyfpvv) (Ping timeout: 265 seconds)
2021-03-15 18:11:26 × MichaelHoffmannb quits (brisadmozi@gateway/shell/matrix.org/x-jkosmzrzdqsrpuhu) (Ping timeout: 240 seconds)
2021-03-15 18:14:18 × kiweun quits (~kiweun@cpe98524a8cef7c-cm98524a8cef7a.cpe.net.cable.rogers.com) (Remote host closed the connection)
2021-03-15 18:14:26 × vnz quits (~vnz@unaffiliated/vnz) (Quit: ZNC - http://znc.in)
2021-03-15 18:14:57 × lordyod quits (~lordyod@c-67-169-144-132.hsd1.ca.comcast.net) (Ping timeout: 264 seconds)
2021-03-15 18:16:21 → vnz joins (~vnz@2001:bc8:604:94f::1)
2021-03-15 18:16:21 × vnz quits (~vnz@2001:bc8:604:94f::1) (Changing host)
2021-03-15 18:16:21 → vnz joins (~vnz@unaffiliated/vnz)
2021-03-15 18:16:53 <wickedjargon> package install
2021-03-15 18:16:53 <wickedjargon> learn
2021-03-15 18:16:53 <wickedjargon> n
2021-03-15 18:16:55 <wickedjargon> plegxe-1exfexe;;'exe;'x1exelearn o
2021-03-15 18:17:09 × shailangsa quits (~shailangs@host86-162-150-241.range86-162.btcentralplus.com) ()
2021-03-15 18:17:14 → lordyod joins (~lordyod@c-67-169-144-132.hsd1.ca.comcast.net)
2021-03-15 18:18:22 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-03-15 18:20:02 → crobbins_ joins (~crobbins@2601:2c1:200:ec50:a565:98e0:ff9f:df2e)
2021-03-15 18:20:41 → DTZUZU_ joins (~DTZUZO@207.81.119.43)
2021-03-15 18:20:48 × kuribas quits (~user@ptr-25vy0i6y98flue533si.18120a2.ip6.access.telenet.be) (Remote host closed the connection)
2021-03-15 18:22:02 × geekosaur quits (82650c7a@130.101.12.122) (Ping timeout: 240 seconds)
2021-03-15 18:22:03 × __minoru__shirae quits (~shiraeesh@46.34.206.121) (Ping timeout: 256 seconds)
2021-03-15 18:22:45 → __minoru__shirae joins (~shiraeesh@109.166.58.121)
2021-03-15 18:22:50 × crobbins quits (~crobbins@2601:2c1:200:ec50:c8cd:d394:be82:ebad) (Ping timeout: 264 seconds)
2021-03-15 18:22:58 × DTZUZU quits (~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 245 seconds)
2021-03-15 18:23:01 <tapas> jhrcek: i'll take a look later, but this may be something to take to the hackage trustees
2021-03-15 18:24:00 × frozenErebus quits (~frozenEre@94.128.82.20) (Quit: Lost terminal)
2021-03-15 18:24:15 × crobbins_ quits (~crobbins@2601:2c1:200:ec50:a565:98e0:ff9f:df2e) (Ping timeout: 240 seconds)
2021-03-15 18:24:59 → jamm_ joins (~jamm@unaffiliated/jamm)
2021-03-15 18:26:10 → conal joins (~conal@64.71.133.70)
2021-03-15 18:26:39 × dyeplexer quits (~lol@unaffiliated/terpin) (Remote host closed the connection)
2021-03-15 18:27:05 → augnun joins (~augnun@2804:14c:658b:41bb:3fc6:262a:d24a:2155)
2021-03-15 18:28:48 × epst3in quits (~dwsjeid91@193.27.14.71) (Ping timeout: 260 seconds)
2021-03-15 18:28:56 × jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 240 seconds)
2021-03-15 18:30:11 → frozenErebus joins (~frozenEre@94.128.82.20)
2021-03-15 18:31:21 → augnun_ joins (~augnun@2804:14c:658b:41bb:2619:95b9:b021:720c)
2021-03-15 18:32:28 × augnun quits (~augnun@2804:14c:658b:41bb:3fc6:262a:d24a:2155) (Ping timeout: 258 seconds)
2021-03-15 18:33:00 → supercoven joins (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi)
2021-03-15 18:35:17 <adamCS> Given two things, a and b, which may or may not be of the same type, how do I somehow get Maybe (a :~: b)? I'm trying to write an instance of GEq for something of kind (Type -> Type) but not one with constructors to distinguish the possible types.
2021-03-15 18:35:21 × ystael quits (~ystael@209.6.50.55) (Ping timeout: 264 seconds)
2021-03-15 18:36:19 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-15 18:37:07 → bitmagie joins (~Thunderbi@200116b806606900d512802029b5d408.dip.versatel-1u1.de)
2021-03-15 18:37:26 × frozenErebus quits (~frozenEre@94.128.82.20) (Ping timeout: 240 seconds)
2021-03-15 18:37:33 × jayok quits (~jayok@cpc147358-belf12-2-0-cust581.2-1.cable.virginm.net) (Ping timeout: 246 seconds)
2021-03-15 18:38:18 → pineapples[m] joins (pineapples@gateway/shell/matrix.org/x-cruihamqujucfumq)
2021-03-15 18:38:27 → DTZUZU joins (~DTZUZO@205.ip-149-56-132.net)
2021-03-15 18:38:40 → geekosaur joins (82650c7a@130.101.12.122)
2021-03-15 18:40:22 × bitmagie quits (~Thunderbi@200116b806606900d512802029b5d408.dip.versatel-1u1.de) (Client Quit)
2021-03-15 18:40:35 × DTZUZU_ quits (~DTZUZO@207.81.119.43) (Ping timeout: 240 seconds)
2021-03-15 18:40:39 → bitmagie joins (~Thunderbi@200116b806606900d512802029b5d408.dip.versatel-1u1.de)
2021-03-15 18:41:57 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-03-15 18:44:00 <adamCS> Okay. I guess I can use TestEquality (?). But now I need GCompare and that seems...not sensible. Hrm.
2021-03-15 18:44:57 <WarzoneCommand> Can anyone give me some advice on writing a Storable instance for some sum-type? I don't really get what alignment is suposed to do/how to incorporate alignment in peek and poke.
2021-03-15 18:47:04 <geekosaur> alignment is because Storable is about making C-compatible structs from Haskell values, and C aligns struct members
2021-03-15 18:47:20 <WarzoneCommand> as a concrete example; I have something like 'data Node k v = Leaf v | Node {-#UNPACK #} !Int !k {-# Unpack #-} !Int. The I want a storeable instance when k and v are storeable, and I don't care about any sort of interop with C (I just want to be able to store these things in Storeable vectors).
2021-03-15 18:47:37 → ADG1089__ joins (~aditya@122.163.232.170)
2021-03-15 18:47:59 × jhrcek quits (~jhrcek@ip-89-103-183-101.net.upcbroadband.cz) (Quit: Leaving)
←Prev  Next→
Page 1 .. 3827 3828 3829 3830 3831 3832 3833 3834 3835 3836 3837 .. 5022

All times are in UTC.