Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1186 1187 1188 1189 1190 1191 1192 1193 1194 1195 1196 .. 5022
— 502,152 events total
2020-11-11 13:06:36 × texasmynsted quits (~texasmyns@64.44.55.108) (Read error: Connection reset by peer)
2020-11-11 13:07:17 × acidjnk_new2 quits (~acidjnk@p200300d0c718f66040b6c323483b2aff.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-11-11 13:07:36 → machinedgod joins (~machinedg@207.253.244.210)
2020-11-11 13:07:57 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2020-11-11 13:08:50 × avdb quits (~avdb@ip-83-134-202-84.dsl.scarlet.be) (Quit: WeeChat 2.9)
2020-11-11 13:10:30 → mmohammadi9812 joins (~mmohammad@80.210.53.226)
2020-11-11 13:11:11 → brodie joins (~brodie@207.53.253.137)
2020-11-11 13:11:41 × brodie quits (~brodie@207.53.253.137) (Client Quit)
2020-11-11 13:11:53 → neiluj joins (~jco@24.104.204.77.rev.sfr.net)
2020-11-11 13:11:53 → AlterEgo- joins (~ladew@124-198-158-163.dynamic.caiway.nl)
2020-11-11 13:12:02 × neiluj quits (~jco@24.104.204.77.rev.sfr.net) (Changing host)
2020-11-11 13:12:02 → neiluj joins (~jco@unaffiliated/neiluj)
2020-11-11 13:13:00 hackage language-oberon 0.3 - Parser, pretty-printer, and more for the Oberon programming language https://hackage.haskell.org/package/language-oberon-0.3 (MarioBlazevic)
2020-11-11 13:16:49 → brodie joins (~brodie@207.53.253.137)
2020-11-11 13:17:28 → lyxia joins (~lyxia@poisson.chat)
2020-11-11 13:17:54 × brodie quits (~brodie@207.53.253.137) (Client Quit)
2020-11-11 13:18:07 × olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection)
2020-11-11 13:18:46 → carlomagno joins (~cararell@148.87.23.10)
2020-11-11 13:20:42 × raichoo quits (~raichoo@dslb-092-073-194-199.092.073.pools.vodafone-ip.de) (Quit: Lost terminal)
2020-11-11 13:21:10 → texasmynsted joins (~texasmyns@64.44.55.108)
2020-11-11 13:23:05 → v_m_v_ joins (~vm_v@2a02:aa12:3200:6480:fc4f:fb56:796a:9a4a)
2020-11-11 13:24:58 → jorjoro joins (4f70b8ab@79.112.184.171)
2020-11-11 13:27:23 → tonsofpcs1 joins (~tonsofpcs@217.146.82.202)
2020-11-11 13:30:19 × dmiles quits (dmiles@c-73-67-179-188.hsd1.wa.comcast.net) (Ping timeout: 246 seconds)
2020-11-11 13:30:27 × tonsofpcs1 quits (~tonsofpcs@217.146.82.202) (Remote host closed the connection)
2020-11-11 13:30:30 hackage minizinc-process 0.1.3.0 - A set of helpers to call minizinc models. https://hackage.haskell.org/package/minizinc-process-0.1.3.0 (LucasDiCioccio)
2020-11-11 13:31:00 × da39a3ee5e6b4b0d quits (~da39a3ee5@cm-171-98-69-111.revip7.asianet.co.th) (Ping timeout: 272 seconds)
2020-11-11 13:32:01 → gottlob joins (4a62e748@pool-74-98-231-72.pitbpa.fios.verizon.net)
2020-11-11 13:32:20 × gottlob quits (4a62e748@pool-74-98-231-72.pitbpa.fios.verizon.net) (Remote host closed the connection)
2020-11-11 13:32:47 → gottlob joins (4a62e748@pool-74-98-231-72.pitbpa.fios.verizon.net)
2020-11-11 13:35:19 × acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 268 seconds)
2020-11-11 13:35:34 → cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd)
2020-11-11 13:36:04 → dmiles joins (dmiles@c-73-67-179-188.hsd1.wa.comcast.net)
2020-11-11 13:37:58 × Tario quits (~Tario@198.252.153.28) (Ping timeout: 272 seconds)
2020-11-11 13:39:49 → FreeBirdLjj joins (~freebirdl@101.228.42.108)
2020-11-11 13:40:21 → bitmagie joins (~Thunderbi@200116b8060ca30071501286c6dd94a1.dip.versatel-1u1.de)
2020-11-11 13:40:40 × v_m_v_ quits (~vm_v@2a02:aa12:3200:6480:fc4f:fb56:796a:9a4a) (Remote host closed the connection)
2020-11-11 13:40:55 → v_m_v_ joins (~vm_v@2a02:aa12:3200:6480:fc4f:fb56:796a:9a4a)
2020-11-11 13:41:54 → Tario joins (~Tario@198.252.153.28)
2020-11-11 13:43:59 → BatRumbata joins (~rumen@crazy-user.136.47.countrybg.net)
2020-11-11 13:45:27 × v_m_v_ quits (~vm_v@2a02:aa12:3200:6480:fc4f:fb56:796a:9a4a) (Ping timeout: 272 seconds)
2020-11-11 13:46:39 → renzhi joins (~renzhi@2607:fa49:655f:e600::28da)
2020-11-11 13:46:50 × Tario quits (~Tario@198.252.153.28) (Ping timeout: 272 seconds)
2020-11-11 13:47:13 → Iceland_jack joins (~user@95.149.219.123)
2020-11-11 13:47:22 × Iceland_jack quits (~user@95.149.219.123) (Client Quit)
2020-11-11 13:47:24 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2020-11-11 13:47:38 → o1lo01ol1o joins (~o1lo01ol1@bl8-213-81.dsl.telepac.pt)
2020-11-11 13:47:43 → Iceland_jack joins (~user@95.149.219.123)
2020-11-11 13:48:06 <Iceland_jack> hi
2020-11-11 13:48:24 × neiluj quits (~jco@unaffiliated/neiluj) (Remote host closed the connection)
2020-11-11 13:48:37 → Sheilong joins (uid293653@gateway/web/irccloud.com/x-gsqgottzxxeaqqqd)
2020-11-11 13:48:41 → neiluj joins (~jco@24.104.204.77.rev.sfr.net)
2020-11-11 13:49:04 <Uniaika> heya Iceland_jack
2020-11-11 13:49:31 <Iceland_jack> Hope everone is fine
2020-11-11 13:49:44 × o1lo01ol1o quits (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Remote host closed the connection)
2020-11-11 13:49:47 <BatRumbata> so far so good
2020-11-11 13:49:48 <BatRumbata> :D
2020-11-11 13:49:53 <Iceland_jack> > (drop <> take) 3 "hello"
2020-11-11 13:49:55 <lambdabot> "lohel"
2020-11-11 13:50:31 <Iceland_jack> I loved 'drop <> take' ever since I saw it here https://stackoverflow.com/questions/16378773/rotate-a-list-in-haskell
2020-11-11 13:50:42 <hc> heh, that's cool :)
2020-11-11 13:50:56 <Iceland_jack> I remember the first thing that got me really excited with Haskell was an instance of Semigroup (.. -> Ordering)
2020-11-11 13:51:00 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-11 13:51:11 <Uniaika> yeah "drop <> take" is dope
2020-11-11 13:52:09 <Iceland_jack> A similar elaboration happens in http://www.cse.chalmers.se/~josefs/publications/svenningsson2015combining.pdf which is one of my all time favs
2020-11-11 13:52:25 → Tario joins (~Tario@201.192.165.173)
2020-11-11 13:54:11 <Iceland_jack>
2020-11-11 13:54:11 <Iceland_jack> while
2020-11-11 13:54:11 <Iceland_jack> = from While
2020-11-11 13:54:11 <Iceland_jack> = \c -> from (While :$ to c)
2020-11-11 13:54:14 <Iceland_jack> = \c s -> from (While :$ to c :$ to s)
2020-11-11 13:54:18 → fendor joins (~fendor@77.119.130.20.wireless.dyn.drei.com)
2020-11-11 13:54:22 <Iceland_jack> = \c s i -> from (While :$ to c :$ to s :$ to i)
2020-11-11 13:54:22 <Iceland_jack> = \c s i -> from (While :$ Lam (to . c . from) :$ Lam (to . s . from) :$ to i)
2020-11-11 13:55:15 <bqv> How on earth
2020-11-11 13:55:50 <Iceland_jack> Those function instances (Syntactic (a->b))
2020-11-11 13:55:57 <Iceland_jack> Are magic
2020-11-11 13:55:59 → knupfer joins (~Thunderbi@200116b82c3cbf00e4fe47fffef5f831.dip.versatel-1u1.de)
2020-11-11 13:56:00 hackage language-Modula2 0.1 - Parser, pretty-printer, and more for the Modula-2 programming language https://hackage.haskell.org/package/language-Modula2-0.1 (MarioBlazevic)
2020-11-11 13:56:13 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 272 seconds)
2020-11-11 13:56:22 <bqv> Iceland_jack: my god that sly monoid instance
2020-11-11 13:56:24 × knupfer quits (~Thunderbi@200116b82c3cbf00e4fe47fffef5f831.dip.versatel-1u1.de) (Remote host closed the connection)
2020-11-11 13:56:37 → knupfer joins (~Thunderbi@200116b82c3cbf00544294ef9f88078b.dip.versatel-1u1.de)
2020-11-11 13:56:48 <Uniaika> sweet hell
2020-11-11 13:56:48 <bqv> :t drop <> take
2020-11-11 13:56:49 <lambdabot> Int -> [a] -> [a]
2020-11-11 13:56:53 × fendor_ quits (~fendor@77.119.129.31.wireless.dyn.drei.com) (Ping timeout: 260 seconds)
2020-11-11 13:57:10 <Uniaika> monoid instances can lead to surprisingly interesting code
2020-11-11 13:57:35 → mnrmnaughmnrgle joins (~mnrmnaugh@unaffiliated/mnrmnaugh)
2020-11-11 13:57:41 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-11 13:57:47 <bqv> Most of the time, bugs where things work that shouldn't, I track down to monoids
2020-11-11 13:57:58 <Iceland_jack> drop <> take
2020-11-11 13:57:58 <Iceland_jack> = \n -> drop n <> take n
2020-11-11 13:57:58 <Iceland_jack> = \n as -> drop n as <> take n as
2020-11-11 13:58:00 × LKoen quits (~LKoen@77.174.9.109.rev.sfr.net) (Remote host closed the connection)
2020-11-11 14:00:08 <Iceland_jack> It's worth noting
2020-11-11 14:00:27 → LKoen joins (~LKoen@77.174.9.109.rev.sfr.net)
2020-11-11 14:00:46 × cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Ping timeout: 244 seconds)
2020-11-11 14:00:46 <Iceland_jack> deriving via (->) a `Ap` b instance Semigroup b => Semigroup (a->b)
2020-11-11 14:00:46 <Iceland_jack> deriving via (->) a `Ap` b instance Monoid b => Monoid (a->b)
←Prev  Next→
Page 1 .. 1186 1187 1188 1189 1190 1191 1192 1193 1194 1195 1196 .. 5022

All times are in UTC.