Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1175 1176 1177 1178 1179 1180 1181 1182 1183 1184 1185 .. 5022
— 502,152 events total
2020-11-10 23:32:23 → jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl)
2020-11-10 23:32:46 × renzhi quits (~renzhi@2607:fa49:655f:e600::28da) (Ping timeout: 244 seconds)
2020-11-10 23:34:15 <angerman> First of all BigSur on arm64 comes with Rosetta, our x86_64 compiler still work.
2020-11-10 23:34:31 <arahael> angerman: Yeah, including using it for development?
2020-11-10 23:34:31 hackage data-validation 0.1.2.0 - A library for creating type safe validations. https://hackage.haskell.org/package/data-validation-0.1.2.0 (sambolias)
2020-11-10 23:34:36 → shailangsa joins (~shailangs@host86-186-136-90.range86-186.btcentralplus.com)
2020-11-10 23:35:00 × lucente quits (~lucente@141.98.255.154) (Quit: Leaving)
2020-11-10 23:35:15 <angerman> arahael: well I can use it to build a x86_64 -> arm64 cross compiler. And then a native one.
2020-11-10 23:35:30 <arahael> Ah, very very nice.
2020-11-10 23:35:38 <angerman> arahael: so I’d say yes. It’s not ideal, but I’m pretty certain it’s workable.
2020-11-10 23:36:02 <angerman> Over time we’ll have native arm64 compilers for arm64
2020-11-10 23:36:40 <angerman> arahael: here’s a native 9.1 build: https://dl.dropbox.com/s/jskw2pjpkhquj4g/ghc-9.1.0.20201110-aarch64-apple-darwin.tar.xz
2020-11-10 23:36:48 <arahael> Awesome, I'm going to get the system then, though not sure when - could still be early next year.
2020-11-10 23:38:13 <angerman> I’ll try to get an M1 Mini as soon as I can, but we’ll it’s currently unavailable here ;-)
2020-11-10 23:38:39 × neiluj quits (~jco@167.198.204.77.rev.sfr.net) (Remote host closed the connection)
2020-11-10 23:39:00 → neiluj joins (~jco@167.198.204.77.rev.sfr.net)
2020-11-10 23:39:02 <arahael> Mine will be an MBP, most likely. Already have a fallback linux headless desktop I don't intend on replacing.
2020-11-10 23:39:27 × neiluj quits (~jco@167.198.204.77.rev.sfr.net) (Changing host)
2020-11-10 23:39:27 → neiluj joins (~jco@unaffiliated/neiluj)
2020-11-10 23:39:49 <arahael> But for serious building stuff, yeah, the mini sounds absolutely appropriate.
2020-11-10 23:39:50 → Jesin joins (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net)
2020-11-10 23:42:25 <arahael> angerman: Big Sur also works well as well, as far as the haskell ecosystem is concerned?
2020-11-10 23:42:50 × gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
2020-11-10 23:43:05 <arahael> (Ie, ignoring brew, and all that, which I understand are still adapting)
2020-11-10 23:45:20 → jedws joins (~jedws@101.184.150.81)
2020-11-10 23:46:44 <angerman> A lot of infrastructure is still missing. And eventually you’ll have to deal with x86_64 it arm64 only slices :-/
2020-11-10 23:46:58 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2020-11-10 23:47:03 × neiluj quits (~jco@unaffiliated/neiluj) (Remote host closed the connection)
2020-11-10 23:47:25 <arahael> Could you elaborate?
2020-11-10 23:49:45 → Tario joins (~Tario@201.192.165.173)
2020-11-10 23:51:49 → phaul joins (~phaul@ruby/staff/phaul)
2020-11-10 23:52:23 → Stanley00 joins (~stanley00@unaffiliated/stanley00)
2020-11-10 23:53:01 × elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Quit: Leaving)
2020-11-10 23:57:28 × Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 260 seconds)
2020-11-11 00:00:52 → argent0 joins (~argent0@168.227.98.80)
2020-11-11 00:06:15 × shutdown_-h_now quits (~arjan@2001:1c06:2d0b:2312:f95b:bc04:4b:611e) (Ping timeout: 268 seconds)
2020-11-11 00:13:03 × phaul quits (~phaul@ruby/staff/phaul) (Ping timeout: 258 seconds)
2020-11-11 00:16:14 → justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311)
2020-11-11 00:17:29 × DavidEichmann quits (~david@43.240.198.146.dyn.plus.net) (Read error: Connection reset by peer)
2020-11-11 00:17:50 → DavidEichmann joins (~david@43.240.198.146.dyn.plus.net)
2020-11-11 00:20:46 × justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Client Quit)
2020-11-11 00:21:21 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:68e3:2348:6146:33b5)
2020-11-11 00:22:20 → nados joins (~dan@69-165-210-185.cable.teksavvy.com)
2020-11-11 00:23:06 × Chi1thangoo quits (~Chi1thang@87.112.60.168) (Ping timeout: 256 seconds)
2020-11-11 00:23:09 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-11 00:23:13 × xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 265 seconds)
2020-11-11 00:23:18 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:68e3:2348:6146:33b5) (Client Quit)
2020-11-11 00:24:05 × Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2020-11-11 00:24:47 × LKoen quits (~LKoen@77.174.9.109.rev.sfr.net) (Remote host closed the connection)
2020-11-11 00:24:51 → goldfire joins (~anonymous@c-76-124-205-20.hsd1.pa.comcast.net)
2020-11-11 00:24:52 × goldfire quits (~anonymous@c-76-124-205-20.hsd1.pa.comcast.net) (Client Quit)
2020-11-11 00:25:05 → LKoen joins (~LKoen@77.174.9.109.rev.sfr.net)
2020-11-11 00:26:16 → hekkaidekapus_ joins (~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-11-11 00:28:23 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds)
2020-11-11 00:28:23 × hekkaidekapus quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds)
2020-11-11 00:28:55 × LKoen quits (~LKoen@77.174.9.109.rev.sfr.net) (Remote host closed the connection)
2020-11-11 00:30:03 × DavidEichmann quits (~david@43.240.198.146.dyn.plus.net) (Ping timeout: 256 seconds)
2020-11-11 00:33:38 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 260 seconds)
2020-11-11 00:34:05 → christo joins (~chris@81.96.113.213)
2020-11-11 00:36:00 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-11 00:39:02 → thir joins (~thir@p200300f27f0b7e00894576386620b0d0.dip0.t-ipconnect.de)
2020-11-11 00:43:33 × thir quits (~thir@p200300f27f0b7e00894576386620b0d0.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2020-11-11 00:46:34 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds)
2020-11-11 00:47:32 → da39a3ee5e6b4b0d joins (~da39a3ee5@cm-171-98-69-111.revip7.asianet.co.th)
2020-11-11 00:47:52 <angerman> Well we’ve had fat binaries before. But ghc (and some other compilers) are not naitive multitarget compilers. As such they can’t produce fat binaries by default. As such you’ll end up with only x86_64 or arm64 libraries. Which will become annoying when linking.
2020-11-11 00:48:20 <angerman> Unless of course you are very careful to always have the right architecture slices.
2020-11-11 00:51:33 <jchia1> Among things like (but not limited to) polysemy, freer, freer-simple, fused-effects, which ones are better in terms of ease-of-use and expressiveness? (I don't really care about performance.)
2020-11-11 00:55:53 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-11 00:55:56 → jamm_ joins (~jamm@unaffiliated/jamm)
2020-11-11 00:55:58 × Gurkenglas_ quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 256 seconds)
2020-11-11 00:56:19 × ransom quits (~c4264035@c-67-176-3-106.hsd1.co.comcast.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-11 00:56:33 <jchia1> I just see that among free, freer-effects, fused-effects & polysemy, free has the most dependent packages on hackage.
2020-11-11 00:56:45 <jchia1> way more than the others
2020-11-11 00:57:49 × nados quits (~dan@69-165-210-185.cable.teksavvy.com) (Ping timeout: 256 seconds)
2020-11-11 01:04:57 × argent0 quits (~argent0@168.227.98.80) (Quit: leaving)
2020-11-11 01:06:04 → xerox_ joins (~xerox@unaffiliated/xerox)
2020-11-11 01:06:17 × wwwww quits (~wwwww@unaffiliated/wwwww) (Ping timeout: 260 seconds)
2020-11-11 01:07:01 × elliott_ quits (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2020-11-11 01:07:14 × leungbk quits (~user@2605:e000:1315:706:c5ee:55b1:3703:cac) (Ping timeout: 264 seconds)
2020-11-11 01:09:53 → christo joins (~chris@81.96.113.213)
2020-11-11 01:10:46 × carlomagno quits (~cararell@148.87.23.8) (Quit: Leaving.)
2020-11-11 01:10:51 × wroathe quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2020-11-11 01:11:17 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-11-11 01:12:19 × Entertainment quits (~entertain@104.246.132.210) (Quit: Leaving.)
2020-11-11 01:12:31 <arahael> Ah, I see, thanks angerman - it sounds like for x86_64, it'll be relatiely smooth, and if I play with the ARM-native builds, there's still some interim pains to overcome but it sounds pretty surmountable and there's progress.
2020-11-11 01:12:52 → wei2912 joins (~wei2912@unaffiliated/wei2912)
2020-11-11 01:14:23 × christo quits (~chris@81.96.113.213) (Ping timeout: 258 seconds)
2020-11-11 01:15:04 → leungbk joins (~user@cpe-104-33-52-83.socal.res.rr.com)
2020-11-11 01:19:24 → wwwww joins (~wwwww@unaffiliated/wwwww)
2020-11-11 01:20:00 × sakirious quits (~sakirious@c-71-197-191-137.hsd1.wa.comcast.net) (Quit: The Lounge - https://thelounge.chat)
2020-11-11 01:21:14 → sakirious joins (~sakirious@c-71-197-191-137.hsd1.wa.comcast.net)
2020-11-11 01:28:25 × Lord_of_Life_ quits (~Lord@46.217.218.3) (Ping timeout: 240 seconds)
2020-11-11 01:28:42 → Lord_of_Life joins (~Lord@46.217.221.56)
2020-11-11 01:29:45 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-11-11 01:33:49 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 264 seconds)
2020-11-11 01:36:41 × wei2912 quits (~wei2912@unaffiliated/wei2912) (Remote host closed the connection)
2020-11-11 01:37:41 × dbmikus__ quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 260 seconds)
2020-11-11 01:40:57 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:68e3:2348:6146:33b5)
2020-11-11 01:43:44 → ransom joins (~c4264035@c-73-243-2-10.hsd1.co.comcast.net)
2020-11-11 01:47:37 × m0rphism quits (~m0rphism@HSI-KBW-095-208-098-207.hsi5.kabel-badenwuerttemberg.de) (Ping timeout: 264 seconds)
←Prev  Next→
Page 1 .. 1175 1176 1177 1178 1179 1180 1181 1182 1183 1184 1185 .. 5022

All times are in UTC.