Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1404 1405 1406 1407 1408 1409 1410 1411 1412 1413 1414 .. 5022
— 502,152 events total
2020-11-20 13:28:54 → p-core joins (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515)
2020-11-20 13:29:09 <dminuoso> [exa]: Btw, I decided to go with indents+parsec. The subtle edge cases of building up that tree kept building up.
2020-11-20 13:30:04 <dminuoso> `I.withBlock mkTree node tree` is much simpler to write, I was already at 150 lines and started to write an evaluator to build up my tree.
2020-11-20 13:32:51 → knupfer joins (~Thunderbi@200116b824bb7e0064810ffffed5e86a.dip.versatel-1u1.de)
2020-11-20 13:34:03 → jonatanb_ joins (~jonatanb@83.24.155.27.ipv4.supernova.orange.pl)
2020-11-20 13:35:15 × knupfer quits (~Thunderbi@200116b824bb7e0064810ffffed5e86a.dip.versatel-1u1.de) (Remote host closed the connection)
2020-11-20 13:35:25 → knupfer joins (~Thunderbi@200116b824bb7e00edb32aa10920b88c.dip.versatel-1u1.de)
2020-11-20 13:37:28 × jonatanb quits (jonatanb@gateway/vpn/protonvpn/jonatanb) (Ping timeout: 246 seconds)
2020-11-20 13:39:47 → rotty joins (rotty@ghost.xx.vu)
2020-11-20 13:42:52 <reactormonk> I've got a recursive datastructure with a Plated instance - How can I create a Lens where I have the already transformed children available in the transformation as well?
2020-11-20 13:43:19 × directhex1 quits (~directhex@195.206.169.184) (Remote host closed the connection)
2020-11-20 13:48:03 × drbean quits (~drbean@TC210-63-209-197.static.apol.com.tw) (Ping timeout: 260 seconds)
2020-11-20 13:48:49 × Lowl3v3l quits (~Lowl3v3l@dslb-002-203-195-108.002.203.pools.vodafone-ip.de) (Ping timeout: 264 seconds)
2020-11-20 13:50:40 → theorbtwo joins (~theorb@cpc81822-swin19-2-0-cust3.3-1.cable.virginm.net)
2020-11-20 13:55:59 <[exa]> dminuoso: I always failed using the parsec/megaparsec indent blocks properly
2020-11-20 13:56:03 <[exa]> perhaps I should retry.
2020-11-20 13:56:16 <dminuoso> [exa]: Did you try by hands or using the indents library?
2020-11-20 13:56:26 → Kaivo joins (~Kaivo@104-200-86-99.mc.derytele.com)
2020-11-20 13:56:56 <[exa]> there's an extra library for that, aha.
2020-11-20 13:57:06 <[exa]> is there a megaparsec variant?
2020-11-20 13:57:51 <dminuoso> No, although one could write it. The implementation is fairly simple and straight forward.
2020-11-20 13:58:05 × hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Read error: Connection reset by peer)
2020-11-20 13:58:40 <[exa]> I always failed to make it work with parse items that span multiple lines
2020-11-20 13:58:58 <dminuoso> Well this is working just fine for me
2020-11-20 13:59:00 <[exa]> hm gonna retry. :]
2020-11-20 13:59:06 → bitmagie joins (~Thunderbi@200116b8063a3200b470a8e4f2a94e1e.dip.versatel-1u1.de)
2020-11-20 13:59:07 <[exa]> you don't have multiline tokens right?
2020-11-20 13:59:35 <dminuoso> Right
2020-11-20 13:59:35 × bitmagie quits (~Thunderbi@200116b8063a3200b470a8e4f2a94e1e.dip.versatel-1u1.de) (Client Quit)
2020-11-20 13:59:43 <dminuoso> Im just parsing the cisco ios configuration language
2020-11-20 13:59:51 <Uniaika> dminuoso: RIP
2020-11-20 13:59:58 <[exa]> route in peace?
2020-11-20 14:00:01 <dminuoso> haha
2020-11-20 14:00:12 <dminuoso> That's not a bad one, I can see myself printing a shirt with that
2020-11-20 14:00:43 <[exa]> with cisco it may also be
2020-11-20 14:01:27 <[exa]> 'Reset without warning upon receiving an ASN >= 64k In Peace'
2020-11-20 14:01:43 <[exa]> (nah they already fixed that)
2020-11-20 14:02:10 <dminuoso> Wait. Received via BGP?
2020-11-20 14:02:25 <[exa]> you didn't hear the czech routing vs. cisco story?
2020-11-20 14:02:29 <dminuoso> Good thing we dont use Cisco for our external eBGP...
2020-11-20 14:02:31 <dminuoso> No did not
2020-11-20 14:02:39 <dminuoso> Peering is not my department
2020-11-20 14:02:40 <[exa]> I'll try to dig that up
2020-11-20 14:03:27 → Lowl3v3l joins (~Lowl3v3l@dslb-090-186-186-201.090.186.pools.vodafone-ip.de)
2020-11-20 14:04:56 <[exa]> basically this https://www.ciscozine.com/cisco-ios-causes-internet-disruption/ but there's a mailinglist post somewhere with the initial reaction of the administrators
2020-11-20 14:05:03 [exa] ---> #offtopic
2020-11-20 14:07:21 → carlomagno1 joins (~cararell@148.87.23.6)
2020-11-20 14:08:06 → zebrag joins (~inkbottle@aaubervilliers-654-1-104-55.w86-212.abo.wanadoo.fr)
2020-11-20 14:08:29 × vicfred_ quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2020-11-20 14:09:41 × carlomagno quits (~cararell@148.87.23.5) (Ping timeout: 256 seconds)
2020-11-20 14:10:12 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-11-20 14:11:17 × supercoven quits (~Supercove@dsl-hkibng31-54fae2-36.dhcp.inet.fi) (Ping timeout: 260 seconds)
2020-11-20 14:11:44 × hekkaidekapus{ quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Remote host closed the connection)
2020-11-20 14:11:44 × denisse_ quits (~spaceCat@gateway/tor-sasl/alephzer0) (Remote host closed the connection)
2020-11-20 14:12:15 → hekkaidekapus{ joins (~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-11-20 14:12:33 → denisse joins (~spaceCat@gateway/tor-sasl/alephzer0)
2020-11-20 14:13:41 × elliott__ quits (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 265 seconds)
2020-11-20 14:14:47 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2020-11-20 14:16:21 → machinedgod joins (~machinedg@24.105.81.50)
2020-11-20 14:17:29 → acidjnk_new2 joins (~acidjnk@p200300d0c719ff68956387e811e01df5.dip0.t-ipconnect.de)
2020-11-20 14:19:56 → vicfred joins (~vicfred@unaffiliated/vicfred)
2020-11-20 14:25:33 gproto0023 is now known as gproto23
2020-11-20 14:26:37 → elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2020-11-20 14:28:44 × todda7 quits (~torstein@ppp-2-84-17-169.home.otenet.gr) (Ping timeout: 256 seconds)
2020-11-20 14:28:59 → oish joins (~charlie@228.25.169.217.in-addr.arpa)
2020-11-20 14:29:13 → todda7 joins (~torstein@ppp-2-84-17-53.home.otenet.gr)
2020-11-20 14:32:06 → Yumasi joins (~guillaume@2a01cb09b06b29eabd8cf63c98e88a0f.ipv6.abo.wanadoo.fr)
2020-11-20 14:32:56 × todda7 quits (~torstein@ppp-2-84-17-53.home.otenet.gr) (Excess Flood)
2020-11-20 14:33:44 → todda7 joins (~torstein@ppp-2-84-17-53.home.otenet.gr)
2020-11-20 14:34:07 → Zetagon joins (~leo@c151-177-52-233.bredband.comhem.se)
2020-11-20 14:34:46 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:a955:27bd:b45b:9122)
2020-11-20 14:35:31 <ski> joel135 : hah, the state example on slide 8 made me think of Dialectica,PV,Chu, and now Uustalu, when talking about functor-functor interaction map (which looks suspiciously related to a dinatural transformation) mentions Chu :)
2020-11-20 14:35:32 × oish quits (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 256 seconds)
2020-11-20 14:35:37 × solonarv quits (~solonarv@astrasbourg-653-1-156-4.w90-6.abo.wanadoo.fr) (Ping timeout: 260 seconds)
2020-11-20 14:35:38 × vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2020-11-20 14:36:27 ski . o O ( "Questions and Answers -- A Category Arising in Linear Logic, Complexity Theory, and Set Theory" by Andreas Blass in 1993-09-16 at <https://arxiv.org/pdf/math/9309208v1.pdf> )
2020-11-20 14:38:24 × thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 240 seconds)
2020-11-20 14:38:51 → beng-nl1 joins (~beng-nl@217.146.82.202)
2020-11-20 14:39:57 → thc202 joins (~thc202@unaffiliated/thc202)
2020-11-20 14:41:27 → aarvar joins (~foewfoiew@50.35.43.33)
2020-11-20 14:42:46 × toorevitimirp quits (~tooreviti@117.182.180.118) (Remote host closed the connection)
2020-11-20 14:42:58 × olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 256 seconds)
2020-11-20 14:43:20 × LKoen quits (~LKoen@169.244.88.92.rev.sfr.net) (Read error: Connection reset by peer)
2020-11-20 14:44:01 × enoq quits (~textual@194-208-146-143.lampert.tv) (Read error: Connection reset by peer)
2020-11-20 14:44:21 → toorevitimirp joins (~tooreviti@117.182.180.118)
2020-11-20 14:44:31 → neiluj joins (~jco@91-167-203-101.subs.proxad.net)
2020-11-20 14:44:31 × neiluj quits (~jco@91-167-203-101.subs.proxad.net) (Changing host)
2020-11-20 14:44:31 → neiluj joins (~jco@unaffiliated/neiluj)
2020-11-20 14:45:01 → infinity0 joins (~infinity0@freenet/developer/infinity0)
2020-11-20 14:45:09 × DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2020-11-20 14:45:22 → enoq joins (~textual@194-208-146-143.lampert.tv)
2020-11-20 14:45:41 → DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2020-11-20 14:46:16 × darjeeling_ quits (~darjeelin@122.245.211.11) (Ping timeout: 272 seconds)
2020-11-20 14:47:49 → p-core1 joins (~Thunderbi@2a0e:1c80:4:1024::1007)
2020-11-20 14:49:04 × p-core quits (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) (Ping timeout: 240 seconds)
2020-11-20 14:49:06 → hyperisco joins (~hyperisco@d192-186-117-226.static.comm.cgocable.net)
2020-11-20 14:51:19 p-core1 is now known as p-core
2020-11-20 14:51:19 × p-core quits (~Thunderbi@2a0e:1c80:4:1024::1007) (Remote host closed the connection)
2020-11-20 14:51:40 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:a955:27bd:b45b:9122) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-20 14:54:12 → p-core joins (~Thunderbi@2a0e:1c80:4:1023::1004)
←Prev  Next→
Page 1 .. 1404 1405 1406 1407 1408 1409 1410 1411 1412 1413 1414 .. 5022

All times are in UTC.