Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1304 1305 1306 1307 1308 1309 1310 1311 1312 1313 1314 .. 5022
— 502,152 events total
2020-11-15 20:38:13 × gxt quits (~gxt@gateway/tor-sasl/gxt) (Remote host closed the connection)
2020-11-15 20:38:42 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-11-15 20:39:04 → gxt joins (~gxt@gateway/tor-sasl/gxt)
2020-11-15 20:39:20 <dolio> I think it's unlikely that GHC will ever not be using IEEE for Float/Double, though, even though the Haskell report says they're implementation defined.
2020-11-15 20:39:31 × remexre quits (~nathan@207-153-38-50.fttp.usinternet.com) (Read error: Connection reset by peer)
2020-11-15 20:40:13 <dolio> So Int/Word is probably the only variable.
2020-11-15 20:40:34 × elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Read error: Connection reset by peer)
2020-11-15 20:40:42 × coot quits (~coot@37.30.49.253.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-11-15 20:43:28 → remexre joins (~nathan@207-153-38-50.fttp.usinternet.com)
2020-11-15 20:43:55 → hidedagger joins (~nate@unaffiliated/hidedagger)
2020-11-15 20:43:59 <dolio> At least as far as storage goes. There are probably flags that allow code to be generated using higher precision math on some processors, but once they get stored to memory, they'd be rounded back to 32/64 bits.
2020-11-15 20:44:32 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-15 20:47:13 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-11-15 20:48:02 → o1lo01ol1o joins (~o1lo01ol1@bl11-140-216.dsl.telepac.pt)
2020-11-15 20:48:20 → conal joins (~conal@64.71.133.70)
2020-11-15 20:48:20 × conal quits (~conal@64.71.133.70) (Client Quit)
2020-11-15 20:49:00 → coot joins (~coot@37.30.49.253.nat.umts.dynamic.t-mobile.pl)
2020-11-15 20:51:21 → alp joins (~alp@2a01:e0a:58b:4920:ec99:aa8d:b2f4:59d2)
2020-11-15 20:51:28 × wroathe quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-11-15 20:52:11 × Moe_Epsilon quits (~Moe_Epsil@178.162.212.214) (Remote host closed the connection)
2020-11-15 20:52:31 × o1lo01ol1o quits (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 256 seconds)
2020-11-15 20:55:57 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-15 20:59:40 → nek0 joins (~nek0@mail.nek0.eu)
2020-11-15 21:00:01 × NikolaiToryzin quits (~NikolaiTo@178.162.212.214) ()
2020-11-15 21:00:30 → fascher joins (~fascher@165.73.223.243)
2020-11-15 21:01:12 ← fascher parts (~fascher@165.73.223.243) ()
2020-11-15 21:06:40 × invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 246 seconds)
2020-11-15 21:08:45 × nexii quits (~user@38-73-246-124.starry-inc.net) (Ping timeout: 240 seconds)
2020-11-15 21:09:01 × Franciman quits (~francesco@host-82-56-223-169.retail.telecomitalia.it) (Quit: Leaving)
2020-11-15 21:09:27 × gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Remote host closed the connection)
2020-11-15 21:10:04 → christo joins (~chris@81.96.113.213)
2020-11-15 21:11:12 → Guest30216 joins (~mengu@84.39.117.57)
2020-11-15 21:12:14 <justsomeguy> Does a list have to be traversed every time to access some arbitrary index, like with “[1..] !! 20”, or is there a compiler optimization for lookups like this?
2020-11-15 21:13:00 → electricityZZZZ joins (~electrici@108-216-157-17.lightspeed.sntcca.sbcglobal.net)
2020-11-15 21:13:48 <hpc> it's traversed every time
2020-11-15 21:13:49 <electricityZZZZ> so if speculative execution in modern CPUs is very important for performance, has anyone examined program-specific execution speculation units?
2020-11-15 21:14:10 <electricityZZZZ> i know that you can provide a clue to CPUs like "this branch is usually the one to take" but i mean something much more complex than this
2020-11-15 21:14:52 <suzu_> seems like a hard problem
2020-11-15 21:15:03 <merijn> electricityZZZZ: Yes, Intel has
2020-11-15 21:15:09 → knupfer joins (~Thunderbi@i5E86B494.versanet.de)
2020-11-15 21:15:26 <merijn> It's called the Itanium and it flopped spectacularly, because no one wanted a machine that couldn't run their old existing code :p
2020-11-15 21:15:56 <electricityZZZZ> and so what i mean is that i have a 1 megabyte model "trained on common program execution patterns", which might supplement the existing speculative execution system.
2020-11-15 21:16:07 → GuerrillaMonkey joins (~Jeanne-Ka@66.115.189.224)
2020-11-15 21:16:15 <electricityZZZZ> and that 1 megabyte model is uploaded to the cpu and is active when my program runs
2020-11-15 21:16:48 <electricityZZZZ> merijn: oh really? interesting. maybe it was just a market timing problem?
2020-11-15 21:17:46 <dolio> So there are 300MB of 'models' stored on the CPU for my 300+ processes?
2020-11-15 21:18:04 <hpc> there was never going to be a right time for it
2020-11-15 21:18:12 × mananamenos_ quits (~mananamen@84.122.202.215.dyn.user.ono.com) (Read error: Connection reset by peer)
2020-11-15 21:18:26 <electricityZZZZ> yes it makes task switching hard
2020-11-15 21:18:51 × bidabong quits (uid272474@gateway/web/irccloud.com/x-kodbqaljnwqafvit) (Quit: Connection closed for inactivity)
2020-11-15 21:19:01 <electricityZZZZ> maybe a 10 MB cache of 1 MB models,...
2020-11-15 21:19:12 × Jeanne-Kamikaze quits (~Jeanne-Ka@66.115.189.209) (Ping timeout: 260 seconds)
2020-11-15 21:19:27 <nitrix> SpaceX crew-1 mission for the interested: https://www.spacex.com/launches/
2020-11-15 21:20:09 <electricityZZZZ> diverse astronaut group :D
2020-11-15 21:21:37 × geekosaur quits (ac3a3b9a@172.58.59.154) (Quit: Ping timeout (120 seconds))
2020-11-15 21:24:15 → nados joins (~dan@69-165-210-185.cable.teksavvy.com)
2020-11-15 21:25:00 → geekosaur joins (ac3a3b18@172.58.59.24)
2020-11-15 21:26:01 × jedws quits (~jedws@101.184.175.183) (Read error: Connection reset by peer)
2020-11-15 21:37:00 × Inoperable quits (~PLAYER_1@fancydata.science) (Excess Flood)
2020-11-15 21:37:33 × gxt quits (~gxt@gateway/tor-sasl/gxt) (Remote host closed the connection)
2020-11-15 21:38:17 → gxt joins (~gxt@gateway/tor-sasl/gxt)
2020-11-15 21:43:27 × mputz quits (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Ping timeout: 265 seconds)
2020-11-15 21:46:07 → invaser joins (~Thunderbi@31.148.23.125)
2020-11-15 21:46:45 → Inoperable joins (~PLAYER_1@fancydata.science)
2020-11-15 21:46:54 × gxt quits (~gxt@gateway/tor-sasl/gxt) (Remote host closed the connection)
2020-11-15 21:47:41 → gxt joins (~gxt@gateway/tor-sasl/gxt)
2020-11-15 21:48:31 × Feuermagier quits (~Feuermagi@213.178.26.41) (Remote host closed the connection)
2020-11-15 21:51:48 × sQVe quits (~sQVe@unaffiliated/sqve) (Quit: Bye!)
2020-11-15 21:52:03 × geekosaur quits (ac3a3b18@172.58.59.24) (Remote host closed the connection)
2020-11-15 21:52:34 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-15 21:52:43 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-11-15 21:54:33 → pleia21 joins (~pleia2@92.223.89.101)
2020-11-15 21:57:34 × justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) ()
2020-11-15 21:57:42 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-11-15 21:58:33 → christo joins (~chris@81.96.113.213)
2020-11-15 21:58:38 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-15 21:59:31 → rprije joins (~rprije@124.148.131.132)
2020-11-15 21:59:42 <koz_> For attoparsec's 'takeTill', when its predicate returns True, is the thing that caused the predicate to return True also consumed?
2020-11-15 22:00:24 → Rudd0 joins (~Rudd0@185.189.115.103)
2020-11-15 22:00:45 × britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-11-15 22:03:39 <koz_> Seemingly the answer is 'no'.
2020-11-15 22:03:44 → christo joins (~chris@81.96.113.213)
2020-11-15 22:05:03 → britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-11-15 22:05:04 × invaser quits (~Thunderbi@31.148.23.125) (Quit: invaser)
2020-11-15 22:05:19 → invaser joins (~Thunderbi@31.148.23.125)
2020-11-15 22:07:37 × knupfer quits (~Thunderbi@i5E86B494.versanet.de) (Ping timeout: 260 seconds)
2020-11-15 22:07:57 → conal joins (~conal@64.71.133.70)
2020-11-15 22:10:51 × chaosmasttter quits (~chaosmast@p200300c4a73c5201c1de5602741d98a2.dip0.t-ipconnect.de) (Quit: WeeChat 2.9)
2020-11-15 22:12:54 × __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving)
2020-11-15 22:16:00 × quinn quits (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Quit: ZNC 1.8.1 - https://znc.in)
2020-11-15 22:16:09 <moet> dolio: thanks for the note about Float/Double
2020-11-15 22:16:33 <servo> HELLO
2020-11-15 22:16:44 × invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 256 seconds)
2020-11-15 22:18:57 → boom joins (56ca6780@lfbn-lyo-1-7-128.w86-202.abo.wanadoo.fr)
2020-11-15 22:19:35 → mirrorbird joins (~psutcliff@176.227.57.79)
2020-11-15 22:20:45 <boom> Hi, I am studying lambda calculus, and I heard haskell is based on it so, here is my question what does this expression mean λx.λy.x z y ? I have trouble understading
2020-11-15 22:21:30 → quinn joins (~quinn@c-73-223-224-163.hsd1.ca.comcast.net)
2020-11-15 22:21:56 <moet> boom: it seems like it's missing one set of parentheses, but i could be wrong
2020-11-15 22:22:53 <moet> but it's a function that takes a parameter called x and returns a function that takes a parameter called y and then does an expression 'x z y' but that expression seems to be missing parentheses which would make its meaning clear
2020-11-15 22:23:50 <moet> s/does an expression/returns the value of the expression/
←Prev  Next→
Page 1 .. 1304 1305 1306 1307 1308 1309 1310 1311 1312 1313 1314 .. 5022

All times are in UTC.