Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1252 1253 1254 1255 1256 1257 1258 1259 1260 1261 1262 .. 5022
— 502,152 events total
2020-11-12 22:31:21 × shadowdao quits (~user@unaffiliated/shadowdaemon) (Read error: Connection reset by peer)
2020-11-12 22:31:22 × xff0x quits (~fox@2001:1a81:53be:a900:e888:cf37:a0ae:58b2) (Ping timeout: 260 seconds)
2020-11-12 22:31:23 × jelleke quits (~jelle@2a01:7c8:aac1:50d:5054:ff:fe3b:9b7d) (Ping timeout: 260 seconds)
2020-11-12 22:31:23 × pong quits (chiya@2406:3003:2077:2341::babe) (Ping timeout: 260 seconds)
2020-11-12 22:31:23 × komasa quits (~komasa@2a03:b0c0:3:d0::2097:6001) (Ping timeout: 260 seconds)
2020-11-12 22:31:39 → jelleke joins (~jelle@2a01:7c8:aac1:50d:5054:ff:fe3b:9b7d)
2020-11-12 22:31:48 × recon_- quits (~quassel@2602:febc:0:b6::6ca2) (Read error: Connection reset by peer)
2020-11-12 22:31:57 → recon_- joins (~quassel@2602:febc:0:b6::6ca2)
2020-11-12 22:32:04 → pong joins (chiya@2406:3003:2077:2341::babe)
2020-11-12 22:32:49 → xff0x joins (~fox@2001:1a81:53be:a900:e888:cf37:a0ae:58b2)
2020-11-12 22:32:51 → nckx joins (~nckx@tobias.gr)
2020-11-12 22:33:00 hackage minizinc-process 0.1.4.1 - A set of helpers to call minizinc models. https://hackage.haskell.org/package/minizinc-process-0.1.4.1 (LucasDiCioccio)
2020-11-12 22:33:06 × ct2034 quits (uid362550@gateway/web/irccloud.com/x-dodtlcpekbqwcyru) (Quit: Connection closed for inactivity)
2020-11-12 22:33:22 → komasa joins (~komasa@2a03:b0c0:3:d0::2097:6001)
2020-11-12 22:34:27 fendor_ is now known as fendor
2020-11-12 22:34:36 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 256 seconds)
2020-11-12 22:36:06 → sh9 joins (~sh9@softbank060116136158.bbtec.net)
2020-11-12 22:36:48 → Deide joins (~Deide@217.155.19.23)
2020-11-12 22:37:27 → mojtaba__ joins (~bquest_12@5.200.109.144)
2020-11-12 22:39:46 × bquest_123_ quits (~bquest_12@5.112.15.240) (Ping timeout: 256 seconds)
2020-11-12 22:40:58 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-12 22:41:38 × Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-11-12 22:42:53 <fendor> is there some global setting I can use to limit the memory usage of ghci?
2020-11-12 22:43:15 <fendor> so that every invocation of ghci has a memory limit
2020-11-12 22:45:17 → fryguybob joins (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com)
2020-11-12 22:46:00 <Axman6> Yes, but it's quite complex, you need to write programs that use less memory :P
2020-11-12 22:46:09 × stackdimes quits (~stackdime@70.39.102.174) (Ping timeout: 256 seconds)
2020-11-12 22:46:19 × pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Quit: Textual IRC Client: www.textualapp.com)
2020-11-12 22:47:09 × alp quits (~alp@2a01:e0a:58b:4920:df5:b7f7:a6a:ece) (Ping timeout: 272 seconds)
2020-11-12 22:47:25 → pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net)
2020-11-12 22:47:39 × machinedgod quits (~machinedg@207.253.244.210) (Ping timeout: 260 seconds)
2020-11-12 22:48:16 → machinedgod joins (~machinedg@207.253.244.210)
2020-11-12 22:49:23 → Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-11-12 22:49:32 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-12 22:52:20 × zebrag quits (~inkbottle@aaubervilliers-654-1-106-56.w86-212.abo.wanadoo.fr) (Ping timeout: 272 seconds)
2020-11-12 22:53:02 → zebrag joins (~inkbottle@aaubervilliers-654-1-113-241.w86-198.abo.wanadoo.fr)
2020-11-12 22:56:06 → perrier-jouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2020-11-12 22:56:09 → invaser joins (~Thunderbi@31.148.23.125)
2020-11-12 22:56:38 → christo joins (~chris@81.96.113.213)
2020-11-12 22:59:13 → alp joins (~alp@2a01:e0a:58b:4920:a000:aac2:57e0:fe16)
2020-11-12 22:59:37 <fendor> Axman6, tell that to the students that write endless recursive functions :P
2020-11-12 23:00:58 × alp quits (~alp@2a01:e0a:58b:4920:a000:aac2:57e0:fe16) (Remote host closed the connection)
2020-11-12 23:01:16 → alp joins (~alp@2a01:e0a:58b:4920:3450:37c2:436b:8f86)
2020-11-12 23:01:36 <Axman6> Hmm, at ANU we used to have a system which would play student's final assignments off against each other (I can't remember the game now), and I believe we had limits on execution time and memory usage
2020-11-12 23:03:08 <Axman6> jackdk: do you know anything about the thing I'm talking about? Or was it after/before your time?
2020-11-12 23:04:18 <fendor> the issue is, students can use the server for developing their solutions...
2020-11-12 23:04:30 <fendor> so I think I want to limit the memory of every ghci invocation on that server
2020-11-12 23:04:51 <fendor> I guess the limits of the user system should do that automagically?
2020-11-12 23:05:04 <fendor> iirc, you can configure the memory limit on a per user basis?
2020-11-12 23:05:27 <Axman6> I believe so, but I have no idea how
2020-11-12 23:05:38 <jackdk> Axman6: the versions I was working on were less sophisticated. The runner used System.timeout, the NFData class, and an IORef to enforce time limits on the program runtime
2020-11-12 23:05:52 <fendor> well, time to ask the sys admin. not my job after all
2020-11-12 23:06:00 <jackdk> sure this isn't an OS-level problem? I remember everyone crashing the student server the night before a concurrent systems assignment was due
2020-11-12 23:06:10 <jackdk> then they put in process limits
2020-11-12 23:06:19 <jackdk> fendor: yeah, I think that's a good idea
2020-11-12 23:07:05 <jackdk> https://github.com/ndmitchell/spaceleak might have some haskell-side ideas for fiddling with this
2020-11-12 23:07:19 <fendor> yeah, I agree, it should be solved on the os level. I just though, maybe there are some low haning fruit. But additionally, I just saw some students somehow installed hls on the server and use it for a remote vscode session.
2020-11-12 23:07:47 <fendor> I am not worrying about space leaks in particular, students write bad code, that is to be expected, but the server should not give them all the memory
2020-11-12 23:09:02 <jackdk> Yes, but space leaks -> eating memory, and the technique for catching them sooner is to bound the stack size that the rts is allowed to use. Perhaps that part is applicable to how students invoke GHCi
2020-11-12 23:09:03 × livvy quits (~livvy@gateway/tor-sasl/livvy) (Ping timeout: 240 seconds)
2020-11-12 23:09:54 <fendor> maybe. Let's see whether we can limit the overall memory
2020-11-12 23:12:23 × jb55 quits (~jb55@gateway/tor-sasl/jb55) (Ping timeout: 240 seconds)
2020-11-12 23:13:28 → livvy joins (~livvy@gateway/tor-sasl/livvy)
2020-11-12 23:15:11 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-11-12 23:15:58 → hugh joins (~hugh@79-66-200-43.dynamic.dsl.as9105.com)
2020-11-12 23:16:14 hugh is now known as aldessa
2020-11-12 23:16:46 <aldessa> hey, where can i get recursion puzzles? i thought it would be nice to have some puzzles for recursion schemes
2020-11-12 23:17:20 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
2020-11-12 23:17:27 × son0p quits (~son0p@181.136.122.143) (Quit: Lost terminal)
2020-11-12 23:22:06 → jokester_ joins (~mono@unaffiliated/jokester)
2020-11-12 23:22:24 × neiluj quits (~jco@unaffiliated/neiluj) (Quit: leaving)
2020-11-12 23:23:47 → HiRE_ joins (~HiRE@2602:ffc5:20::1:512e)
2020-11-12 23:23:53 × jokester quits (~mono@unaffiliated/jokester) (Ping timeout: 260 seconds)
2020-11-12 23:24:27 × borne quits (~fritjof@200116b86423eb004fbf5cd6c83663b1.dip.versatel-1u1.de) (Ping timeout: 260 seconds)
2020-11-12 23:24:27 × DeadComaGrayce[m quits (commagra1@gateway/shell/matrix.org/x-mqetgfqfsaaixhog) (Ping timeout: 260 seconds)
2020-11-12 23:24:27 × psydruid quits (psydruidma@gateway/shell/matrix.org/x-wvuhyqhqelgtcrbj) (Ping timeout: 260 seconds)
2020-11-12 23:24:28 × aizen_s quits (sid462968@gateway/web/irccloud.com/x-stnqhzxwtvurinhz) (Ping timeout: 260 seconds)
2020-11-12 23:24:28 × HiRE quits (~HiRE@2602:ffc5:20::1:512e) (Ping timeout: 260 seconds)
2020-11-12 23:24:28 × grol quits (~quassel@2620:11e:1000:2:250:56ff:fea4:7) (Ping timeout: 260 seconds)
2020-11-12 23:24:48 → borne joins (~fritjof@200116b86423eb004fbf5cd6c83663b1.dip.versatel-1u1.de)
2020-11-12 23:24:55 → DeadComaGrayce[m joins (commagra1@gateway/shell/matrix.org/x-ybppbwirrexxdalc)
2020-11-12 23:25:44 → grol joins (~quassel@2620:11e:1000:2:250:56ff:fea4:7)
2020-11-12 23:26:30 → jb55 joins (~jb55@gateway/tor-sasl/jb55)
2020-11-12 23:26:57 → psydruid joins (psydruidma@gateway/shell/matrix.org/x-dxoeoaxpehfltoxm)
2020-11-12 23:27:42 → aizen_s joins (sid462968@gateway/web/irccloud.com/x-rpdggkhwylxxzxar)
2020-11-12 23:28:34 × elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Quit: Leaving)
2020-11-12 23:30:24 × Rudd0 quits (~Rudd0@185.189.115.103) (Read error: Connection reset by peer)
2020-11-12 23:30:49 × vicfred quits (~vicfred@unaffiliated/vicfred) (Ping timeout: 264 seconds)
2020-11-12 23:32:17 × borne quits (~fritjof@200116b86423eb004fbf5cd6c83663b1.dip.versatel-1u1.de) (Ping timeout: 260 seconds)
2020-11-12 23:34:52 → DataComputist joins (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net)
2020-11-12 23:37:12 × aldessa quits (~hugh@79-66-200-43.dynamic.dsl.as9105.com) (Read error: Connection reset by peer)
2020-11-12 23:37:41 → borne joins (~fritjof@200116b86423eb004fbf5cd6c83663b1.dip.versatel-1u1.de)
2020-11-12 23:37:54 × Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Read error: Connection reset by peer)
2020-11-12 23:38:36 → Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas)
2020-11-12 23:40:36 × Ariakenom quits (~Ariakenom@h-82-196-111-82.NA.cust.bahnhof.se) (Quit: Leaving)
2020-11-12 23:40:48 → jedws joins (~jedws@101.184.175.183)
2020-11-12 23:43:07 × zebrag quits (~inkbottle@aaubervilliers-654-1-113-241.w86-198.abo.wanadoo.fr) (Ping timeout: 260 seconds)
2020-11-12 23:43:31 × alp quits (~alp@2a01:e0a:58b:4920:3450:37c2:436b:8f86) (Ping timeout: 272 seconds)
2020-11-12 23:45:47 × nbloomf quits (~nbloomf@76.217.43.73) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-12 23:48:28 × jedws quits (~jedws@101.184.175.183) (Quit: My MacBook has gone to sleep. ZZZzzz…)
←Prev  Next→
Page 1 .. 1252 1253 1254 1255 1256 1257 1258 1259 1260 1261 1262 .. 5022

All times are in UTC.