Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 3870 3871 3872 3873 3874 3875 3876 3877 3878 3879 3880 .. 5022
— 502,152 events total
2021-03-17 12:13:52 × lokesh quits (uid491047@gateway/web/irccloud.com/x-yzvfvxjjzebcifrk) (Quit: Connection closed for inactivity)
2021-03-17 12:16:16 → rond_ joins (594020c5@89-64-32-197.dynamic.chello.pl)
2021-03-17 12:19:28 → Stanley00 joins (~stanley00@unaffiliated/stanley00)
2021-03-17 12:19:29 × emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 12:19:49 → emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 12:20:46 → shad0w_ joins (a0ca251b@160.202.37.27)
2021-03-17 12:22:33 × mrchampion quits (~mrchampio@38.18.109.23) (Ping timeout: 245 seconds)
2021-03-17 12:23:08 → dunj3 joins (~dunj3@2001:16b8:3085:a900:c9d7:3fe2:e55d:427a)
2021-03-17 12:24:17 → manjaroi3 joins (~manjaro-i@183.217.98.211)
2021-03-17 12:25:18 × jonathanx quits (~jonathan@h-176-109.A357.priv.bahnhof.se) (Remote host closed the connection)
2021-03-17 12:25:42 → jonathanx joins (~jonathan@h-176-109.A357.priv.bahnhof.se)
2021-03-17 12:27:44 × geowiesnot_bis quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 256 seconds)
2021-03-17 12:29:57 × danso quits (~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009) (Ping timeout: 272 seconds)
2021-03-17 12:30:02 × shad0w_ quits (a0ca251b@160.202.37.27) (Ping timeout: 240 seconds)
2021-03-17 12:30:03 × emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 12:30:24 → emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 12:34:10 → Alleria__ joins (~textual@mskresolve-a.mskcc.org)
2021-03-17 12:34:37 → danso joins (~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009)
2021-03-17 12:37:23 hackage fxpak 0.0.1 - Interface to the FXPak/FXPak Pro USB interface https://hackage.haskell.org/package/fxpak-0.0.1 (wuest)
2021-03-17 12:37:38 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-03-17 12:38:02 × geekosaur quits (82650c7a@130.101.12.122) (Ping timeout: 240 seconds)
2021-03-17 12:38:05 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-17 12:39:06 × plutoniix quits (~q@184.82.210.215) (Quit: Leaving)
2021-03-17 12:41:53 → LKoen joins (~LKoen@194.250.88.92.rev.sfr.net)
2021-03-17 12:42:50 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds)
2021-03-17 12:43:57 → ph88 joins (~ph88@ip5f5af71a.dynamic.kabel-deutschland.de)
2021-03-17 12:44:46 → Tario joins (~Tario@201.192.165.173)
2021-03-17 12:47:59 → geekosaur joins (82650c7a@130.101.12.122)
2021-03-17 12:50:23 → mrchampion joins (~mrchampio@38.18.109.23)
2021-03-17 12:52:53 → urodna joins (~urodna@unaffiliated/urodna)
2021-03-17 12:53:48 × zangi quits (~azure@103.154.230.130) (Ping timeout: 256 seconds)
2021-03-17 12:54:10 → zangi joins (~azure@103.154.230.130)
2021-03-17 12:55:20 × LKoen quits (~LKoen@194.250.88.92.rev.sfr.net) (Remote host closed the connection)
2021-03-17 12:57:00 → Sheilong joins (uid293653@gateway/web/irccloud.com/x-atvxsqflryegxqie)
2021-03-17 12:58:23 hackage recover-rtti 0.2.1.0 - Recover run-time type information from the GHC heap https://hackage.haskell.org/package/recover-rtti-0.2.1.0 (EdskoDeVries)
2021-03-17 12:58:58 → hyperisco joins (~hyperisco@d192-186-117-226.static.comm.cgocable.net)
2021-03-17 13:00:01 × Stanley00 quits (~stanley00@unaffiliated/stanley00) (Remote host closed the connection)
2021-03-17 13:00:36 → Stanley00 joins (~stanley00@unaffiliated/stanley00)
2021-03-17 13:01:22 × Stanley00 quits (~stanley00@unaffiliated/stanley00) (Remote host closed the connection)
2021-03-17 13:02:06 → heatsink joins (~heatsink@2600:1700:bef1:5e10:f837:3533:97b:1f44)
2021-03-17 13:03:58 <hyperisco> weird idea… is there a package that lets you declare animations and render them as video?
2021-03-17 13:03:58 × emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 13:04:29 → emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 13:04:32 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2021-03-17 13:05:13 <merijn> hyperisco: Kinda like Conal's early work on FRP? :p
2021-03-17 13:05:29 <merijn> hyperisco: http://conal.net/fran/
2021-03-17 13:05:30 <hyperisco> yeah but I need a video
2021-03-17 13:05:43 <merijn> It has some video examples
2021-03-17 13:05:49 <merijn> (super hacky ones, but still)
2021-03-17 13:06:19 Xnuk- is now known as Xnuk
2021-03-17 13:06:46 → geowiesnot_bis joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-03-17 13:07:14 × heatsink quits (~heatsink@2600:1700:bef1:5e10:f837:3533:97b:1f44) (Ping timeout: 264 seconds)
2021-03-17 13:07:24 → flrnd joins (~flrnd@gateway/tor-sasl/flrnd)
2021-03-17 13:09:38 × olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 245 seconds)
2021-03-17 13:12:15 × opqdonut quits (opqdonut@pseudo.fixme.fi) (Read error: No route to host)
2021-03-17 13:14:03 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-17 13:15:14 × flrnd quits (~flrnd@gateway/tor-sasl/flrnd) (Quit: leaving)
2021-03-17 13:16:35 → flrnd joins (~flrnd@gateway/tor-sasl/flrnd)
2021-03-17 13:16:50 <dminuoso> Whats the new extension that lexes `-1` as a negative number?
2021-03-17 13:17:05 <dminuoso> As opposed to `(-1)`
2021-03-17 13:17:49 <kuribas> :t (-1)
2021-03-17 13:17:49 × emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 13:17:51 <lambdabot> Num a => a
2021-03-17 13:18:00 <kuribas> :t -1
2021-03-17 13:18:02 <lambdabot> Num a => a
2021-03-17 13:18:05 → emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 13:18:14 × lokesh84 quits (cbc182d2@203.193.130.210) (Quit: Connection closed)
2021-03-17 13:18:40 × vchlup_ quits (~vchlup@nat.brnet.cz) (Remote host closed the connection)
2021-03-17 13:18:47 → opqdonut joins (opqdonut@pseudo.fixme.fi)
2021-03-17 13:18:59 → lokesh1197 joins (cbc182d2@203.193.130.210)
2021-03-17 13:19:02 → vchlup joins (~vchlup@nat.brnet.cz)
2021-03-17 13:19:11 <geekosaur> https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/negative_literals.html
2021-03-17 13:19:48 → dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-17 13:20:06 <dminuoso> geekosaur: Ah that's the one, LexicalNegation. Cheers!
2021-03-17 13:20:20 <geekosaur> yeh. l note it's only 9.0
2021-03-17 13:20:23 × Hi-Angel quits (~constanti@broadband-188-32-15-112.ip.moscow.rt.ru) (Ping timeout: 256 seconds)
2021-03-17 13:20:58 <dminuoso> Indeed, I recall hearing about it on Haskell weekly the other day, and wanted to look up the details
2021-03-17 13:21:52 <Xnuk> :t 4 - -1
2021-03-17 13:21:54 <lambdabot> error:
2021-03-17 13:21:54 <lambdabot> Precedence parsing error
2021-03-17 13:21:54 <lambdabot> cannot mix ‘-’ [infixl 6] and prefix `-' [infixl 6] in the same infix expression
2021-03-17 13:24:58 × dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 256 seconds)
2021-03-17 13:26:58 → Lycurgus joins (~niemand@98.4.116.165)
2021-03-17 13:30:31 → alx741 joins (~alx741@186.178.109.138)
2021-03-17 13:30:43 × jespada quits (~jespada@90.254.243.187) (Ping timeout: 265 seconds)
2021-03-17 13:31:52 → jespada joins (~jespada@90.254.243.187)
2021-03-17 13:32:16 → dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-17 13:32:20 → Hi-Angel joins (~constanti@213.87.145.82)
2021-03-17 13:35:21 → LKoen joins (~LKoen@194.250.88.92.rev.sfr.net)
2021-03-17 13:36:49 × Gurkenglas_ quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 256 seconds)
2021-03-17 13:36:54 × shutdown_-h_now quits (~arjan@2001:1c06:2d0b:2312:e974:5a8b:298e:b21) (Ping timeout: 258 seconds)
2021-03-17 13:37:23 × dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 256 seconds)
2021-03-17 13:37:58 × Yumasi quits (~guillaume@2a01:e0a:5cb:4430:a837:43a1:f9fb:9eec) (Ping timeout: 265 seconds)
2021-03-17 13:37:59 × emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 13:38:10 → emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 13:39:01 → carlomagno joins (~cararell@148.87.23.12)
2021-03-17 13:39:35 → Yumasi joins (~guillaume@40.72.95.92.rev.sfr.net)
2021-03-17 13:39:38 × esp32_prog quits (esp32_prog@gateway/vpn/mullvad/esp32prog/x-46565127) (Ping timeout: 245 seconds)
2021-03-17 13:39:44 × ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection)
2021-03-17 13:40:15 → ukari joins (~ukari@unaffiliated/ukari)
←Prev  Next→
Page 1 .. 3870 3871 3872 3873 3874 3875 3876 3877 3878 3879 3880 .. 5022

All times are in UTC.