Logs: liberachat/#haskell
| 2021-08-09 02:28:26 | → | codedmart joins (codedmart@2600:3c01::f03c:92ff:fefe:8511) |
| 2021-08-09 02:29:04 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 2021-08-09 02:29:04 | FinnElija | is now known as Guest536 |
| 2021-08-09 02:29:04 | finn_elija | is now known as FinnElija |
| 2021-08-09 02:31:30 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-08-09 02:31:54 | × | Guest536 quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds) |
| 2021-08-09 02:32:32 | → | zebrag joins (~chris@user/zebrag) |
| 2021-08-09 02:36:06 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-08-09 02:37:23 | × | jmhimara quits (~jmhimara@170.39.139.5) (Quit: Connection closed) |
| 2021-08-09 02:38:36 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 272 seconds) |
| 2021-08-09 02:54:20 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-08-09 02:55:16 | → | MQ-17J joins (~MQ-17J@8.6.144.235) |
| 2021-08-09 02:59:11 | <lechner> | sm: btw. i have some issues building on a constrained system with 1 G of RAM. Should GHC really need 600 MB to build? |
| 2021-08-09 03:00:00 | × | Taneb quits (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) (Quit: I seem to have stopped.) |
| 2021-08-09 03:01:07 | → | Taneb joins (~Taneb@runciman.hacksoc.org) |
| 2021-08-09 03:01:09 | × | tcard quits (~tcard@p2307053-ipngn17101hodogaya.kanagawa.ocn.ne.jp) (Quit: Leaving) |
| 2021-08-09 03:04:43 | → | tcard joins (~tcard@p2307053-ipngn17101hodogaya.kanagawa.ocn.ne.jp) |
| 2021-08-09 03:07:13 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.2) |
| 2021-08-09 03:09:28 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 250 seconds) |
| 2021-08-09 03:15:30 | × | ham quits (~ham4@user/ham) (Ping timeout: 240 seconds) |
| 2021-08-09 03:16:23 | → | ham2 joins (~ham4@d8d8627d5.access.telenet.be) |
| 2021-08-09 03:17:06 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-08-09 03:18:25 | × | _xor quits (~xor@74.215.232.67) (Quit: brb) |
| 2021-08-09 03:23:48 | → | Morrow joins (~Morrow@bzq-110-168-31-106.red.bezeqint.net) |
| 2021-08-09 03:26:58 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-09 03:28:13 | <dsal> | It can take a lot. My phone has 8GB of RAM. :) |
| 2021-08-09 03:29:05 | <c_wraith> | It used to be the case that most build failures due to lack of memory were from the linker rather than ghc. But 1GB might make even compiling fail in some packages that overuse inlining |
| 2021-08-09 03:29:06 | <Axman6> | it's an advanced compiler compiling an advanced compiler, it's going to need quite a lot of resources to do that. 1GB hasn't been enough for that sort of task for years |
| 2021-08-09 03:32:00 | <davean> | lechner: uh, we usually consider 8GiB a minimum, but uh, you CAN do it with a lot less . . . you'll need j1, I think turning optimizations off will help ... uh, yah, it'll be a trip |
| 2021-08-09 03:33:29 | → | vysn joins (~vysn@user/vysn) |
| 2021-08-09 03:36:38 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-09 03:37:56 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-08-09 03:38:08 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-09 03:42:34 | × | pe200012_ quits (~pe200012@113.105.10.33) (Ping timeout: 272 seconds) |
| 2021-08-09 03:44:36 | × | alx741 quits (~alx741@181.196.68.21) (Quit: alx741) |
| 2021-08-09 03:48:58 | <lechner> | Axman6: I'm just building emanote, not GHC. Sorry if that was unclear https://github.com/srid/emanote |
| 2021-08-09 03:52:07 | <lechner> | dsal: i should have guessed that people here run GHC on their phones! |
| 2021-08-09 04:00:57 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-08-09 04:02:00 | → | euouae joins (~euouae@user/euouae) |
| 2021-08-09 04:07:04 | <Axman6> | I'd love to have GHCi on my iPhone |
| 2021-08-09 04:07:06 | × | robertm quits (robertm@rojoma.com) (Ping timeout: 268 seconds) |
| 2021-08-09 04:07:25 | → | robertm joins (robertm@rojoma.com) |
| 2021-08-09 04:08:19 | <euouae> | Axman6: *crickets* |
| 2021-08-09 04:08:30 | <euouae> | The apple crickets |
| 2021-08-09 04:08:33 | <Axman6> | GHCiOS |
| 2021-08-09 04:11:28 | × | zebrag quits (~chris@user/zebrag) (Remote host closed the connection) |
| 2021-08-09 04:17:53 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-08-09 04:18:48 | × | azeem quits (~azeem@dynamic-adsl-78-13-247-121.clienti.tiscali.it) (Ping timeout: 250 seconds) |
| 2021-08-09 04:24:09 | <dsal> | Back when I ran PalmOS, I had a really great scheme system on my PDA/phone. I've not had any good mobile programming environment since. |
| 2021-08-09 04:28:47 | × | slowButPresent quits (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 2021-08-09 04:31:58 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-08-09 04:33:05 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-08-09 04:36:52 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-09 04:37:22 | × | euouae quits (~euouae@user/euouae) (Quit: Client closed) |
| 2021-08-09 04:40:41 | × | MQ-17J quits (~MQ-17J@8.6.144.235) (Ping timeout: 258 seconds) |
| 2021-08-09 04:42:13 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-08-09 04:43:45 | → | bash69 joins (~bash69@202.14.120.238) |
| 2021-08-09 04:45:51 | × | markpythonicbitc quits (~markpytho@2601:647:5a00:35:2926:cf7f:9d4d:10a0) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-08-09 04:45:57 | × | bash69 quits (~bash69@202.14.120.238) (Client Quit) |
| 2021-08-09 04:48:09 | × | cjb quits (~cjb@user/cjb) (Ping timeout: 260 seconds) |
| 2021-08-09 04:48:24 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-09 04:48:49 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2021-08-09 04:49:08 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-08-09 04:52:20 | × | zmt00 quits (~zmt00@user/zmt00) (Quit: Gone.) |
| 2021-08-09 04:52:42 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 2021-08-09 04:54:34 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-09 04:57:00 | → | zmt00 joins (~zmt00@user/zmt00) |
| 2021-08-09 04:58:49 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (*.net *.split) |
| 2021-08-09 04:58:49 | × | Erutuon quits (~Erutuon@user/erutuon) (*.net *.split) |
| 2021-08-09 04:58:49 | × | codedmart quits (codedmart@2600:3c01::f03c:92ff:fefe:8511) (*.net *.split) |
| 2021-08-09 04:58:49 | × | td_ quits (~td@94.134.91.53) (*.net *.split) |
| 2021-08-09 04:58:49 | × | cheater quits (~Username@user/cheater) (*.net *.split) |
| 2021-08-09 04:58:49 | × | tritlo quits (sid58727@user/tritlo) (*.net *.split) |
| 2021-08-09 04:58:49 | × | rubin55_ quits (sid175221@stonehaven.irccloud.com) (*.net *.split) |
| 2021-08-09 04:58:49 | × | ehamberg quits (sid18208@stonehaven.irccloud.com) (*.net *.split) |
| 2021-08-09 04:58:49 | × | mustafa quits (sid502723@rockylinux/releng/mustafa) (*.net *.split) |
| 2021-08-09 04:58:49 | × | Firedancer quits (sid336191@stonehaven.irccloud.com) (*.net *.split) |
| 2021-08-09 04:58:49 | × | peterhil quits (~peterhil@dsl-hkibng32-54fb52-57.dhcp.inet.fi) (*.net *.split) |
| 2021-08-09 04:58:49 | × | jneira_ quits (~jneira_@28.red-80-28-169.staticip.rima-tde.net) (*.net *.split) |
| 2021-08-09 04:58:49 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (*.net *.split) |
| 2021-08-09 04:58:49 | × | Maxdamantus quits (~Maxdamant@user/maxdamantus) (*.net *.split) |
| 2021-08-09 04:58:50 | × | mcfrdy quits (~mcfrdy@user/mcfrdy) (*.net *.split) |
| 2021-08-09 04:58:50 | × | natechan quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (*.net *.split) |
| 2021-08-09 04:58:50 | × | AlexNoo quits (~AlexNoo@178.34.160.135) (*.net *.split) |
| 2021-08-09 04:58:50 | × | sa quits (sid1055@tinside.irccloud.com) (*.net *.split) |
| 2021-08-09 04:58:50 | × | matijja quits (~matijja@193.77.181.201) (*.net *.split) |
| 2021-08-09 04:58:50 | × | Cale quits (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) (*.net *.split) |
| 2021-08-09 04:58:50 | × | jlamothe quits (~jlamothe@104.158.48.100) (*.net *.split) |
| 2021-08-09 04:58:50 | × | Jonno_FTW quits (~come@user/jonno-ftw/x-0835346) (*.net *.split) |
| 2021-08-09 04:58:50 | × | wrengr_away quits (~wrengr@56.4.82.34.bc.googleusercontent.com) (*.net *.split) |
| 2021-08-09 04:58:50 | × | infinity0 quits (~infinity0@occupy.ecodis.net) (*.net *.split) |
| 2021-08-09 04:58:51 | × | soft quits (~soft-matr@2001:470:69fc:105::c75) (*.net *.split) |
| 2021-08-09 04:58:51 | × | thomasjm[m] quits (~thomasjmm@2001:470:69fc:105::c6d9) (*.net *.split) |
| 2021-08-09 04:58:51 | × | marinelli[m] quits (~marinelli@2001:470:69fc:105::2d8) (*.net *.split) |
| 2021-08-09 04:58:51 | × | fabfianda[m] quits (~fabfianda@2001:470:69fc:105::6db) (*.net *.split) |
| 2021-08-09 04:58:51 | × | ServerStatsDisco quits (~serversta@2001:470:69fc:105::1a) (*.net *.split) |
| 2021-08-09 04:58:51 | × | siraben quits (~siraben@user/siraben) (*.net *.split) |
| 2021-08-09 04:58:51 | × | MatrixTravelerbo quits (~voyagert2@2001:470:69fc:105::22) (*.net *.split) |
| 2021-08-09 04:58:51 | × | nf quits (~n@monade.li) (*.net *.split) |
| 2021-08-09 04:58:51 | × | Raito_Bezarius quits (~Raito@wireguard/tunneler/raito-bezarius) (*.net *.split) |
All times are in UTC.